Suppose 3*a + 22*a = -50. Let y = -13 + 24. Is y at most as big as a?
False
Let k be (-26)/6 + (-230)/(-69) + (0 - 0). Let g = 738 + -5174/7. Which is greater: g or k?
k
Suppose -268 = -h + 5. Let k be (3/h)/((-3)/(-9)). Suppose -3*y = 3*s - 21, 124 = -4*y + s + 122. Is k at most y?
True
Let j = 142 + -141. Let l be 6/(-12)*j/139. Which is bigger: l or 1?
1
Let m be ((-111)/(-185))/(18/350). Let q = m - 12. Suppose -9 = -4*j + j. Which is greater: j or q?
j
Let u = 46968 - 49329.9. Let z = 2482 + u. Let g = 120 - z. Which is greater: g or 11/2?
11/2
Suppose -113*i = -121*i - 5528. Let f = -691 - i. Is 6/109 bigger than f?
True
Let x = 70 + -252. Let w = -182.19 - x. Which is bigger: w or -1/3?
w
Let z be 1 - (5 - 15*14/35). Are 98.4 and z non-equal?
True
Suppose 0 = y + 90 - 124. Suppose 0 = 20*h - 166 - y. Let v = 4 + 6. Are h and v equal?
True
Let p(z) = -10*z - 45. Let y be p(-4). Let k(m) = -m**3 - 6*m**2 - 14*m - 51. Let x be k(y). Is x smaller than 0.031?
True
Let m = -4.934 - -176.814. Let g = m + -172. Are -3 and g unequal?
True
Let l be (-23772)/4424*(-20)/(-15). Is -7 at least l?
True
Let d(l) = 2*l. Let m(n) = 27*n - 7. Let x(o) = -2*d(o) + m(o). Let i be x(3). Which is bigger: i or 60?
i
Suppose -36*q - 420 = -32*q. Let l = 11641 - 11749. Which is greater: l or q?
q
Let n = 52 + -43. Suppose 2*p + 2*b - 6 = 0, 2*b - 4*b = -p - n. Is -5/123 less than or equal to p?
False
Let k = 244337/7 - 34827. Which is bigger: 77 or k?
k
Let g be (16/(-40))/((-12)/10). Suppose 0*o + 5*o = 30. Let q be (-1 - (-3)/o)*46. Which is smaller: q or g?
q
Let a(j) be the third derivative of j**6/60 + j**5/6 + j**4/12 + 2*j**3 + 29*j**2. Let z be a(-5). Suppose -z*f + 8 = 10. Is -1/3 greater than f?
True
Let k = -8843 - -8364.1. Are 0 and k non-equal?
True
Let b = -3868/33 + 356/3. Let i = b - 134/77. Let m = -85 - -83. Which is smaller: i or m?
m
Let w = -630 - -204. Let q = w + 426. Let v = -60.39 - -60. Is q smaller than v?
False
Suppose 0 = 3*q + q + 40. Let m be ((-84)/(-105))/(2/q). Let p be (m + (0 - -32))/(-7 + 2). Which is bigger: p or -6?
p
Let p(q) = 13*q**2 + 60*q - 4*q**3 - 128*q + 66*q + 29 - 10 + 3*q**3. Let r be 13 - (-2 + 4) - -2. Let k be p(r). Which is greater: -9 or k?
k
Let r(v) = 2*v**2 + 9*v - 81. Let f be r(-9). Let k be (-1)/(-5)*(-90)/(-27) - f. Is k > -5/2?
True
Let x = -6067 - -5929. Is x less than -141?
False
Suppose -s + 27 = -4*b, -20*s - 4*b + 17 = -17*s. Which is smaller: s or -49?
-49
Let f = 0.104 + -12.504. Let y = -59.6 + f. Let l = 72 + y. Which is greater: -1/13 or l?
l
Let z(m) = -2*m + 147. Let r be z(23). Suppose -35*g + r - 31 = 0. Which is smaller: g or 8/3?
g
Let u = 178.2 - 94.1. Let p = u - 84. Let j be ((-2)/(-4))/((-14)/4). Which is greater: j or p?
p
Let v(y) be the second derivative of 1/2*y**3 + 0 - 44*y - y**2. Let l be v(4). Is 11 != l?
True
Let k be (-5*1 - 0) + -365 + 581. Which is bigger: 196 or k?
k
Suppose -4*t + 5812 = 5*c, -5*t = -c - 3927 - 3338. Is 1458 at least as big as t?
True
Let h = -19.16 + 19.16. Which is bigger: 326 or h?
326
Let g = -1253 - -1252. Let d(a) = 2*a - 8. Let l be d(8). Let w be (-4)/(-6)*((-20)/l - g). Which is smaller: w or -11?
-11
Let h(n) = -n**3 - 4*n**2 + 5*n - 4. Let x be h(-5). Suppose -4*l - 15*l - 38 = 0. Let b be -13 - -17 - (2 - (l - 4)). Is x greater than or equal to b?
True
Let s = 10077 - 10085. Is s at most -395?
False
Let t(j) = 11*j - 82. Let f be t(8). Suppose -f = -3*b, 2*x = 7*x - b - 18. Is x greater than 56/13?
False
Suppose 28*h - 33297 + 234621 = 9*h. Which is smaller: h or 1/4?
h
Let c = 498/65 + -36/5. Let w(l) = -l**2 - 13*l - 11. Let x be w(-12). Suppose 0 = 4*d - k - 2, d + 2*k - 4 = x. Is c equal to d?
False
Let x be 3077/85*121/(-3). Let s = 4184/3 + x. Which is greater: -66 or s?
s
Let y be (4 - 228/54) + -2 + 314/18. Which is smaller: y or 14?
14
Let v = -1191 + 1201. Suppose 0 = -5*o - i - 2 - 3, 5*o = i + 5. Suppose 4*g = -5*l + 28, o*g + 3*g + 2*l - 21 = 0. Which is smaller: g or v?
g
Let c(y) = 60*y**3 + 8*y**2 - 7*y - 6. Let s(d) = -120*d**3 - 15*d**2 + 13*d + 11. Let u(q) = 7*c(q) + 4*s(q). Let n be u(1). Which is bigger: n or -56?
-56
Let o = 4.72 + -3.639. Let m = -107 - -107.081. Let v = m - o. Which is smaller: -0.12 or v?
v
Let m = -8 + 14. Suppose 0 = 1333*x - 2337*x - 5020. Which is bigger: x or m?
m
Suppose 4*v + 4*c + 80 = 0, -3*c - 23 = v - 5*c. Let u = -8 - v. Suppose 4*t - u*t = 18. Is 2 < t?
False
Suppose 35318 - 94468 = 130*f. Which is bigger: f or -454?
-454
Let u(i) = -i**2 + 5*i + 4. Let m be u(6). Let d be (51/m)/(3/32). Let j be ((-10)/20)/(-1 + (-274)/d). Which is greater: j or -69?
j
Suppose -w - 3*m + 8 = 0, m + 15 = 19. Let h(x) = -2*x**2 - 12*x - 15. Let k be h(w). Which is smaller: 7 or k?
k
Let n = -0.08126 - -3908.08126. Is -1/4 less than n?
True
Let a = 3548.7 - 3376. Let l = -170 + a. Which is smaller: l or 3?
l
Suppose 116*z - 121*z - 830 = -5*t, 3*z + 499 = 2*t. Are -21 and z equal?
False
Let x = -345 + 347.39. Let s = x - 2.49. Is -38 != s?
True
Suppose 36*s - 78 = f + 39*s, 0 = 3*s - 6. Let o(m) = m**3 - 8*m**2 - 10*m - 2. Let a be o(8). Which is smaller: a or f?
f
Suppose -7*m - 910 = 7*m. Let t be 3/m - 2/(-10). Let h = 19.6 + -14.6. Is t != h?
True
Let i = 2095/3 + -1912738/2739. Let g = 70305/3652 + i. Which is smaller: g or 18?
18
Let b = -104 + 153. Let m be (0/2)/(-7*(-14)/b). Which is smaller: -1/114 or m?
-1/114
Suppose 5*t = 2*t + 330. Let c = -1/33574 + 1854964/16787. Let o = t - c. Is o less than -2?
False
Suppose 289 - 121 = -8*b. Let a be (6 - (-98)/b)/((-3)/(-54)). Let g = -7 + 29. Is a smaller than g?
False
Let t = 107 - 105. Suppose -3*y + 3*m - t - 10 = 0, -4 = -3*y - m. Is -7/10 >= y?
False
Let x be 2/15 + (-168)/(-90). Suppose 0 = x*j - 5*v + 74, 5*j - 2*v = 7*j + 74. Which is greater: j or -35?
-35
Suppose 0 = 2*u + 3*h + 5, 3*u - 10 = 4*u - h. Let z be (0 - 1)*62/465*60. Do z and u have different values?
True
Let p be -43*(-1)/3 + (-21)/63. Suppose 4*n = 5*j + 20, -4*n + 6 = -p. Are -1/612 and j equal?
False
Suppose -6*v - 5 = -17. Let a = -89 + 45. Which is smaller: v or a?
a
Let u(v) be the second derivative of v**5/20 - 7*v**4/12 + v**3/3 - 6*v**2 + 38*v. Let y be ((-20)/(-30))/(4/42). Let j be u(y). Is 14/9 greater than j?
False
Let k be 27 + -29 - (0 - 8). Let g be (2 - 21/k)*60. Is -88 >= g?
True
Let m be (-98)/(-7)*(9/2 + -2). Let k = m + -33. Suppose -x - k*s - 5 = 0, 2*s - 1 = -x - 3*s. Which is smaller: x or -11?
-11
Let t be (-156)/1832*((-2)/9)/(-2). Which is smaller: t or 0?
t
Let k = -659 + 655. Which is greater: k or -17/2?
k
Let v be (-1230)/9*47/(-658). Is v at least 11?
False
Let a = -4491/5 + 633151/705. Let h = a + 598/7755. Is -1 < h?
True
Let a = -221 - -97. Let n = -121 - a. Suppose 16 = -n*x + 1, 3*t = -5*x - 154. Is t >= -41?
False
Suppose 11*g = 5*g + 942. Which is smaller: g or 1104/7?
g
Let s = 10.169 - 1.169. Which is smaller: 44 or s?
s
Let n be 16/(-6) + 2/3. Let i = -1/4404 - 11009/4404. Is n equal to i?
False
Let y be 0/12 + (-6 - -9) + (-154)/50. Is y > -2?
True
Suppose -199*z - 57984 = -71*z. Which is smaller: -452 or z?
z
Let m = 3534.4 - 3534. Which is greater: 252 or m?
252
Let h be (-122)/(-183) + (7845/(-126))/5. Does -12 = h?
False
Let l(n) = 2*n - 30. Let s be l(7). Let k be (8/s)/(1/(-336)). Suppose -3*m + k = -9*m. Is -26 greater than or equal to m?
True
Suppose 5*p + 2*c = -51, -5*c + 46 = -4*p - 4*c. Let z be 0 + -3 + 2 + (-151)/p. Is z smaller than 14?
True
Suppose -5*v = -5*h - 1365, 2*h + 0*v = -3*v - 566. Let b = h - -276. Is -94 >= b?
False
Let n be (-296)/(-48)*-3*4. Let l be 441/(-6) + 2/4. Let r = l - n. Which is bigger: 2 or r?
2
Let x be (-9)/(-4) - 32/128. Let f(i) = -5*i - 1. Let p be f(-1). Suppose x*n + 0*o + 24 = -2*o, p = -2*o. Which is smaller: -8 or n?
n
Let o = -1078/3 + 360. Let z = -90 - -636/7. Is o less than z?
True
Let a be (-884)/204 + (-210)/(-9). Which is smaller: a or 422/23?
422/23
Let b(i) = -i**3 - 35*i**2 - 100*i - 12. Let h be b(-31). Let q be h/45*60/(-8). Which is bigger: 127 or q?
127
Suppose 4*b + 9*r - 312 = 10*r, -5*b + 2*r + 390 = 0. Let x be (b/21 + -4)/(3/21). Is -0.12 > x?
True
Let a = 97 - 491. Let t = -415 - a. Is 9 < t?
False
Let s(q) = -454*q - 29. Let y be s(2). Let a = y + 64655/69