= -257/3 + s. Is 0 != h?
True
Suppose 0 = -4*t + 4*a - 120, 5*a + 5 = -t - 7. Suppose -7*q = -12*q - 140. Let h = q - t. Which is bigger: h or -1/12?
-1/12
Let z = 631 + -431. Let s be (z/(-96) - -2)/((-15)/(-400)). Let m be (0 - 2)/(-2)*-1. Which is smaller: m or s?
s
Let n = 423.1 + -296. Let s = n - 3.1. Let d = s - 54. Which is bigger: d or 1?
d
Let r = 15485 + -15484. Suppose -4*y + 9*y - 50 = 5*g, 58 = -5*g - 3*y. Let c be ((-2)/(-8))/(g/(-4)). Is r at least c?
True
Suppose 3086*s = 3119*s - 57717. Is s < -1?
False
Let o = -11546/5 + 11449/5. Is o at most as big as -0.16?
True
Suppose -167*s + 159*s = 16. Let d be (8 + s)/(((-6)/5)/(-2)). Let p = 645 - 2545/4. Which is smaller: d or p?
p
Let h = 253581327322/1032874945 + -6395750/25189. Let f = 2/8201 + h. Is f not equal to -8?
True
Let t = -2800/113 - -40989313/1654207. Is 1 at least t?
True
Suppose 4*x = 4*c - 44, c = 2*x + 9 + 7. Suppose -200 - 34 = c*h. Is h > -44?
True
Let k = 17.7338 - 17.8. Let l = -0.1632 - k. Let n = -2 + 2. Do n and l have different values?
True
Suppose 2*c = -3*f + 7, c = -5*f + 20 - 13. Which is greater: -17/203 or f?
f
Suppose 2*i + 104 = 2*f - 0*f, -5*f - 3*i = -276. Which is greater: 1 or f?
f
Let l be 39*(-4)/(-3)*(1 - 10). Let w = l - -469. Is 117 less than w?
False
Let k(o) = -2*o**2 - 127*o - 20. Let i be k(-63). Do 36 and i have the same value?
False
Let o be (-120)/16*2/3. Which is bigger: o or -155/24?
o
Let n = -0.84 + 25.14. Let i = 1.3 - n. Let j = i - -24. Which is smaller: 2.2 or j?
j
Suppose 0 = -14*i - 173 + 957. Let h be (2 + 1)/((-217)/i). Does h = -1?
False
Let r = 21.6 - -4.4. Let w = -118 + r. Let z = -86 - w. Which is bigger: z or -1?
z
Let d(v) = 12*v**2 + 540*v - 4. Let i be d(-45). Is i smaller than 4953?
True
Suppose 204*z - 30*z + 174 = 0. Is z at most as big as -3/754?
True
Let c be -1*((-17)/((-17)/110) + -1). Let b = 110 + c. Which is greater: 299 or b?
299
Let l be 8 + 9 + -2130 + -12. Which is bigger: l or -2128?
l
Let r(a) = 151*a**2 + 1. Let y be r(1). Suppose 4*d - 328 = 4*q, -d + 3*d + q = y. Suppose -d = -7*w + 9*w. Is w smaller than -41?
False
Let d be (3/(-3))/(863 - (-3 + (-9 - -13))). Is 1 at most d?
False
Suppose 2 + 5 = f. Suppose 53*q - 44 = 115. Is f smaller than q?
False
Let m(k) = -5*k**3 - k**2 - 2*k - 2. Let x be m(-1). Suppose -5*i + x*u = 0, 6*u = -3*i + 2*u. Are i and 11/38 non-equal?
True
Let n be (-300)/(-408) + (-4)/(-6) + 14/(-12). Let f be (-72)/(-105) - (-2)/(-5). Which is smaller: n or f?
n
Let l = -24754 + 172692/7. Let h = 84 + l. Is h bigger than 3/5?
False
Let a(i) = 6*i + 176*i**2 - 2*i**3 - 3 + 3*i**3 - 4 - 168*i**2. Suppose 2*z - 14 = 4*z. Let q be a(z). Which is greater: -4.8 or q?
q
Suppose 21*h - 13*h = -120. Let n be 39/h + 6/2 + -1. Is 2 <= n?
False
Let u be (-32)/24*(0 + 9/(-6)). Suppose -2 + 50 = -4*q - 5*b, -u*b = -4*q - 20. Are -2 and q unequal?
True
Suppose -635*f + 656*f + 798 = 0. Which is bigger: -480/13 or f?
-480/13
Let g be (-1)/4 + (-3 - 1396/(-336)). Let n(s) = s**2 + 135*s + 1018. Let t be n(-8). Is g bigger than t?
False
Let b = -1718.368 + 1718.3. Which is smaller: b or -2/31?
b
Let q = -128 - -1238. Is q less than or equal to 1109?
False
Suppose f + 2*f = -5*q - 10, 2*f = -4*q - 10. Suppose 0 = -2*b + 4*b + 4*w - 24, 5*b = w + f. Let i = 633/1264 + -1/1264. Do i and b have different values?
True
Let l(i) = i**2 + 7*i + 14. Let x(w) = -w + 10. Let h be x(19). Let k be l(h). Let q = 12 - -19. Which is greater: q or k?
k
Suppose 3*p = -p - 48. Let r(s) = -s**2 - 16*s - 5. Let i be r(p). Let t be -2 - -4 - -2 - i. Is -40 less than t?
True
Let r = 3 - 3.1. Let n = 133.03 - 13.63. Let p = -119 + n. Is r <= p?
True
Let t = -6472 - -6471.839. Is t < 3/13?
True
Let x = 2413.932 - 2414. Which is bigger: 1.8 or x?
1.8
Let i be (242209/(-582))/((-12)/(-16)). Which is smaller: i or -555?
-555
Let t be 60/33 - 4/(-22). Let k be -3 - ((-64)/12)/t. Suppose 45*u + 13 = -32. Is k at most as big as u?
False
Let x = -25 - -18. Let n be (-16)/5*22/33. Let w = 7/3 + n. Is w greater than or equal to x?
True
Let g = 0.04436 + 0.15564. Are g and 2629 equal?
False
Let f(t) be the second derivative of t**5 - t**4/12 + t**2 - 20*t. Let u be f(1). Let q be 0 + 3/12 + u/12. Are q and 10/3 equal?
False
Let r = -76.08 + 85.42. Which is greater: -2 or r?
r
Suppose 3*w - 5*k = 130, 0 = -5*w + 8*k - 5*k + 190. Let s be (12/w - 0)/(58/(-725)). Is -3 <= s?
False
Suppose -3*i + 4 = -11. Suppose 0*j - 3*r = 3*j - 30, -i*j - 4*r + 46 = 0. Suppose -5*b + j = 1. Which is greater: b or -1/10?
b
Let v be (-459)/135 - (-2)/5. Suppose -p - 10 = 4*p. Let a be p/(-3) + 232/(-78). Which is smaller: a or v?
v
Let s = -28930 + 1244096/43. Is s not equal to 3?
True
Let i = 591 - 585. Suppose 4*c + 4*n + 48 = -472, -2*n = i. Is -127 > c?
False
Let c be 2435/30 + (-1)/6. Let d(g) = 34*g + 318. Let n be d(-7). Is n at most c?
True
Suppose -5*v - 70 = -5*d, -4*d - 5*v - 30 = -5*d. Suppose -120*s + 578 + 80 = -422. Is d > s?
True
Let m(d) = 3*d**2 - 30*d + 78. Let a be m(6). Suppose -2*g + 4 + 23 = r, 0 = -4*g + 4*r + 84. Suppose g = 3*f - 5. Is f at least a?
True
Let b = 25 + -27. Let g = -26 + 31. Let a be 5 - g - (1 + -1). Which is bigger: b or a?
a
Suppose 13831*k = 13824*k - 3150. Which is bigger: k or 9?
9
Let m = 3300 - 3239. Do m and 85 have the same value?
False
Let o be (84/(-56))/(3/(-8)). Let j be 0 + o + (-4 + 1)/1. Let r be 26/(-238) + (-4)/(-14). Is j > r?
True
Suppose 88 = -4*z + 4*u, -3*u + 6*u = -3*z - 96. Let p = 18 - 44. Which is bigger: z or p?
p
Suppose 76*r = 71*r + 1120. Are r and 227 non-equal?
True
Let i = 2.3 - 2.346. Let m = 0.106 + i. Is m greater than or equal to 30?
False
Let f = 17.753 - -27.245. Let p = f - -0.002. Which is greater: 5 or p?
p
Let o = 43 - 38. Suppose 0 = -3*a + o*h + 22, -h = -7 + 6. Is a < 28/3?
True
Suppose 9366*d = 9356*d + 5550. Does d = 557?
False
Let u = -44 + 43. Let o = -400220/61 - -6561. Which is bigger: u or o?
o
Let b = 0.28498 - -13222.71502. Which is bigger: b or 0.1?
b
Let h = 0.135 + -74.135. Let c = h - -55. Let d = c + 18.9. Is d smaller than -0.1?
False
Let s be (-4)/(-28) + (-95289)/(-161). Let w = s - 601. Let d(z) = -2*z + 1. Let m be d(5). Is m <= w?
True
Let a be (-4)/(8/10) + 0 + 213. Let o = -128 + a. Which is greater: o or 238/3?
o
Let p be (-30087)/15 - ((-156)/(-80) - 2)*-4. Which is greater: -2005 or p?
-2005
Let v = -439 - -447. Suppose u + 7*u = v. Which is smaller: u or -3?
-3
Let a(x) = 2*x**2 + 30*x - 188. Let c be a(35). Is c at most as big as 3312?
True
Let g(p) = 35*p**2 + p. Suppose -4*a + 18 = -2*l, -l - a = l - 7. Let n be g(l). Suppose -3*f = 207*y - 212*y + 161, 5*f + 19 = y. Is y > n?
False
Let x be (10/(-45))/((-40)/(-30)) + (-2428)/(-1464). Is x bigger than 2?
False
Let m = 8423 - 8422.5992. Is m smaller than -1?
False
Let i(u) = 6*u**3 - 2*u**3 - u + 0*u + u**2 + 9 + 0*u + 0*u. Let g be i(-3). Which is smaller: g or -86?
g
Let l = 177.95 - 176. Let z = -1.85 + l. Which is smaller: -2/51 or z?
-2/51
Let t = 6871 + -6914. Let m(f) = -40*f**3 - 2*f**2 + f. Let c be m(1). Which is smaller: c or t?
t
Suppose 0 = -3*m + 4*m + 53. Suppose 4*y + 106 = 5*f, 40*f + 4*y + 18 = 41*f. Let z = m - f. Is z greater than or equal to -75?
True
Let u = -13 + 1. Let v = -109 - -109.76. Let g = -5.24 - v. Which is smaller: u or g?
u
Let x be (3/(-6))/((-645)/(-50) - 12). Is x bigger than -2?
True
Let d(o) = -4*o**2 - 51*o + 289. Let y be d(-17). Is -14/123 not equal to y?
True
Suppose -3*k = k - 3*q - 2559, 0 = 3*k + 5*q - 1912. Let c be 1/(2/1266) + -54*(-6 + (-318)/(-54)). Is c at most k?
True
Let t(u) = u**3 - 32*u**2 - 3*u - 85. Let v be t(33). Which is bigger: 904 or v?
v
Let l = 11.8 - -1.2. Let p be (-1)/(1/4) - -4. Suppose 27*a - 35*a = p. Which is greater: l or a?
l
Let l = -84.7 - -107.63. Let j = 248 + -225. Let y = l - j. Is -1/6 at least as big as y?
False
Let p(a) = -64330*a + 63. Let l be p(-9). Let x be 4/7 - 329994/l. Which is smaller: -1 or x?
-1
Let x be -1 + (-106464)/(-10648) + -9. Which is bigger: x or 1?
1
Let x = 8882 + -8881. Is 2/7343 != x?
True
Let o = 3.3 - 1.3. Let s(p) = 5*p + 88. Let y be s(-12). Suppose w + y = -a, -2*a = -3*w + 9 - 83. Which is smaller: w or o?
w
Suppose 278*f - 3668 = 274*f + 2*u, -4*u = -4*f + 366