s q?
False
Suppose -t + 3*t + 5*y - 228 = 0, -3*t = -3*y - 321. Suppose -5*n = -8*f + 5*f + t, 0 = -3*f - 4*n + 91. Is f equal to 37?
False
Let u = -0.4022 + -207.5978. Is u at most as big as -3/11?
True
Let o = 11 + -33. Let p = 21.71 + o. Let q = p + -0.13. Do q and 1 have different values?
True
Let t = -3595 - -3598. Let n(v) = -v**2 + 5*v - 3. Let f(y) = -y. Let z(u) = -2*f(u) + n(u). Let x be z(6). Is t != x?
False
Let g = -180 - -187.7. Let c = 0.175 - 0.175. Which is smaller: g or c?
c
Let h be (-6 + (-68)/(-12))/(2/(-1458)). Suppose -5*v = -14*v + h. Which is smaller: v or 29?
v
Let z = 1 - 0.8. Suppose -13*l + 9 + 43 = 0. Let i be -2 + -1 + l + 12/(-20). Which is smaller: z or i?
z
Let c be (6/48*-2)/((-7)/126). Is -42 less than or equal to c?
True
Suppose -22*a + 1575 = -31. Is 958/13 bigger than a?
True
Let w be 2/(-18)*(-2)/6*0. Let r(s) = -43*s**2 + s. Let m be r(1). Let g be (0 + 16/m)*3. Is g smaller than w?
True
Let h = -1041 + -1925. Let t be (-4)/30 - (6 - h/30). Which is smaller: t or -106?
-106
Let v(x) = -8*x + 74. Let d be v(9). Suppose 9 = -2*s + 3*o, d*o + o - 9 = -3*s. Is -3 smaller than s?
True
Suppose 0 = -c - 3*j - 10332, 3*c - 3*j = 10324 - 41332. Let p be (-2)/15 - 2743/c. Which is smaller: 0 or p?
0
Let v = -7509 - 5047. Which is smaller: -12557 or v?
-12557
Let d = 14573/25 - 583. Let j be (24/(-15))/((-4)/10). Suppose -j + 14 = -10*r. Which is smaller: d or r?
r
Let v be ((-4)/(-2) - 2820)*(-34)/340. Is 283 at most v?
False
Suppose -2*y + 16*y = 8*y + 108. Is y != 36?
True
Let w be ((-1444)/(-1672) - (-1)/2*-1)*-2803. Are w and -1018 non-equal?
True
Let y be (34/(-20))/(-16*(-5)/(-50)). Let o(j) = -j**3 + 47*j**2 - 4*j + 190. Let i be o(47). Which is smaller: y or i?
y
Suppose 19*y - 50 = 26. Let c be ((-6)/y)/(20/(-56)). Which is greater: 4 or c?
c
Suppose a - 16 = -3*a. Let t be ((-16)/3)/((-134)/201). Suppose i - 4 = a*n, 5*n - i + 3*i = t. Are 6/35 and n nonequal?
True
Suppose 2639 = 15*x + 164. Let t be -980*(-7 - x/(-25)). Which is smaller: 391 or t?
391
Let t be (-3676)/(-3390) + (-2)/3. Let k = t + -2/113. Let l be ((-8)/(-20))/(6/15). Are l and k unequal?
True
Let w be (-5)/(-2)*-5*4/230. Which is greater: 0.7 or w?
0.7
Let j = 59.41 - 76.41. Is -1.18 greater than j?
True
Suppose 117 = -119*h - 121. Which is smaller: -13.21 or h?
-13.21
Let t = -506 - -511. Suppose -9 = t*b + z - 89, 0 = -3*b - 5*z + 48. Let g = -27 - -40. Is b at least g?
True
Let r = 38 + -44. Let y be (16/12)/(r/(-27)). Let p(a) = 2*a - 12. Let t be p(y). Is t > 3?
False
Let q = -84 - -74. Let j be 6 + 5/q*20. Which is smaller: 1/15 or j?
j
Let n = -18 - -23. Suppose 0*f - n*f = 0. Let g = 3/428 - 3457/4708. Are f and g non-equal?
True
Let x(z) = -z**2 + 16*z - 16. Let o be x(9). Let r be o - (-2 - (-6 - 1)). Is 1 at least as big as r?
False
Let b be (-6)/(-8)*2/104. Let k = 1/16 + b. Suppose 70 = 2*d - 4*s + 80, -8 = 4*d - 4*s. Is k <= d?
True
Let q = 132 - 114.7. Let n = -0.3 + q. Let a = 0.114 + -0.314. Which is smaller: n or a?
a
Let h = -674 - -3399/5. Let t = -362 - -421. Suppose 11*m + 4 = t. Which is smaller: m or h?
m
Let n = 485/9 + -86/9. Let o = n + -45. Let b be 6/(-10)*8/12. Is o > b?
False
Suppose 17*z - 16*z - 5*p + 3 = 0, -4*z + 22 = -3*p. Suppose 18 = -3*v + 2*t + 4, 5*v = -2*t - 18. Let j = 3 - v. Is j smaller than z?
False
Let q be (-10 - (-341160)/34010)*(-73)/248. Let l = 9/716 + q. Which is bigger: -1 or l?
l
Let s be 6/(-4)*24/(-18). Suppose j - r = -2 + 12, 15 = s*j - r. Let w be 0 - 7/(63/18). Which is smaller: w or j?
w
Let t = -231 + 210. Let s = t - 2. Is -25 at least s?
False
Suppose 0 = 6*i - 2*i. Let y(z) = z**3 - 13*z**2 - 21*z + 18. Let s be y(13). Let f be ((-3)/(-4))/(s/80). Which is smaller: i or f?
f
Let x(j) = -j**2 + 12 - 1 + 11*j - 9. Let p be x(11). Suppose -p*c - i + 16 = -0*c, 0 = 5*c + 5*i - 50. Does 6 = c?
True
Let j be 199504/14 + ((-52)/39)/((-126)/(-27)). Which is smaller: 14249 or j?
14249
Let h be (2/(-3))/((-644)/63 + 10). Let d = 13 - 46. Let t be 3/6*h/d. Is t less than or equal to 0?
True
Let c be (-12)/3 - 40/(1 - 9). Suppose 0*s = s + c. Which is smaller: 2/163 or s?
s
Let s = 35155 + -34953.11. Let z = s - 202. Are z and 2 nonequal?
True
Suppose 643*g - 594*g + 3479 = 0. Which is smaller: -118 or g?
-118
Let l be 106227 + (2 + (1 - 3))*1. Let w be l/(-484) - 1/4. Let y = -221 - w. Which is greater: 0 or y?
0
Let b be ((2 - -107) + 1)/2. Let h = 60 - b. Suppose -4*s + 60 = -4*i, -h*i + 2*i - 77 = -5*s. Is 17 greater than or equal to s?
True
Suppose 15*j - 258 - 3132 = 0. Which is greater: j or -1/3?
j
Let n be (-2)/(-12) - (-8754)/(-198). Let o = 292/11 + n. Let z = -41 - -23. Is z >= o?
False
Let w(l) = 3*l + 24. Let t be w(-7). Suppose -1 = -t*z - 19. Let f = 617 - 617.4. Which is smaller: f or z?
z
Let h(p) = 1233*p + 3692. Let x be h(-3). Is -238/41 greater than x?
True
Suppose -1 = -z - 0. Let k = -3635 + 1141389/314. Which is smaller: z or k?
k
Let r be 2994/1392 - 384/(-3072). Suppose 15 = 2*o + 3*o. Which is smaller: o or r?
r
Let x(b) = 5*b + 4. Let j be x(4). Suppose 20 + 16 = 4*v - 4*g, -5*v - g = -39. Suppose 2*o + 144 = v*o. Is o > j?
False
Let p = 449 - 447. Suppose -17*c + 5833 = p*c. Are 307 and c equal?
True
Let q be 5/(-2)*(-60)/50. Suppose 2*g - 27 = 3*v, 0*v = -q*g + 2*v + 28. Let b = -47 - -52. Which is greater: g or b?
g
Let k = 75 - 74. Let i be 0 - (-2 + 3/k). Let m = -57 - -3133/55. Which is smaller: m or i?
i
Let y(s) = -s**2 + 20*s - 39. Let i be 1/(-4*6/(-456)). Let q be y(i). Is q smaller than -5?
True
Suppose -7*b + 3*b - 4 = 0. Let k be (-176)/(-220) - (-242)/(-315). Is b bigger than k?
False
Let o = 712 - 791. Let p = 78.8 + o. Is -69 at most as big as p?
True
Let c = 144836883 + -62573160377/432. Let f = c + 129003/16. Let b = 333 + f. Is -1 smaller than b?
True
Let m be 8562*(21/(-36) + (-18)/(-24)). Is m smaller than 1429?
True
Let c(a) = 265*a**2 + 8*a + 2. Let r be c(-2). Let g = r - 568. Which is bigger: g or 477?
g
Let t = -223 + 218. Let a(z) = 3*z + 15. Let p be a(-7). Which is smaller: p or t?
p
Suppose -2*a + 0*m = -4*m - 78, -2*m = 8. Let r = a + -14. Let l = -133.34 - -133.54. Which is bigger: r or l?
r
Suppose 5*p + 26*o + 114 = 22*o, 0 = p - 4*o - 6. Does p = -73/4?
False
Let m be 16644/(-90) + 4/(-10). Let t = 185 + m. Let a = 14 - 14.07. Is t at most a?
True
Let i(t) = -7*t - 128. Let z(w) = -10*w - 195. Let f(x) = 8*i(x) - 5*z(x). Let n be f(-9). Is n at least 4?
True
Suppose 96*z - 98*z + 142 = 2*v, 0 = 2*z - v - 127. Is z at most as big as 2.9?
False
Let l = -258 - -26. Let m = 191 + l. Which is smaller: m or -40?
m
Let z = -1.97 - -1.7. Let l = z + 0.17. Let w = 167/340 - 11/20. Is w at most l?
False
Let x = -876.34 - -7.34. Which is smaller: x or 0?
x
Suppose s - 2 = -s. Let z be (s - 2) + -2 + 4. Let t be 19/63 - (-210)/1470. Do z and t have the same value?
False
Let q be 8/(-52) - ((-3102)/(-624) - 20/5). Is 282 at least q?
True
Let n = 35803 + -148761464/4155. Is 0 < n?
True
Let c(f) = -f**2 - 7*f - 6. Let a be c(-5). Let k be 2/((-2)/a + (-7)/(-6)). Let j be (40 - 42)*(k/(-2))/3. Is j at least 4/69?
True
Let f be (((-24)/(-135))/(-4))/(-3 - 31/(-10)). Which is bigger: f or 258?
258
Suppose 5*z - 3 = -4*p - 17, 0 = 5*p + 3*z + 24. Let v(c) = -2*c + 12 + 4*c + c - 5*c - c**2. Let a be v(p). Is a greater than -10?
False
Let z be (-4)/14 - (-258)/21. Let g be 0 - -10 - 8347/(-2455). Is z less than g?
True
Let x(p) = -5*p + 24. Let t be x(4). Suppose -8*b - 132 = -36. Let q be b/18 - 28/(-6). Are t and q equal?
True
Let y be 98440/72 + 44/(-198). Which is smaller: 1366 or y?
1366
Let f = -2273/3 - -682. Is -75 greater than f?
True
Let g(y) = y**3 - y**2 - 26. Let b be g(0). Let u = b + 28. Suppose -c = -3*s + 51 - 15, 5*s = u*c + 60. Which is smaller: 11 or s?
11
Let i be (-10 - 0) + (-5 - -1). Let v = i - 27. Let f = -55 - v. Which is greater: f or -13?
-13
Suppose 0*d + 4*d - 542 = -5*l, 0 = -5*d + 5*l + 700. Let p = d - 135. Is p at most as big as 8?
True
Let t be (4/1971)/(-3 + (-60)/12 + 10). Is t less than or equal to -0.3?
False
Let l = 15.2 + -165.2. Let a = l - -167.1. Let c = a + -17. Which is greater: c or -0.03?
c
Let n = 2354 + -2310. Which is bigger: n or 852/19?
852/19
Let c = -294 + 434. Let z be 1095840