/5 + 26/u. Let t be a/294 - (-4)/3. Which is smaller: t or 3?
t
Let v = -22687 - -22172. Which is bigger: v or -3615/7?
v
Let j be 3 - -1*47/(-3). Let s = j + 13. Let w(x) = x**2 - 7*x + 2. Let k be w(5). Is k greater than s?
False
Suppose 283 = 2*y + 295, -5*r + 4*y + 30449 = 0. Which is smaller: r or 6084?
6084
Let i be 1 + -5 + (-24)/(-6). Let d be (i + 4)*12/(-208). Which is greater: d or 3/2?
3/2
Let r = -926194702283/1023 + 905371044. Let d = r + 3654/31. Let z = -2/33 + d. Which is smaller: z or -3?
z
Let j = 15 + 2.5. Let x = 2.5 - j. Let n = -15.1 - x. Is n equal to 4?
False
Let w(l) = l + 7. Let h be w(-6). Let m be (-4)/5 + 594/4675*10. Which is bigger: h or m?
h
Let k(l) = -6*l - 50. Let s be k(-8). Let o = s + -3. Which is bigger: -8 or o?
o
Let y = -3/950 + -1873/8550. Which is bigger: y or 306?
306
Let d(g) = g**3 - g**2 - 5*g + 7. Suppose 2*f - 40 = -36. Let b be d(f). Is -2/1237 less than b?
True
Let m be ((-2)/(-3))/((-5)/3). Let r = 581 + -581.447. Let g = r + 0.547. Is m != g?
True
Let m(u) = 2*u**3 + 13*u**2 + 7*u + 5. Let h be m(-6). Are -1347 and h equal?
False
Let a = -310.221 + 4.221. Is 1 equal to a?
False
Let j be -6*(-42)/117460*(-160)/(-6). Are 1 and j nonequal?
True
Let t = -117.57 + -1.43. Let r = -168 - t. Let j = 48.4 + r. Which is bigger: j or 2?
2
Let m = 2067/4755317 - -1/2143. Is m at least 1?
False
Let v = -26.053 - -0.053. Let i = 1099 + -5493/5. Is i smaller than v?
False
Let u = 12.67 + 0.33. Let d = -12.64 + u. Let z = d - 0.46. Is 1.9 != z?
True
Let t(f) = -f**2 - 7*f + 7. Let r be t(-7). Suppose 7*y + r = -0*y. Is y not equal to 3/20?
True
Suppose -4*i + 5*y = -482 - 1688, -i + 530 = 5*y. Let x be 10/(-55) - i/(-429). Which is greater: 1 or x?
x
Suppose -7*f - f + 24 = 0. Let m(q) = -6*q + 6. Let s be m(f). Let n = 7 + -18. Is n at most s?
False
Let s be 4*8*(-2)/(-4). Suppose 7*v - s = 3*v. Suppose -5*o = -v*o. Which is bigger: -1 or o?
o
Let i = -1709628/97 + 17625. Let m(a) = a - 2. Let o be m(2). Is i bigger than o?
False
Let g be 11/(2*(7/(-21) + (-3)/18)). Is g smaller than -218?
False
Let v(q) = 4*q + 30. Let c = 123 - 135. Let g be v(c). Which is smaller: g or -83/5?
g
Let q(z) = -393*z**3 - 4*z**2 - 15*z + 33. Let b be q(2). Which is smaller: -3155 or b?
b
Let v = -56793/160 + 1774/5. Let t(m) = -m**2 + 5*m - 3. Let u be t(4). Is v not equal to u?
True
Let o = -301/30 + 19/12. Let u be ((-6)/80)/(30/(-20)). Let v = u - o. Is v >= 10?
False
Suppose -13*a + 8*a - p - 58 = 0, 0 = 4*a - 8*p + 64. Which is bigger: -115/9 or a?
a
Let j = 1.1 + -1.1. Let p = -18061 - -17840. Is j >= p?
True
Suppose -2*c + 2 = 0, 4*b + 7 = 3*c - 12. Let p = -4 - b. Suppose -2*k + 36 = 4*d, -2*k = d + 72 - 90. Is p not equal to d?
True
Let r(f) = 14*f**3 - f**2 - f + 1. Let v be r(1). Let c(y) = -7*y - 248. Let m be c(0). Let k be m/(-20) + ((-6)/15 - -1). Do v and k have the same value?
True
Let s = -577537/3826118832 + -1/295248. Which is smaller: s or -1?
-1
Suppose 2*m - 5*t = 250, 18*m - 14*m - 490 = 5*t. Let k be (-19)/(-5) - m/30. Let d = -1771/9843 - -2/579. Is k != d?
True
Let b = -2867 + 3117. Which is smaller: 247 or b?
247
Let p = 3.4 + -3.5. Suppose -4*n = 7*n - 7920. Let v = 20157/28 - n. Is v bigger than p?
False
Let a(x) = -33*x - 105. Let o be a(-4). Suppose -60 = 4*z - 4*r, -3*z = -r + o + 8. Which is greater: -14 or z?
z
Suppose -4*f = -2*h + 4742, -49*h - 5*f - 11850 = -54*h. Which is smaller: h or 2367?
2367
Let l = 3 - 66. Let j = l + 54. Let k be 2/((-4)/4 + j). Which is smaller: -1 or k?
-1
Suppose 604 = 103*k - 99*k. Let z = k + -153. Is z smaller than -36/11?
False
Let h = 4278 + -6474. Is h greater than -2197?
True
Let y = -316 + 416. Suppose 94*o = y*o - 342. Does o = 57?
True
Suppose -7*t - 1244 - 3375 - 4698 = 0. Which is greater: t or -2/11?
-2/11
Let h = -47/49 + 45/98. Which is smaller: 986 or h?
h
Let r = -6.2 - -4.9. Let u = r - -39.3. Let h = -33 + u. Which is smaller: 1/4 or h?
1/4
Let n be 2 + (-961)/408 + (5 - 5). Let l = n + 3/8. Is l > 1?
False
Suppose -4*g + 3*g = -4*u + 8, 4 = -g. Let d be ((3 - 4)*1)/u. Which is smaller: 1/19 or d?
d
Let p = -222776/51 - -4368. Suppose 3*q = -2*l + 7, 3*q = -5*l + 17 - 4. Do q and p have the same value?
False
Let b be (-111*(-6)/(-6))/((-6)/68). Let n be (4/(-10))/((-34)/b). Is n smaller than 15?
True
Suppose -24 + 26 = 113*t - 111. Is -8025 > t?
False
Let g(u) = -10*u - 140. Let s be g(-14). Let m be (-4)/18 - 3937/(-13950). Is m at most s?
False
Let f = 7.85 - 8. Let x = 31.15 - 33. Let h = f - x. Is 2/5 >= h?
False
Suppose m = -y - 2346, -5*m - 2366 = -15*y + 16*y. Let v = 42119/18 + y. Which is greater: 0 or v?
0
Let o = -3 - -5. Let j = -9387/10 + 4689/5. Which is greater: j or o?
o
Let w = -6526 + 6528. Which is greater: w or -159.8?
w
Let y be (-1 + 0)/(-1)*-1. Let g = 983/15180 + 30/253. Does g = y?
False
Let o(g) = 8*g**2 + 224*g - 56. Let p be o(-31). Are 688 and p non-equal?
False
Let a(d) = -d**3 - 17*d**2 - 31*d - 273. Let u be a(-17). Which is smaller: u or 255?
u
Suppose -2*v - 3*v + 89 = -4*g, g + 3*v = -18. Let n be 6/g + (-765)/(-252). Is n <= -0.5?
False
Suppose 28 + 11 = 13*z. Let o be ((-4)/32*18 + 3)/z. Which is greater: o or -8/3?
o
Suppose 112 = -5*r - t + 93, -4*r - 4*t - 28 = 0. Which is bigger: r or -57/20?
-57/20
Let z(s) = s + 1. Let w be z(-2). Let o be w - 1 - 111/(-55). Let t = 27374 + -27375. Is t >= o?
False
Let r(j) = j**3 - 140*j**2 + 79*j - 2675. Let a be r(140). Is 8386 at least as big as a?
True
Let g(r) = -r**2 + 6*r - 4. Let f(p) = 4*p**2 - p. Let t be f(-1). Let y be g(t). Which is greater: -1/10 or y?
y
Let u = 195718625 + -12912781519812121/65976253. Let k = -13217616550283/8510936637 + u. Let t = 1553 + k. Is t >= -1?
True
Let x be (2 - (-3 + 2)) + -11. Let q be (110/25 - 5)*((-76)/(-12) + 9). Which is bigger: x or q?
x
Let z be (2 - -3) + (-2276)/58 + -9. Does -44 = z?
False
Let n(x) = x**3 + 7*x**2 + 21. Let z be n(-10). Let o = z - -947. Which is smaller: 667 or o?
667
Suppose -101*s + 7696 + 15166 = 60*s. Is s not equal to 167?
True
Suppose 4*k - 21 - 87 = 0. Suppose 0 = -p - k - 69. Is p > -96?
False
Let k be ((-29)/8*-2 + 29 + -36)/(-172). Which is bigger: 0 or k?
0
Let y(q) = q**2 + 8*q - 67. Let d be y(-17). Suppose -6*m + 62 = d. Which is bigger: -17 or m?
m
Suppose 29 = 2*r + 23. Let b be r - ((-47)/(-6) + 2). Is -7 at most as big as b?
True
Let f(z) = z**3 - z**2 - 2*z + 1. Let h be f(2). Let l = 225.3 + -214. Let k = 12.4 - l. Which is greater: h or k?
k
Suppose -3*g - 5*f + 2*f - 174 = 0, -3*f + 66 = -g. Let w = 60 + g. Let n be -48 + -1 - 5/15*w. Is -49 > n?
False
Let u = -3536 - -3471. Is u < -52?
True
Let o = -1 + 1.1. Let n(c) = c**2 - 2*c + 1. Let z(f) = -4*f**2 + 38*f - 9. Let l(i) = -3*n(i) - z(i). Let g be l(31). Is o > g?
True
Let l = -356.0443 + 355.9. Let a = 0.0443 + l. Which is smaller: a or 64?
a
Let r be 16/6 + (-9)/(-81)*12. Suppose 0 = -2*u - r. Is -1 smaller than u?
False
Let g(s) = -249*s + 3896. Let m be g(13). Is m >= 4622/7?
False
Let s(v) = 5*v**3 + 15*v**2 - 28*v - 113. Let b be s(-9). Is -2292 equal to b?
False
Let x be (4/6)/(5/3). Let a = 0.02 - -0.66. Let w = 5.68 - a. Is w not equal to x?
True
Suppose -240*o - 24 = -232*o. Let a be (o/3 - -2) + (-110)/121. Let r = -6 - -6.7. Which is greater: a or r?
r
Suppose 15*u - 3*u = -36. Let h be u*(-6)/(-54)*-501. Is h <= 167?
True
Let l = 247.298 + 0.702. Which is bigger: 0.07 or l?
l
Let z = 53933 - 755495/14. Let k = -617/14 - z. Which is smaller: k or -14?
-14
Let h(p) = -557*p + 12*p**2 - 25 + p**3 + 277*p + 278*p. Let u be h(-12). Which is smaller: u or -23/12?
-23/12
Suppose 5*d = 188*r - 186*r + 1008, 5*d - 1015 = -5*r. Is d at most 210?
True
Let r = 2 + -2. Suppose r*x - 4*x - 12 = 0. Suppose j - 2*y = -788 + 760, 84 = -3*j - 3*y. Is x greater than j?
True
Let g = 520971/5 - 104759. Let n = g - -563. Is -1 smaller than n?
False
Suppose -2*a = 4*f - 15012, 5*a - 4*f - 36729 = 857. Are 7514 and a nonequal?
False
Let f = 0 + 0. Let v = 1197 + -1197. Suppose v = 4*s, -5*s = -4*o - f + 4. Is -2/77 > o?
False
Let u = -0.15809 - 0.04191. Which is smaller: -118.4 or u?
-118.4
Let h = -1529 + 784. Let n = h - -743. Is n less than -187?
False
Let z be ((-6)/4)/(-2 - (-10)/4). Let g be 1 + z + (15392/966)/8. Wh