t w = -0.0819 + 22.7819. Let f = -19.8 + -3.2. Let r = f + w. Is 0.11 bigger than r?
True
Let u(z) = -8*z - 167. Let y be u(-24). Let x be (6 - 170/y)*-15. Let i be 30/(-4)*(-16)/10. Is i < x?
False
Let u be 5 + (-4 - -2) - (-546 + 3). Suppose 7*i - u - 21 = 0. Let r be (0 - 3) + i/(5 - 2). Is r bigger than 24?
False
Let a = -2099 - -4503. Is 2403 smaller than a?
True
Let i(x) = -2*x**2 - 25*x - 19. Let s be (18 + (-7 - 0))/(1/(-1)). Let c be i(s). Let r be 144/10 + 2/(-5). Is r greater than or equal to c?
True
Suppose -2319*y - 300 = -2313*y. Is y less than 33?
True
Let q(d) = -14*d - 118. Let w be q(-19). Suppose 0 = -3*p - 31 + w. Which is smaller: 43 or p?
p
Let f = -502529 + 4528489/9. Are f and 636 equal?
False
Suppose -9*v + 3*w = -13*v + 205, v - 4*w = 56. Let r be v/26*(-34)/26. Are r and -4 unequal?
True
Let l = -185/16 + 3177/272. Which is greater: l or 76?
76
Let x be 1/(-5) - (-12885)/(-75). Let l be ((3/(-4))/(-3))/(559/x). Which is greater: l or 0?
0
Suppose 5*j + 5*m + 447 = j, -251 = 2*j - 3*m. Let u = 118 + j. Let t = -2/5 + 3/5. Which is smaller: t or u?
u
Let h = -30.039 - 0.161. Let m = -32 - h. Let v = m + 1.87. Are 2 and v equal?
False
Let v(l) = 22*l - 1397. Let s be v(77). Is 16 smaller than s?
True
Let f be (-58)/198 + 23/207. Let z = f + 37/22. Which is smaller: z or 2?
z
Let g = 115 - 31. Let v(n) = -8*n - 102. Let o be v(-13). Let x be (-1 - g/(-80))*o. Do x and 0 have different values?
True
Let c(r) = -r**3 - 2*r**2 + 3*r. Let w be c(-3). Suppose -5*j - 116 = -136, 0 = h + 5*j - 28. Let s be h*4/128*8/185. Are s and w unequal?
True
Let i = 107 + -102. Let v be (0 - -14*1)*i/2. Which is bigger: 34 or v?
v
Let d(v) = v**3 - 6*v**2 + 4*v + 3. Let x be d(5). Let a be (x - -3)/(((-12)/(-4))/33). Let t(b) = b - 14. Let n be t(a). Do n and -4 have the same value?
False
Let q be ((-12)/(-15))/(((-12)/(-30))/1). Let i be (-584)/294 + 0 + q. Is 1 != i?
True
Let t be (0/(-1))/(3 + -4). Suppose p + 10 - 24 = -4*u, 5*u + p - 17 = 0. Suppose -3*d + t*d - x = -5, 0 = -u*d + 2*x - 1. Which is smaller: -3/38 or d?
-3/38
Let p be ((-3)/(-6))/(3/74)*(-120 - 0). Is -1480 equal to p?
True
Let y = -81 - -95. Let j be (y/(-168))/(7/8). Which is smaller: j or -11?
-11
Suppose -46*f - 6420 + 22081 = -13549. Which is smaller: f or 6970/11?
6970/11
Let l be 11349/(-57) + 0 - -3. Let j = -196 - l. Let i = 7 - 8. Is i > j?
False
Let t(c) = -c - 10. Let f be t(-9). Let w = 14/1153 + -33759/26519. Let u = 1746/1403 + w. Are f and u non-equal?
True
Let i(o) = o - 36. Let l be i(40). Suppose 2*v + 4 = -4*n - 2*v, -l*v = 5*n + 5. Let q = -155/468 - -11/36. Are n and q unequal?
True
Let g be (2/(-4))/(18 - 555/30). Which is greater: g or 2/25021?
g
Suppose -2272 = 20*r + 1916 - 908. Which is smaller: r or -166?
-166
Suppose -7 = -m, 37*q = 17*q + 21*q - 2*m + 29. Let o(z) = -z**3 + 5*z**2 + z - 3. Let h be o(5). Which is smaller: q or h?
q
Let j = -1/13 + -2/143. Let d(u) be the second derivative of u**5/20 + 17*u**4/12 + u**3/3 + 33*u**2/2 + 28*u. Let c be d(-17). Is j less than c?
False
Suppose -2*r - 65 = 9. Let v = 295 + r. Is v < 258?
False
Let l(i) = i**3 - 11*i**2 - 11*i - 10. Let s be l(12). Let k be (-2 + 2/s)/(-1). Let r be k/8 + 20/(-160). Which is bigger: -1/9 or r?
r
Let g be (845 + -1)*(-243)/(-108). Which is greater: g or 1898?
g
Suppose -47 = 230*c - 277*c. Is c < -4/915?
False
Suppose 5*r - 4 = 6. Let n be ((-2)/(1 - r))/((-9)/1). Which is smaller: n or -1?
-1
Let x be (-28)/126 + 282/54. Suppose -4*g = g - 235. Suppose 3*r + g = b - 5*b, b - x*r = -29. Which is greater: b or -15?
b
Suppose -33*n + 36*n = 5*f - 27, 0 = n - 4*f + 30. Let p = 259971/119 + -15243/7. Is p < n?
False
Let b = 595 + -628.7. Let u = -33.5 - b. Let l = -88 + 2730/31. Does l = u?
False
Let h(c) = -7*c**2 - 78*c - 192. Let q be h(-10). Which is smaller: -105 or q?
q
Let a be 2/((-10)/(-193)) - (-9)/(-15). Let x = a + -39. Let t be 3 + x + 140/(-68). Which is smaller: t or -3?
-3
Let h be 4016970/(-445) - (-7 - -2 - -2). Let w = h - -9024. Which is smaller: -1 or w?
-1
Suppose 0 = -5*h - 4*k - 328, -100*h - 3*k - 120 = -98*h. Is h greater than or equal to -2/13?
False
Let v be -1 + 426 + -3 + 3 - 1. Suppose -226 = 5*m + v. Does -131 = m?
False
Let s(j) = -11*j + 715. Let q be s(0). Is 720 at least q?
True
Suppose 57*c - 59*c = -44. Let p be 3*(c/231 + (-290)/399). Are p and -2 non-equal?
True
Let i = -41992 + 923545/22. Which is smaller: i or -14?
-14
Let w(h) = h**3 - 5*h**2 + 2*h - 1. Let q be w(5). Suppose 10*j - q*j - 13 = 0. Suppose -4*i + j = -p - 7, 5*p = 20. Is i at most as big as 6?
True
Let v = -1 - -1. Let o be 6/39 - ((-3890)/(-156))/5. Let j = o + 131/27. Which is greater: v or j?
j
Let g = -0.4948 - -0.5748. Is g at least as big as 1.568?
False
Let j = 11/144 + -1591/20592. Let m = 7/104 - j. Is -1 bigger than m?
False
Suppose -11*u - 22 = 2*n - 7*u, 3*n + 28 = -5*u. Suppose 3*q + 27 = -93. Let k be ((-4)/q)/(1/(-16)). Which is greater: n or k?
n
Let t = -2540415/14 - -181320. Which is smaller: t or -138?
t
Suppose 6*u - 11 = 49. Suppose 0 = 2*l - 4, -4*q + 7*l - u*l + 18 = 0. Which is smaller: -2 or q?
-2
Let b(y) = -y**2 + 19*y - 64. Suppose 73 = 12*h - 11. Let f be b(h). Which is bigger: 19 or f?
f
Let y = -52/2351 + 620839/27962794. Does 0 = y?
False
Let q = -3428883.071 - -3426813. Let j = q + 2069. Let h = -0.111 - j. Is 2/3 at least h?
False
Let c be 23/(18837/(-4238)) + (1 - -6). Is c <= 2?
True
Let k = 487 + -20455/42. Let r(v) = -6*v**2 - 11*v - 81. Let f be r(-12). Let y = f + 814. Are y and k equal?
False
Let b(z) = z - 26. Let p be b(0). Let i be -2*(-47)/p - (-9)/3. Let x = i - -59/117. Which is smaller: -1 or x?
-1
Let m(a) be the third derivative of -a**4/8 + 7*a**3/2 + 5*a**2. Let l be m(20). Let f = l + 40. Which is smaller: 24 or f?
f
Suppose 2*z - 4*z + w + 24 = 0, 2*z + 2*w - 24 = 0. Let h = z - 0. Let j be -36*(-5)/(9 + 6). Is h >= j?
True
Suppose 35*b = 39*b + 96. Let o(u) = -u**3 + 8*u**2 + 6*u - 17. Let f be o(8). Suppose 0 = -r - 0*i + i - 27, f = -r + 3*i. Are b and r unequal?
True
Let b(x) be the first derivative of 3*x**2 + 35*x - 2. Suppose -3*o - 4*j - 15 = 0, 3*o = 4*j - 171 + 132. Let k be b(o). Which is bigger: k or 0.4?
0.4
Suppose 0 = 5*d - 4*q + 737, 0 = -3*d - 241*q + 240*q - 466. Which is bigger: -157 or d?
d
Let y = 18 - 9. Suppose 3*g + y = 2*h, 0*g + h = -3*g. Let a = 3820/12217 - -2/643. Is g < a?
True
Let v = -25.05 - -1.05. Suppose 29*o - 42*o = -182. Is v less than o?
True
Let k = -0.2 + 0.25. Let r(w) = -w**2 - 30*w + 9. Let t(a) = a**2 + 29*a - 6. Let q(l) = 2*r(l) + 3*t(l). Let g be q(0). Is g < k?
True
Let m = 28.34 - 28.24. Let l(g) = -g**3 - 4*g**2 + 3*g - 5. Let b be l(-5). Suppose 71 + 49 = b*h. Which is greater: m or h?
h
Let t(z) = z**2 - 13*z + 10. Let p(v) = v**2 + v - 12. Let q be p(5). Let i(d) = -d + 27. Let r be i(q). Let l be t(r). Which is greater: l or -27?
l
Let y = -5397/2 - -2699. Is y smaller than -3/136?
False
Let h = 783 - 823. Let m be (328/5)/(h/(-200)). Is m greater than or equal to 329?
False
Suppose -297 = -32*h + 119. Let o = -27 + 63. Suppose 0*w - w - 4*l = 3, 4*l - o = -4*w. Are h and w unequal?
False
Let v = 49.74 - -3.66. Let p = 23.4 - v. Which is bigger: p or -2/7?
-2/7
Let w = -6374 + 6403. Which is smaller: w or 34?
w
Let f(z) = z**3 - 4*z**2 + 7*z - 5. Let g be f(2). Let m be ((-30)/4 + (-6)/(-12))*g. Let k be 0 + -1 - (50 - m). Is -58 equal to k?
True
Let l = -0.003 - -1.003. Which is smaller: l or -513?
-513
Let d = 3.44 - 235.44. Let x = d + 217. Which is greater: x or 0.01?
0.01
Let o(f) = -24*f - 144. Let s be o(-25). Let u = s - 475. Which is smaller: -17 or u?
u
Suppose -7*f = -4*f - 84. Let t = -112 - -165. Suppose -3*o = -t - 34. Which is greater: f or o?
o
Let n(q) = 2*q**2 + 11*q + 6. Let c be n(-2). Let u be (c/(-10) - (-124)/(-155))/(-2). Is 2/355 != u?
True
Let u = -48 - -45. Let t be ((-1)/u)/(5/60). Suppose t = 9*s + 13. Is s at least -22?
True
Let k = 23847815 - 12186257934/511. Let q = -335/7 - k. Let t be (-8 - (-154)/21)*1*12/(-8). Which is bigger: q or t?
t
Let u be -1 - 1 - 48/(-25). Let z = -261 + 565. Let r = z - 313. Is r >= u?
False
Let p be (-5)/4 + 10/2000*266. Which is smaller: -15 or p?
-15
Let o = -49 - -53. Suppose -4*q - o*