Let t be 2/8 + z*75/80. Let a = 48.03 - 48. Is t smaller than a?
False
Let q = 509.8 + -571. Let r = q - -32.3. Let i = r + 29. Which is smaller: -0.12 or i?
-0.12
Let f be 10 + -8 - 1 - 2/(-1). Suppose 37*z = 40*z - f. Which is greater: z or -27/4?
z
Suppose 499 = 4*t - 5*i, 3*t = -i - 0*i + 379. Let z = -89 - -216. Which is smaller: z or t?
t
Let g be (-3032)/17114 - (-28)/602. Is g at most -1?
False
Suppose 0*o + 3*d = -o + 8, -33 = 4*o - d. Let t = 6293/5 - 6329/5. Which is greater: t or o?
o
Let p = -117 + 77. Let j = -27.367 + 0.567. Let x = j + 26.8. Which is bigger: p or x?
x
Let b(f) = -266*f + 5057. Let a be b(20). Which is smaller: -226 or a?
a
Let y(j) be the first derivative of 2*j**3 - j**2 - 5. Let x be y(1). Suppose 8 - x = 2*m. Which is greater: 4/9 or m?
m
Let c = -0.01 + 0.11. Let j = 5299 - 5378. Which is smaller: c or j?
j
Let b be (5 + -19 + 12)/(-1 + -1). Let u be (147/(-63))/(b/(-9)). Which is smaller: 196/9 or u?
u
Let c = -1147 + 1454.8. Let d = c + -308. Which is smaller: d or 1.26?
d
Suppose -3*x = x - 24. Suppose 5*r - 17 = -2*g, 12*r - 14*r = 3*g + 2. Let w be 6/g*4/x*-4. Is w > 11/4?
True
Let s = -20726 + 21921. Is 5968/5 at least as big as s?
False
Let h = -17 + 17.08. Let b = 0.22 + h. Let m = 174 + -170. Which is smaller: b or m?
b
Let q = 9033 + -13541. Which is smaller: -4510 or q?
-4510
Suppose -6 = a + 3*o, -82*a + 78*a - 3*o - 33 = 0. Let u(q) = -7*q - 46. Let n be u(a). Is n at most as big as 0.1?
False
Let k = 102991 - 1442955/14. Is k < -76?
True
Let n = 430 + -459.2. Let d = 11.2 + n. Which is smaller: d or -0.2?
d
Let c = 4 - 6. Let r = 133 - 129. Suppose -5*x + 1 = -r*x, 5*h + 2*x + 148 = 0. Which is bigger: h or c?
c
Suppose 38*t - 212 = 92. Suppose -12*v = -10*v. Suppose -t*g + 7*g - 1 = v. Is g smaller than -4?
False
Suppose -2898 = -9*h + 3*h. Let i = 496 - h. Is 13 at most as big as i?
True
Let g be (25 - -130)/(1/3). Suppose -105*k - g = -90*k. Which is bigger: k or -22?
-22
Let f(p) be the second derivative of p**4/12 + p**3 - 37*p**2/2 + 5*p. Let s = 226 - 236. Let t be f(s). Which is greater: t or 4?
4
Let q = 76 + -78. Let r(f) = 1. Let t(c) = -14*c - 2. Let k(y) = r(y) + t(y). Let l be k(q). Is 27 bigger than l?
False
Let v(q) = 3*q - 35. Let j be v(12). Let r = 2369 + -2527. Is j > r?
True
Let h be 0 - (-21 - -1) - 144/18. Are -76 and h non-equal?
True
Let h = -198 - -195. Let i be ((-3)/(-2))/h*(-6)/129. Which is bigger: i or 0?
i
Let o be 16/88 + ((-240)/(-22))/(-5). Let x be o/8*(-5008)/(-612) + 2. Which is bigger: 1 or x?
1
Suppose 31215 - 139158 = 27*b + 66126. Is -6446 >= b?
True
Let x(j) = j**3 - 11*j**2 - 21*j + 4. Let v be x(-9). Is -1419 != v?
True
Let r = -475.4 + 476. Which is smaller: 2.6 or r?
r
Suppose 11*h + 7*h = 0. Suppose -20 = -4*f - h*f + 4*n, -29 = -5*f + 3*n. Which is smaller: f or 6?
6
Let q(l) = -l**3 + 7*l**2 - 3*l - 15. Let m be q(6). Let p be 0*(-4)/16 + m. Suppose -5*r - 4*b = -2*b + 13, 5*r + p*b + 12 = 0. Is r >= -34/9?
True
Let w = -38330 - -52293. Which is smaller: 13964 or w?
w
Let k be 17/((-68)/(-9)) - 5/2. Which is smaller: 1644 or k?
k
Let u = -569 + 11941/21. Suppose -4*p + p - 2*n = -3, 0 = 5*p + 5*n. Let s be (p - 3)/(-1) + 1. Is s > u?
True
Let g = -16 + 14. Let u(p) = -10*p - 1. Let c be u(-2). Suppose -c + 17 = -q. Which is bigger: g or q?
q
Suppose -2*p = k + 5, 0*p + k = 4*p + 19. Let r be ((-1 - p) + -4)/((-2)/10). Suppose 5*v + 10 = -r*v. Is v greater than 1/9?
False
Suppose -11 - 34 = -5*o. Let t be (-4)/(3 - (279/14)/o). Which is bigger: -5 or t?
-5
Suppose 18*h - k = 22*h + 13765, -2*k - 3436 = h. Is h < -3440?
True
Suppose 0 = -q - 3*c + 24 + 35, -3*q + 177 = c. Let a be 6167/105 - ((-20)/(-4) + 138/(-30)). Which is smaller: a or q?
a
Let t = -11577 + 11777. Let g = -23 - -24. Which is smaller: t or g?
g
Let k(f) = 2*f**3 - 154*f**2 + 447*f + 25. Let q be k(74). Are 169 and q equal?
False
Let y = 25.119 + -25. Let r = -2.881 - y. Let n = -0.01 + 1.01. Is n smaller than r?
False
Let m be (-47)/94 - ((-167)/3)/(2436/22). Is m at most as big as 1?
True
Suppose 4*r = -0*r + 5*r. Suppose r = 4*k + k - 45. Suppose 0 = -5*i + k*i + 12. Is -3/2 <= i?
False
Let i be 99050/23772*(252/(-80) - (-3 - 0)). Let j = -18 - -12. Let h be 16/(-6) + (-4)/j. Which is greater: h or i?
i
Let v = 185 + -364. Let g = v - -156. Do g and 3 have the same value?
False
Let u be (14/(-52))/((-7902)/(-3948) + -2). Let h = 177 + u. Which is greater: -0.08 or h?
-0.08
Let z = 28 + -25. Suppose l = 6*l. Suppose 2*x - 21 = -3*j, l = 5*x - z*j - 34 - 50. Which is greater: x or 14?
x
Let d be (-190)/4275 + 6599/(-360). Let c = 1 + -2. Which is smaller: d or c?
d
Let f = 656 - 1171. Let y = f - -537. Is y bigger than 116/5?
False
Let f = -31 - -26.7. Let w = f + 3.85. Let l = w - -0.47. Which is smaller: l or 0.2?
l
Let n(l) = 6*l - 45. Let r be n(8). Suppose 0 = -3*b - r*c - 72, 2*b = -4*c - 1 - 51. Let s(i) = -i + 1. Let k be s(-1). Which is bigger: k or b?
k
Let m(z) = -22*z - 131. Let t be m(-6). Is t bigger than -7/39?
True
Let w = 3086 + -3081. Which is greater: w or 9?
9
Let q(b) = -3*b**3 - 12*b**2 - b + 4. Let j be q(-4). Let z be 12/j*((-196)/(-8))/(-7). Is -6 bigger than z?
False
Suppose 2*m + 4*v = 6*v + 1100, 4 = v. Suppose -m - 409 = 3*u. Is u < -322?
False
Suppose -5*z - 20 - 25 = -5*g, 0 = -4*g - 5*z - 9. Suppose -3*a + g*u + 81 = -4*a, a + 81 = -5*u. Is -81 less than a?
False
Let v(o) = o**3 - 38*o**2 + 234*o - 39. Let a be v(20). Which is smaller: -0.1 or a?
a
Let p = -3918 - -74468/19. Which is bigger: p or -2?
p
Let w be 96/(-224) + (-199)/(-7). Let l be -1 + (-2)/((-10)/(-25)). Let s be (-5)/(-15) - (190/l + 2). Which is bigger: s or w?
s
Let s(x) = 22*x - 1936. Let a be s(88). Are a and -3/20 unequal?
True
Let r be 658846/1106 - 1/((-7)/2). Let q = 596 - r. Is q equal to 0?
False
Suppose 3465 = 11*a + 21142. Is a >= -1608?
True
Let n = 345 - 317. Suppose 0*q - 7*q = n. Which is smaller: q or -55?
-55
Let z = -353 - -353. Suppose 0*c = -5*i + c - 109, -2*i + 5*c - 39 = z. Does -2/9 = i?
False
Let l be 8*(-3)/2*(-11)/33. Let t = 33 + -30. Let j be (1 + t)/l - 1. Which is smaller: 1/2 or j?
j
Suppose 0 = -4*p + 8, 0 = x + 11*p - 6*p - 624. Which is smaller: 610 or x?
610
Let v = 10198 - 10371. Is v not equal to -167?
True
Suppose 0 = 5*a + 2*x - 333, -2*x - 503 + 146 = -5*a. Is 79 greater than a?
True
Let t(m) = -135*m + 8045. Let q be t(58). Is 232 greater than or equal to q?
True
Suppose 0*k + 3*k + 3 = 0. Let f be (42/224)/(14*(3 - 6)). Which is bigger: f or k?
f
Let j be (220/77)/((-920)/154 - -6). Let d(n) = -n**3 - 2*n**2 - 8*n - 4. Let x be d(-5). Is j not equal to x?
True
Let c = 78 + -68. Let t be (13 - 8)*4/c. Suppose i + 5*g - t = -2*i, 2*i - 3 = -5*g. Which is smaller: 1/4 or i?
i
Let h(a) = 2*a**2 - 161*a + 642. Let c be h(86). Which is smaller: c or 1590?
c
Let q(u) = -13*u**3 + u**2 - 5*u + 13. Let o be q(3). Let v = 270 + o. Which is bigger: v or -72?
-72
Let c = -31549 - -31688.17. Let q = -2.17 + c. Is q at most as big as 0?
False
Let h = -23 - -13. Let r = 9.475 + -0.175. Let v = r + -9.1. Which is smaller: h or v?
h
Let h be ((-10)/7)/((-16 - -13)/(-1281)). Is h less than -603?
True
Suppose 59 - 75 - 165 = 181*t. Is -6/523 at most t?
False
Let n be (30/(-945))/(1/(-7)). Suppose 0*m = -2*m - 5*t + 8, 2*m - 6 = -4*t. Which is smaller: n or m?
m
Let c = 448 + -436. Suppose -c*a + 228 = -18*a. Which is greater: a or -0.07?
-0.07
Let c(d) = -4*d**2 + 107*d + 138. Let z be c(28). Which is smaller: -19 or z?
-19
Let n = -2481623/6522 - -1/3261. Which is bigger: n or -380?
-380
Suppose -4*v + 22 = 5*d - 0*v, -3*d - 9 = -5*v. Suppose 0 = 12*k - 16*k + 5*m + 89, k = -d*m + 6. Are 86/5 and k non-equal?
True
Let a = -0.5461 - 461.2539. Let y = a + 512. Let g = y + -50. Is g < 3/8?
True
Suppose -b + 4 = 6*p + 3, -3*b + 3 = -3*p. Let n be (0 + 1)*1064/(-128). Let o = 8 + n. Which is smaller: o or b?
o
Let j = -14249 - -11601. Are j and 0.1 equal?
False
Let r = 5634526/1681691 - 968/289. Let p = r + -47170/599357. Which is smaller: 1 or p?
p
Let u = -4.37 - -188.37. Let a = u - 188. Let z(l) = -l - 14. Let y be z(-11). Which is smaller: a or y?
a
Let x = 1271 - 557. Let l = 100672/141 - x. Suppose -2 = 5*v - i, 5*i + 6 = -v + 16. Is l at least v?