t most -47?
False
Let v = 15058 + -14895. Is 327/2 smaller than v?
False
Let f = -743/6 + 364/3. Let s be 19*1*(-4)/(-40). Let m = s + f. Which is smaller: m or 0?
m
Suppose -37*n + 258512 + 3977 = -164232. Is 1 <= n?
True
Let a = 92.9 - 97. Let y = a + 3.8. Let k = -1.8 - -12.8. Is k > y?
True
Let i be -18*(1 - 3/2). Let p = 162429/2 - 81206. Is i greater than p?
True
Let t = 221 + -221.3. Let s = -5.617 + 0.017. Let k = 6 + s. Which is bigger: t or k?
k
Let d = 217141521 + -858360427391/3953. Let m = -80/67 + d. Do 0 and m have the same value?
False
Suppose 101 = 512*y - 411*y. Is -3/3086 smaller than y?
True
Let m = 17195/11 - 1569. Are m and -4.3 non-equal?
True
Let y = 14.3 + -14.2266. Let d = 0.2734 - y. Let k = -18.65 + -0.35. Which is smaller: d or k?
k
Let u = -5206 - -5224. Which is smaller: u or 14?
14
Let d(v) = -v**3 + 13*v**2 + 2*v - 12. Suppose 0*g - 5*g = -65. Let c be d(g). Let n be ((-35)/6)/((-10)/24). Is c at least n?
True
Suppose 5*s + w - 8 - 7 = 0, s = -2*w + 12. Suppose 2*k = -c - 2 + 5, -5*k + 4 = s*c. Suppose f + 3*u - c = 0, 3*f = -4*u - u + 13. Which is bigger: f or 0.3?
f
Suppose u - 7 = -y, 5*y - 20 - 36 = 2*u. Which is smaller: -0.026 or y?
-0.026
Let u(t) be the first derivative of -3*t**2 + 1/3*t**3 - 4*t - 29. Let x be u(-3). Are 25 and x unequal?
True
Let r be ((-4)/((-72)/(-30))*-75)/1. Let s be 3/(-15) + (-100)/r. Which is greater: 18/37 or s?
18/37
Suppose 0 = 3*j + 190 - 202. Suppose 0 = -t - 4*t - 2*c + 43, 4*t + j*c = 44. Which is greater: t or 43/6?
43/6
Let c = -719 - -13665/19. Let r = -46/405 - -22801/30780. Let t = c - r. Is t <= 0?
True
Let x be (-14 + 15)*(-4)/(8/(-10)). Suppose -3*t = -2*h - x, -5*t - 2*h + 4 = -h. Is t < -88?
False
Let i(u) = 29*u + 91. Let s be i(-3). Let r = -34 - -37. Suppose 0 = r*a - 0*a - 12. Is a at most s?
True
Let a = 303 - 165. Let f = a - 137. Which is smaller: f or 3?
f
Let i = 96 + -138. Let n be 70/i*-1*1/(-5). Let s = -3 + 33. Which is smaller: n or s?
n
Let x = 19488 + -78146879/4010. Which is greater: x or 0?
x
Let o = -121261 - -557194303/4595. Which is smaller: o or 0?
0
Suppose -5*o - 3*a = -6, -2*a + 1 + 3 = 5*o. Suppose n - 3*n = b - 10, 2*b + 3*n - 16 = o. Let r be (13 - -1)/(12 - b). Which is greater: 2 or r?
2
Let t(s) = -2*s**2 + 3*s - 4. Let o(g) = -g**2 + g - 1. Let h(i) = 3*o(i) - t(i). Let r = -90 - -89. Let y be h(r). Is 2/163 equal to y?
False
Let p = 16783/1974 + -2/987. Suppose g = -4*s + 28, -28 = -s + 2*g + 3*g. Which is greater: s or p?
p
Let k = -17960 - -197608/11. Is k greater than -0.04?
True
Let c = -3268 - -3268.1. Which is greater: 1/1582 or c?
c
Let v = -26 + 26. Let q = 0.863 + -0.722. Which is smaller: q or v?
v
Let z(x) = -8*x + 83. Let v be z(10). Suppose -v*w - 25 = 2*h + 132, h = 3*w + 169. Is w != -57?
True
Let m be (-12 - -1) + (-19)/((-532)/(-31038)). Which is bigger: m or 0.5?
0.5
Let i = 488 + -466. Suppose -i*k + 1437 = -1247. Which is smaller: 120 or k?
120
Let j be (-4 + 2)/((-10)/311). Let c be 8 - (1128/(-21) - (-24)/(-84)). Is c at least j?
False
Let n be -4*((-2)/7 - (-54)/(-56)). Suppose -2*l + 33 + 10 = -n*j, 2*j - l = -18. Let k(h) = -3*h - 14. Let g be k(j). Do 7 and g have the same value?
True
Let w be (-69)/189 - (-2)/6. Let a(m) = -m + 4. Let u be a(-8). Suppose 0 = 4*z - c - 3, -u*z + c + 3 = -9*z. Which is greater: z or w?
z
Let n = 838 + -891. Let o = n + 53. Is 3/197 greater than o?
True
Let v = -67.21 + 66.61. Which is greater: 236 or v?
236
Let r be (-4)/((39/6)/(-13)) + -9. Does r = 23/54?
False
Let k be 1*(-5)/((-20)/24). Let c be -5 - (-1576)/240 - 1/k. Let l = -13.4 + 13. Is c at most l?
False
Suppose -239 = -5*f - 259. Which is greater: f or -60/23?
-60/23
Let r(z) be the first derivative of 6*z**2 - 44*z - 35. Let g be r(4). Which is smaller: g or 26?
g
Suppose 0 = 847*r - 839*r - 752. Suppose -2*t - 402 = -r. Which is smaller: t or -155?
-155
Suppose 3*h + 36 = 12*h. Suppose -r + h*m + 16 = 3*r, 4*m = 5*r - 18. Which is smaller: 0.011 or r?
0.011
Let v = 6194001/461 - 13436. Which is greater: v or -1?
v
Let f be (-194)/582 - 2338/(-3). Is 779 greater than or equal to f?
True
Suppose 4*k - 6316 = -y, k + 3*y - 1597 = -18. Is k at least 1581?
False
Let v = 13002 + -12706.12. Let y = -296 + v. Which is bigger: -4 or y?
y
Suppose -52*o = -47*o + 15. Let q be (-4)/8*(2 - (1 + o)). Let w be q - ((-9)/(-12))/((-6)/14). Is 2 less than w?
False
Let s = -319/3 - -2025/19. Does 0 = s?
False
Let o = 451 - 597. Let l = o - -368. Which is smaller: l or 224?
l
Let k(q) = 6*q**2 - 35327*q + 105975. Let v be k(3). Let s be 11/(-12)*(-51)/1. Are v and s equal?
False
Let u be (-4)/3*(-99)/6. Let p = -23 + u. Let w = 12127/17 - 713. Are p and w equal?
False
Let i be (33/77*7 + 1*-4)*19. Are -1 and i equal?
False
Let l(u) = 2*u**3 + 10*u**2 - 7*u - 9. Let f(i) = 5*i - 110. Let t be f(21). Let m be l(t). Which is smaller: m or 32?
m
Let j(q) = 2*q**3 - 29*q**2 - 53*q - 133. Let t be j(22). Which is greater: t or -2?
t
Let c = 44 - 124/3. Suppose 3*q - 5*m + 2 = 0, 4*m = -2*q - 4 + 10. Which is smaller: c or q?
q
Suppose -731*p = 2*n - 732*p - 10, 3*n - 5*p = 43. Is -19/353 <= n?
True
Let b be (11/(-2))/((-1)/2). Let v(a) = -a**2 - 5*a + 3. Suppose 2*s = 4*d - 26, -3*s = -2*s - 3*d + 18. Let q be v(s). Which is greater: b or q?
b
Let m be 33 - (7683/169 + -12). Suppose k + 3*g + 10 = -k, -k - 5*g - 19 = 0. Which is smaller: k or m?
m
Let h(u) = -67*u - 10317. Let i be h(-154). Is i greater than 13/1073?
True
Let z(r) = -10*r**2 - r - 3. Let d be z(5). Let m(p) = p**3 + 9*p**2 - 11*p - 260. Let y be m(0). Which is smaller: y or d?
y
Let z = -21/2 + 1087/10. Which is greater: -2/7 or z?
z
Let l be 22/44*18 - (-20)/(-2). Is l bigger than 17.162?
False
Suppose 36 = 12*i - 3*i. Let p be (i + -2)*(-3 - (-1729)/576). Is 0 not equal to p?
True
Let v = -102 - -13. Let a = v + 91. Suppose -c + 49 = -x, -a*x - 64 = -x + 4*c. Is 1/3 != x?
True
Suppose -12*b = -7*b - 15. Let u be -79 + -5 - (2 - b). Let g = u + 94. Is g at least 2?
True
Let x = 124110 + -124106. Let q(m) = -m**3 + 6*m**2 + 2*m + 7. Let c be q(6). Is x >= c?
False
Let q be -33*(6 - (-128)/(-6)). Let k = -506 + q. Is k greater than or equal to 3/59?
False
Let r = 128.8 - 129. Let i = -2795 - -2762.1. Which is bigger: r or i?
r
Let m = 0.54 + 122.46. Let n = 132 - m. Does 3 = n?
False
Let s = -10.028 - -10. Let q = s + -5.672. Let g = 5.8 + q. Which is greater: -35 or g?
g
Let h = -395.68 + 411. Let j = h + -0.32. Let y = 7/2 + -23/6. Which is greater: j or y?
j
Let k = 3/73 - -359/146. Let t = -776 - -775.363. Let z = t + -4.363. Is k greater than or equal to z?
True
Let n(k) = k**2 + k - 7. Let y be n(-6). Let u be (41 - 39)/((-21)/(-273)). Which is smaller: u or y?
y
Suppose -2 = 64*q - 61*q - h, 0 = h - 8. Which is smaller: 10/13 or q?
10/13
Let t(b) = 32*b + 1681. Let g be t(-51). Is g <= 48?
False
Let q = -369 - -615. Suppose 3*g = 5*z + q, 2*g = 3*g - 2. Let v = z - -46. Which is greater: -7/9 or v?
-7/9
Let c(s) = -s - 27. Let q be c(-38). Which is greater: q or 32?
32
Suppose 0 = -18*o - 32*o + 36850. Is o at least as big as 2949/4?
False
Let u = 94 - 147. Let m = -112 - -59. Let j = m - u. Which is bigger: -1/5 or j?
j
Suppose -3*o + 14 = -31. Let z(t) = -t**3 + 13*t**2 + 29*t + 19. Let r be z(o). Let q be (-1)/(r/12) - -3. Is q > 2/195?
False
Let y = 3157 + -3120. Which is smaller: y or 83?
y
Let b = -0.0697 - -0.6147. Let d = 0.055 + b. Is -2 != d?
True
Let c = -32128/9 + 3570. Which is smaller: -2.644 or c?
-2.644
Suppose 13920 = -2432*z + 1562*z. Let j be (2 - 1) + -1 + -15. Which is smaller: j or z?
z
Let w be 3/(-6)*(-4)/(-154). Let t(d) = 141*d + 1129. Let y be t(-8). Is w > y?
False
Let z be ((-12)/(-22))/(-3 + 5). Suppose -12*y = -14*y - 32. Let m(q) = -4*q - 64. Let a be m(y). Which is smaller: a or z?
a
Let a = 0.0854 + -1.0854. Let y = -17 + -151. Which is bigger: y or a?
a
Suppose -3*x + 7*x + n - 114 = 0, 0 = 3*n - 6. Let j(d) = 12*d - 34. Suppose 0 = 3*b - 14 - 1. Let i be j(b). Is x > i?
True
Let f(y) = y**3 + 4*y**2 - 12*y - 25. Let g be f(-4). Suppose g*x - 4*x + 76 = 0. Which is bigger: 0.11 or x?
0.11
Let p be -1*(28 - -5)*4. Let m be 7236/p - (3 + 62/(-22)). Which is smaller: 0 or m?
m
Let a(p) = -48*p + 16. Let d be a(-4). Let g be