.4 + -17.1. Let c = 40.9 + b. Let s = c + -34. Is -1/9 != s?
True
Let m(w) = -51*w + 1631. Let f be m(32). Let b be 2/4 - (-585)/(-414). Which is smaller: f or b?
f
Let q = -23296 - -23352. Let h = 0.54 - 0.24. Which is smaller: q or h?
h
Let q = -2 + 2. Let a be ((-210)/(-495))/(-1*20/(-5658)). Let f = a - 120. Are f and q non-equal?
True
Suppose -8494*m = -8489*m + 415. Let q = -169 - -87. Is m greater than q?
False
Let i = -1344.3 - -1343.3. Which is smaller: i or -6943?
-6943
Let x(u) = 6*u + 2*u**2 + 261 - 261. Let p be x(-4). Suppose -2*f - o = 15, p*f = 4*f - 5*o - 39. Which is smaller: -8 or f?
-8
Let j = 71 + -45. Suppose 0 = 2*y - y - j. Is 26 <= y?
True
Suppose -34 = -z + 3*q, 0 = z - 9*q + 4*q - 26. Suppose -p + f = 3 + 2, z = -5*p - 2*f. Which is greater: -2/7 or p?
-2/7
Suppose 10*p + 2373 - 2323 = 0. Let b be 2/(-7) - (-16728)/58646. Let d = b - 134030/37701. Which is greater: p or d?
d
Let y(m) = 6*m**2 + 8*m - 42. Let n be y(-12). Is 724 greater than or equal to n?
False
Suppose 276 = 4*w - 252. Let p be 10/(-10)*-11 + -9 - -131. Is w at most as big as p?
True
Suppose 8*n - 42 - 3423 = -47*n. Does n = 6/23?
False
Let o = 102469/297 + -1991/27. Is o smaller than 270?
False
Let v = 6.286 - 18.286. Which is greater: v or -0.72?
-0.72
Let o be (3*4/35160)/(4/(-16)). Let z = o + -42473/8790. Which is smaller: z or -6?
-6
Let n = -129771/11 + 11841. Which is smaller: n or 43?
43
Let i = 34.96 + -35. Let m = i + -0.46. Let a = m - -0.6. Which is bigger: a or 31?
31
Let m = 14 + 40. Let v = -56 + m. Let j = 0.2 - 1.2. Is j > v?
True
Suppose 5*s + 586 = -3*j + 61, 0 = -6*s + 5*j - 630. Is 1.1 >= s?
True
Let p = 1.3 - 0.3. Let f = 31974 + -31642. Do f and p have the same value?
False
Let p = 15665 - 33363/2. Which is smaller: -1018 or p?
-1018
Let l(g) = -12*g**2 - g. Let q be l(-1). Suppose 2*y = 3*i + 2*i + 283, -2*i = 5*y - 780. Suppose y*s = 158*s + 44. Are q and s equal?
True
Suppose -2*h + 6*s - 8*s - 10 = 0, 0 = -2*h - 11*s - 55. Which is bigger: 2/54989 or h?
2/54989
Let y = 76 - 35. Let w = 173555 - 173513. Is y < w?
True
Let s(x) = x**2 - 3. Let f be s(4). Let d(g) = g**2 - 3. Let m(h) = 5*h**2 + 13*h - 17. Let v(k) = 6*d(k) - m(k). Let z be v(f). Which is greater: 0 or z?
0
Let z be 175/21*(-270)/(-100) - 6. Are 67 and z equal?
False
Let o = 0.22013 + -2.42013. Let n = 0.05 - 2.05. Is o at least n?
False
Let f be (5/(-3))/((-22971)/(-3861) + -6). Suppose 4 = -3*b + 352. Suppose -4*m + 0*m + b = 5*q, -2*q + 128 = 4*m. Which is bigger: f or m?
m
Let c = 210153 - 1679131/8. Do c and 263 have different values?
True
Let x = -1189 + 581. Let d = x + 607.94. Is d greater than -28?
True
Let v = -31.001785 - -0.001785. Let x = 1.96 - -0.04. Are v and x equal?
False
Suppose 3*n = 6*n, -2*z - 3*n = -12. Let t = 1453/3 - 15791/33. Is t smaller than z?
True
Let w be (-5)/((-13)/(104/(-8))). Suppose 4*m - 6*m - 90 = 0. Let x = -226/5 - m. Which is smaller: w or x?
w
Let u = -0.14 + 0.24. Let w = 27 + -40. Let z = w + 22. Is z not equal to u?
True
Let q = -13.03 - -0.03. Let u = -177.913 + 178. Let c = -0.187 + u. Which is smaller: q or c?
q
Let y = 6869/1526 + -1/763. Suppose 0 = u + 5*l - 15, 3*u - 27 = -0*l + 3*l. Suppose 0 = 4*f + 2 + u. Which is bigger: y or f?
y
Suppose -6*n + 339 = 93. Let w = n + -37. Suppose -3*h - 3*y = -7*y + w, -3*h = -y + 10. Is 2/13 >= h?
True
Let t(g) = 37*g**2 - 35*g + 3. Let u(i) = -13*i**2 + 12*i - 1. Let h(z) = 6*t(z) + 17*u(z). Let c be h(6). Which is smaller: c or 2/81?
2/81
Let b be ((-1209)/6)/(-4*(-1)/8). Which is smaller: -404 or b?
-404
Let x be 1/(3/9)*5. Suppose -5*h - l = x - 21, 0 = 3*h + 3*l - 6. Is h != 2/287?
True
Let t = 4 + -3.8. Let i = t - 0.1. Suppose 3*v - 240 = 167 - 290. Which is smaller: v or i?
i
Let s be 26083/(-1739) - (78 - 93). Is 0 greater than or equal to s?
False
Suppose -198*z - 47*z + 5*z = 240. Are -5/2016 and z unequal?
True
Let q = 7315 - 7107. Are q and 223 non-equal?
True
Let c = -400 - -670. Let s = c - 269.5. Which is bigger: -0.28 or s?
s
Let m be (45/(-7))/((-588)/5488). Which is greater: m or -54?
m
Let x = -1.3572 - -1.4962. Which is bigger: 54 or x?
54
Let w = 393 - 389. Suppose -23*k + w*k - 608 = 0. Which is bigger: k or -65/2?
k
Let v be (27/(-15))/((-8)/130). Let i = v + -29. Let d = -2 + 8. Do i and d have different values?
True
Let n = -2534 - -2539. Is -263 <= n?
True
Suppose -o - 127 = -0*w - 2*w, 0 = w - 4*o - 60. Suppose 4*s = -4*u + w, u - 5*s + 2*s - 12 = 0. Is 8 smaller than u?
True
Let r = 39 - 67. Let q(a) = 10*a + 94. Let s be q(-7). Let g = r + s. Which is smaller: -21/8 or g?
g
Let n = 2.14 - 27.14. Let w = -27 - n. Which is bigger: w or -25?
w
Suppose -3*r + 13*r + 21*r - 651 = 0. Is r smaller than 402/19?
True
Let x = 850 + -1378. Let p = x + 506. Which is bigger: -8 or p?
-8
Let v = 3947 + -43495/11. Let z = 915/143 + v. Is 0 greater than z?
True
Let o be ((1 - 0)/(55/(-545)))/(-6). Let v = -20/11 + o. Is v less than 7/2?
True
Let s be (-1)/1*(1 + -2)*8. Let n = -36.3 + 1.3. Let o = n + 38. Which is smaller: o or s?
o
Let l(r) = -r**2 + 54*r + 180. Let z be l(13). Is z at least as big as 707?
True
Suppose -2 - 23 = 5*m. Let i(k) = k**2 + 9*k + 16. Let t be i(m). Let y = 2 - 2. Is y greater than t?
True
Let h be 5 + ((-15)/(45/(-2436)) - 5). Suppose -5*q - 195 = 2*b - h, 4*q = b + 491. Which is bigger: 491/4 or q?
q
Suppose -318*r - 240928 = -286*r. Is -7529 not equal to r?
False
Suppose -48*v - 90 = 42*v. Which is bigger: v or 24/319?
24/319
Let p = 3.5 - 1.5. Let g = 2.2 - p. Let m = 0.1 + g. Is -2 > m?
False
Let v = -2159/63 + 240/7. Suppose 10 = -5*y + 5*x, y - 2*x - 7 = -11. Suppose 6 = 3*k - k + t, -4*k + t = y. Which is smaller: v or k?
v
Let o(f) = -226*f - 1801. Let l be o(-8). Let a be (-15)/(-5)*(-28)/(-6). Suppose -3*x + x = -a. Is x less than l?
False
Let a(k) = -k + 5. Let p be a(5). Suppose 7*m - 15 + 85 = p. Let i be (-20)/8*((-24)/m)/2. Is -3/2 > i?
True
Let h be 132090/(-99108) - 148/(-111). Which is greater: -1 or h?
h
Let y be ((-2156)/(-21))/(4/66). Is y >= -2/9?
True
Let k(u) = -u**3 - 2*u**2 + 56*u - 49. Let r be k(6). Let m(s) = s**2 + s + 27. Let g be m(0). Let i be (1 - 42/g) + 1. Which is bigger: i or r?
i
Let l be -1 + 21 - (0 - -3). Suppose p - l = -0*p. Let g(y) = y**3 - 2*y**2 - 11*y + 15. Let q be g(0). Which is smaller: q or p?
q
Let n = 232 - 235. Let r be 1*(0 + (n - -15)). Are r and 17 non-equal?
True
Let z = 10 + -5. Let c be 7 - (18/(-6) + 10). Suppose 3*d = -2*m + 32, c*m - d = -z*m + 63. Which is smaller: 23/2 or m?
23/2
Let l = 11345234/356425 + -1687/53. Which is bigger: l or 1?
1
Let w(d) = -d**2 + 28*d + 45. Let s be w(35). Is -198 less than s?
False
Let v be 45/10*(-288)/9. Let z = v + 144. Are z and -1/208 unequal?
True
Let j = -25 + 13. Let m = j - -12.1. Suppose -85*v = -74*v + 99. Is v < m?
True
Let m = 595 - 535. Suppose -482*g + 476*g - m = 0. Which is bigger: -0.6 or g?
-0.6
Suppose 26*a - 3525 = -2823. Suppose -5 + 2 = 3*s. Which is bigger: s or a?
a
Let a be -25 + 22 - (-19502)/7495 - 4/(-10). Which is smaller: a or 0?
0
Suppose -8*w = -37 - 27. Suppose -8*p = -11*p - 3. Let s be -5*(w/(-5) + p + 3). Is -5 >= s?
False
Let a be 4/(-352)*8*-2 + (-60244)/286. Which is bigger: -209 or a?
-209
Suppose -2*p = -2*c - 4, 0 = 4*c + 5*p - 2 + 28. Let b be 2/5 - 60/25. Let f be 4 + (96/(-80))/(b/(-20)). Is c >= f?
True
Let j(i) = 14*i - 38. Let o be j(3). Let t be (34/(-51))/(((-24)/2583)/o). Which is greater: t or 286?
t
Let f be 10/(-4)*108/90 - 2. Let a(z) = z**2 - 7*z. Let p be a(3). Let r be (-3 - f) + 2 + p. Is r equal to -7?
False
Let t be 57*-15*2/(-18). Let p be (-19)/t*1630/8. Which is greater: p or -41?
p
Suppose 0 = 7*g + 38*g + 6*g - 613428. Are g and 1 nonequal?
True
Let a = 168 + -164. Suppose -12 = 3*d, 7*f - 8*f = a*d + 14. Is -8 != f?
True
Let a(u) = 4*u**2 - 16*u - 57. Let l be a(-5). Let c(y) = -3*y**3 - 5*y**2 + 5*y + 5. Let m be c(-4). Let w = l - m. Is 23 > w?
False
Suppose 218 - 5 = 213*j. Which is bigger: j or 1/12224?
j
Suppose -501 = 36*i - 39*i. Let y = i + -170. Is y <= 1/2?
True
Suppose 265*f = -63*f - 4883264. Which is smaller: -14889 or f?
-14889
Let q = 21889 - 21985. Is -28 > q?
True
Suppose 5*q - 345 = 365. Let z = -61382 + 61382. Which is smaller: q or z?
z
L