al to v?
False
Let a = 0.13 + -1.13. Are a and -12 equal?
False
Let f be 2/((-2)/1142*2). Let p = f - -4006/7. Let n = 11 - 11. Do p and n have the same value?
False
Let s be (-27)/(-18)*(130/75 + -2). Is s at least as big as 839?
False
Let y be (-2)/12*3*(-2 + 0). Let g be 64/126 - 4/18. Which is bigger: y or g?
y
Let y = 20778 + -14783. Let w be y/363*(-4)/50. Let d = w + 16/11. Are d and -1 unequal?
True
Let i(x) = 11*x**2 + 3*x - 2. Let v be i(1). Suppose -4*c + v = 0, 5*w + 4*c = w. Does -4 = w?
False
Let w be (-66862)/82315 + (-8)/(-10)*1. Which is smaller: w or 0?
w
Let k = -13/3 - -4. Suppose -5*y = -2*r - 11, -5*y = -2*r + 3*r - 2. Let z be y/1 - -1 - 1. Which is smaller: z or k?
k
Let s be 90486/(-18090) - (4 - 9). Which is greater: 1 or s?
1
Let n = -64 + 72. Is n <= -3?
False
Let w = 1.5 + -1.54. Let n = 0.09 + w. Which is greater: n or 2?
2
Let u = -37 + 23. Let t be (-1)/(1*2/(-294)). Let q be ((-12)/t)/((-12)/u). Is 1 greater than q?
True
Let l be 22/4*(-36)/(-99). Suppose l = -w + 4. Let o be (1 + 1 - -1)/2. Which is smaller: o or w?
o
Let o(a) = a**3 + 11*a**2 - 1. Let j be o(-11). Is -1 != j?
False
Let k be 3 + ((-429)/(-20))/(-11). Is k <= 2?
True
Let y = -28 + 13. Let x be -2*y/(-2)*-3. Is 45 at most as big as x?
True
Let w be (-790)/(-12) + (-21)/(-126). Which is smaller: 64 or w?
64
Let f = 245 - 138. Suppose 3*h - 3*d = h - f, 4*h - 4*d = -212. Which is greater: -51 or h?
-51
Let h(m) be the first derivative of m**2/2 - 2*m + 5. Let d be h(6). Let k be (-1 - 4/d)*2. Is k equal to -3?
False
Let n be 7/21 + 5579/21. Is 263 smaller than n?
True
Let f = 646 + -646. Which is greater: 1/436 or f?
1/436
Let u be (2 - (-5)/(15/9)) + -23. Is u smaller than 5?
True
Let h = -14 + 16. Suppose 2*a = -3*a - 2*j - 109, 0 = -h*a - 4*j - 34. Is a at most -23?
True
Suppose 0 = 4*f - 8, 11*f - 16*f + 1 = -3*y. Is 23/8 <= y?
True
Let b = -459 + 939/2. Let t = b + -65/6. Let f = -1 - -1.4. Is t < f?
True
Let u = 312.6 - 295.6. Let i = 53/18 + -22/9. Which is bigger: u or i?
u
Let g(k) = k**2 - 2*k - 1. Let o be g(-1). Suppose 5*m - 4*v = 0, 5*m = 4*m - o*v. Suppose m = 3*d + 2*t + 7, 4*d + d + 4*t + 13 = 0. Is -2/21 greater than d?
True
Let w = 29 - 29. Let v = w - -11. Is v < 1?
False
Let c = -13 + 28. Let f be -5*-2*(-4)/16*-6. Let h = c - f. Is h smaller than 1/13?
True
Let n = 19.43 - 21.43. Let b = -6.7 + 7. Which is bigger: n or b?
b
Let o = 1415 + -12749/9. Suppose 0 = 3*w - i + 9, -25*w = -26*w - 2*i - 3. Which is bigger: w or o?
o
Let f = -1.66 + 0.06. Let y = f + 1.73. Let c = y + 0.07. Which is smaller: -1/5 or c?
-1/5
Let f = 362 + -105. Is 257 at most f?
True
Suppose -2*r = -4*l - 12, 2*r + l - 7 = -0*l. Suppose 2*v - 21 = 9*v. Let d = 0 - v. Which is smaller: d or r?
d
Let v be ((-272)/51)/((-1)/3). Which is smaller: 17 or v?
v
Let n(z) = z**2 + 5*z + 4. Suppose 7*y = 2*y - 25. Let f be n(y). Let l = -4 - -7. Is f < l?
False
Let m = -280.1 - -266. Let d = -14 - m. Which is bigger: -7 or d?
d
Let r = -63.5 - -57. Let u = -6.3 - r. Let d be -1 + -1 - 80/(-42). Which is smaller: d or u?
d
Let h be ((-7)/((-56)/(-1136)))/(2/4). Which is smaller: h or -1/3?
h
Let z(m) = m - 3. Let u be 3/(3/1) + 3. Let r be z(u). Let b be (-2)/(-6)*(-18)/48. Is r at most b?
False
Let f(z) = -2*z**3 + 86*z**2 - 93*z + 42. Let v be f(42). Is -334 at least v?
True
Let k(d) = d**2 - 21*d + 110. Let p be k(9). Do 166 and p have different values?
True
Let j = -0.01 - 3.49. Let g be 0 - (4/(-8))/(-1). Which is smaller: g or j?
j
Let f = 1.2 - 1.13. Let k = -175 - -175. Is f at least k?
True
Let s(v) = v + 3. Let m be s(-6). Let r = 260 + -261. Which is smaller: r or m?
m
Suppose 2403*y - 2407*y + 84 = 0. Which is bigger: y or 9?
y
Let b = 235 + -235. Is b > -116?
True
Let n = 0.2 + -0.9. Let q = n - -2.7. Is q less than -2?
False
Let x be (-110)/(-7) - 34/(-119). Let a be 39/13 + (-46)/x. Suppose -5*r = -3*g - 0*g - 15, -2*r = 5*g - 6. Is a less than or equal to g?
False
Let g = -40 + 38. Let o be ((-5)/(-15))/((-10)/42). Which is greater: g or o?
o
Let r = 1/174 + 251/58. Suppose 42*b - 44*b + 24 = 0. Suppose -b = g - 5*g. Which is smaller: g or r?
g
Suppose 4*c + 40 = -20. Let l = c - -6. Is l less than or equal to -9?
True
Let i be (-11)/(-6) + (-5)/(-30). Suppose d = i*d. Suppose d = 4*j - 9*j. Is j at least 2/37?
False
Let f be 14/((-4)/8*(6 + -14)). Let y = -3 + 7. Which is smaller: y or f?
f
Let r = 0.3 + -0.1. Let l = 922.8 + -914. Let p = l + r. Is -0.1 bigger than p?
False
Let s = 2.2 + -2. Let d = -0.014 + 51.014. Let c = d + -50. Which is smaller: c or s?
s
Let a = -56 + 37. Let w = 10 + a. Let u = w - -9.1. Which is smaller: 0.06 or u?
0.06
Let f = 1139 + -1140. Is 2/551 not equal to f?
True
Let m be 1*14*1*3/(189/18). Let y = -1 - 0. Which is bigger: m or y?
m
Suppose y = s + 15, 2*s + 25 = 10*y - 7*y. Do s and -18 have the same value?
False
Let w be 435/60 + 1/(-4). Let d be (w/(-2))/((-2)/(-20)). Let m = d - -46. Which is smaller: m or -1?
-1
Let o(t) = -t**3 - 6*t**2 - 3*t + 4. Let r be o(-6). Let z = r + -18. Is z less than 1/4?
False
Let k(c) = c**3 + 12*c**2 + 13*c + 26. Let m be k(-11). Let d be (m + 0)*1/14. Is d smaller than 1.1?
True
Let u = -0.153 - -0.783. Let v = u + -0.65. Do v and -2 have the same value?
False
Let x(q) = 2*q**2 - q + 112. Let g be x(0). Suppose 21*o - 14*o = g. Is o >= 16?
True
Suppose -4*y + 0*v = -4*v + 16, 0 = 5*v - 20. Which is greater: y or 2/13?
2/13
Let q = 1569 - 1568. Are q and -41/6 equal?
False
Suppose 0*k + 2 = k. Let v be 2/(-20)*(-4325)/190. Let q = -10/19 + v. Which is greater: q or k?
k
Let g = -46633/58 - -804. Let l(c) = -7*c - 3. Let q be l(1). Let d be ((-1)/(-4))/(q/(-8) + -1). Is g greater than or equal to d?
False
Let v = 43/1344 - -1/64. Suppose -2*p = -4*q + 54, 2*q + p + 3*p = 22. Suppose 3 = -10*y + q*y. Is v greater than y?
False
Let m = -6.7 - -0.7. Let z = -0.022 - -31.022. Let w = -31.2 + z. Is w greater than m?
True
Let s = -5.19 + 16.19. Is s greater than 0.18?
True
Let o = 77.15 - 0.15. Let t = o - 76.9. Which is greater: t or -36?
t
Let l be (-21)/23 + 13 + -12. Let c be (-14)/8 - (-2 + 0). Is c > l?
True
Let u = -1118 - -1121. Which is smaller: u or 85/23?
u
Let t = 64 - 23. Suppose -t = 2*s + s + u, 26 = -2*s - 2*u. Is -14 > s?
False
Let a = -2398 - -974. Is -1425 smaller than a?
True
Let t(c) = -c**3 - 5*c**2 - 4*c + 5. Let g be t(-3). Which is bigger: g or -9/31?
-9/31
Let q be 1/(13/(-642))*14/(-40). Let j = -87/5 + q. Is 1 greater than or equal to j?
True
Let c = -863/2 - -432. Let a = -95 - -53. Which is smaller: c or a?
a
Let p = -9.1 - -0.1. Let x = p - -7. Which is smaller: -6/11 or x?
x
Let x = -0.03 - 0.07. Let w = -0.15 + 0. Let n = -0.05 + w. Is n less than x?
True
Let m be (1 + -7)/3 - -3. Let b(h) = -h**2 - 17*h + 18. Let x be b(-18). Which is smaller: x or m?
x
Let d be -2 + (-2 - 86/4). Let q = -48 + 23. Let u = q - d. Do u and -4/5 have the same value?
False
Let c(n) = n**3 - 7*n**2 + 6*n + 41. Let f be c(-5). Is -287 smaller than f?
False
Suppose -78*c = -97*c - 19. Which is smaller: -1/1579 or c?
c
Let g be 0 - 10 - (-500)/25. Which is bigger: g or 4/7?
g
Let g be (-2)/11 - ((-26)/22 - 2). Let j(w) = -6*w**2 + 8*w - 7. Let v be j(g). Which is smaller: -38 or v?
-38
Let u(d) = -2*d**2 - 3*d + 3. Let v = 6 + -4. Let w be u(v). Is w smaller than -10?
True
Suppose 5*k = 3*w + 2647, -5*w - 2*k = -9*w - 3548. Is w smaller than -889?
False
Let m be -6 + ((-5976)/126)/((-158)/20). Which is smaller: 0 or m?
0
Let z = 298 + -297. Which is greater: z or 9?
9
Let f be ((-1272)/(-20) - -2) + 28/70. Are -6 and f non-equal?
True
Suppose -4*w - 5*k - 7 = 0, -3*k - 6 = -2*w + 7. Let o(i) = 8 + 0 + w + 2*i. Let d be o(-5). Which is greater: d or 2?
2
Let x be 1/(-2) + 34/76. Let t = -768 + 769. Does t = x?
False
Let v = 18 + -13. Suppose -3*k + 2*q + 12 = 2, -v = q. Let y be 18/(-10) - (-484)/330. Is y less than or equal to k?
True
Let x be -1*162/9*4/8. Which is smaller: x or -35?
-35
Let x = -0.33 - -1.365. Let y = x - 0.035. Let k = 6 + 4. Which is smaller: k or y?
y
Let a = -2.4 + -0.6. Let f = 238 - 232. Let z = a + f. Is -0.2 less than z?
True
Let k be ((-40)/6)/((-1)/(-3)). Let q(p) = 3*p + 15. Let b be q(21). Suppose 5*l + 93 = -4*x + 2*x, -4*l - b = -2*x. Whic