-8476 - -8480. Let h = -10.1 + 9. Is f at most h?
False
Let m = 195 + -192. Suppose -5*q = -5*t - 4 - 1, m*t = -4*q - 3. Let u be ((-1)/(-2))/(19/(-8)). Which is smaller: q or u?
u
Let x = -10 + -98. Let j = -207 - x. Which is smaller: -101 or j?
-101
Let j = 6/937 - 4751/10307. Are j and 2/9 non-equal?
True
Let r be 12/(-3)*(-15)/(-6). Let l = 97/18 - -89/18. Let x = r + l. Does x = 1?
False
Let b = 14 - 13.97. Let j = 0.918 - 0.618. Is j > b?
True
Let i = 2699 - 2826. Is i greater than or equal to -633/5?
False
Let c be (84/126)/(4 + -5). Which is smaller: c or -1?
-1
Let y be 39/(-4004)*1138/9. Let w = y + 5/77. Is -1 <= w?
False
Suppose 5580 = -83*f + 21*f. Let t(j) = j - 88. Let w be t(0). Is w at least f?
True
Let t be 2/(-5) - 10*(-21)/(-350). Are -2/4027 and t unequal?
True
Suppose -360*x + 363*x - 3210 = 0. Let h be ((-204)/x - 11/(-55))*1. Let z be 2/(-4) - 3/(-6). Which is greater: h or z?
h
Let n = -399 - 504. Let d = -1469 - n. Which is smaller: d or -1?
d
Let f be -2*(-9)/(-140)*72/(-54). Let l(x) = x**2 - 7*x + 1. Let u be l(7). Which is smaller: f or u?
f
Let m = -192 + -45. Let z = m + 235. Is 40/9 not equal to z?
True
Suppose -2*n = 4 + 8. Let g(c) = -22 + 71 - 6*c + 44. Let a be g(17). Which is smaller: a or n?
a
Let u be -276*(1 - 3/2). Suppose -45*z - 144503 = -150668. Are z and u unequal?
True
Suppose -7*k = -12*k + 80. Let c = -22 + 22. Suppose 6*s - 14*s + k = c. Is 8/9 less than or equal to s?
True
Let b(u) = -8295*u - 39. Let a be b(1). Is a greater than or equal to -8333?
False
Let h(x) = -3*x**2 - 112*x - 464. Let t be h(-32). Is t at most 58?
True
Let b(l) = 2*l + 7. Let u be b(-3). Let n be (-4 - u)/(-5) + (-3 - 0). Let m be (-4 + 140/8)*n. Which is smaller: -28 or m?
-28
Let k be (3/(-6))/((-1)/1). Let y(g) = -4*g + 50. Let n be (10/4)/((-13)/(-78)). Let i be y(n). Which is smaller: k or i?
i
Let x be 0/(-4 + 6/2). Suppose x = d - 5*d - 84. Let j be (-6)/d - (-596)/(-28). Is -21 greater than j?
False
Let h be 5 - 21 - (-1467800)/91740. Which is greater: 0 or h?
0
Let u be ((-102)/(-344))/(((-105)/56)/(-15)). Which is greater: 1 or u?
u
Suppose -2*q - 2*q - 5*d + 32 = 0, q - 2*d = -5. Suppose 0 = h + q*h - 84. Suppose -c - 4*c = -100. Which is smaller: h or c?
c
Suppose 5*i - 32 - 43 = 0. Suppose 0 = -14*f + i*f + 6. Let o = f - -1. Which is greater: o or -6?
o
Let q be (-130)/975 - (-356)/(-30). Let n be 12/q*49/(-1). Let f be 49 + (0 - (2 + 0)). Which is greater: n or f?
n
Suppose -16*q - 10 = -11*q. Let h be (q/(-244))/((-45)/(-180)). Let s = -2 + 2. Which is greater: h or s?
h
Let h be ((-824)/12)/(2/(-3)). Is 311/3 != h?
True
Let l = -491 - -487. Let y be 1 + (212/(-20) - (6 + l)). Which is smaller: y or -13?
-13
Let f(c) = -2 + 31*c + c**3 - 19*c**2 - 18*c - 30*c. Let a be f(18). Let d = a - -28442/45. Are d and 1 non-equal?
True
Let k be -1 - (1 + -8) - (12 - (13 + -9)). Are -11/6 and k equal?
False
Let q(i) = -i**3 + 7*i**2 + i - 26. Let z be q(6). Suppose -10*c - z*c + 494 = 0. Which is smaller: 15 or c?
15
Let r = 4 - 4.3. Let p = -384.9 - 25.1. Let s = p - -409. Is s equal to r?
False
Let y be (-47464)/(-24) - 6/27*3. Let d = y + -71165/36. Is -1 smaller than d?
True
Let c(h) = 1118*h - 2857. Let g be c(6). Which is smaller: 3849 or g?
3849
Let v = 31 - 34. Let w = 14 - v. Suppose 13 = -6*t - w. Is t < -29/5?
False
Suppose -8*j + 52 - 84 = 0. Let s = -437/93 + 1/31. Which is smaller: j or s?
s
Let o be (-773*(-90)/24)/(4/(-32)*-2). Is o at least 11596?
False
Let d = 43.091 - 43. Let h = d - -0.109. Which is smaller: h or 14?
h
Suppose -5*s - 2*s - 217 = 0. Let u = s + 33. Let o = u + -4. Is -3/4 less than o?
False
Suppose 4*t - 3*w = -71, -4*w - 79 + 29 = 5*t. Suppose -300*s - 80 = -292*s. Is s greater than or equal to t?
True
Suppose 13*z - 1578 + 6661 = 0. Let f = -372 - z. Is f greater than 19?
False
Suppose 0 = 2*s + 53 - 167. Let n be 447*(2/(-4))/(s/38). Are n and -297/2 non-equal?
True
Suppose 25*v - 17*v = 56. Suppose -4*p = v*h - 5*h + 376, -2*p + 5*h = 188. Let j = 91 + p. Which is smaller: j or 2/7?
j
Suppose c - 5*y + 14 = -10*y, 5*c - 2*y = 11. Which is smaller: c or 5/1483?
5/1483
Suppose 4*y - 15 = v, -5*v = 4*y + 1 + 2. Suppose 0 = 3*k + x + 29 + 21, -k = -y*x + 10. Which is bigger: k or -12?
-12
Let s = 20417.12 + -20421. Is s smaller than -4?
False
Let t = -258 + 267. Suppose 824 = t*q - 17*q. Are -102 and q unequal?
True
Let f = 481 + -476. Suppose -2*i = -f*j - 65, 4*j + 52 = -i - 0*i. Let x = -6 + 3. Is x equal to j?
False
Let b = -48 - -61. Let t(l) = 3*l - 43. Suppose 3*x + p = 3*p + 55, 4*p = 2*x - 34. Let d be t(x). Which is greater: b or d?
d
Let u = -14585 + 17229. Is u bigger than 2644?
False
Let i be (7/(-42))/(6810/(-12) - 2). Are i and 1 unequal?
True
Let z be 6*(-114)/(-36) + (4 - 6). Let g be (-5 + 4 - 3) + 4. Suppose 51 = -g*h + 3*h. Do h and z have the same value?
True
Let n(f) = f**2 - 18*f + 30. Let v be n(16). Let p = -3468 + 3464. Which is greater: p or v?
v
Let z be -9 - 6/(13608/(-20414)). Is z at least 0?
True
Let k be (-9)/(-6 + 9) + -25. Let b be (k/(-6))/(144/270). Is 10 >= b?
True
Let q = -1353471/10972 + 3207/26. Which is smaller: 0 or q?
q
Let w = 0.038 - 0.072. Let l = w - 0.036. Let h = -0.07 - l. Are 0 and h unequal?
False
Let z = 5907.42 + -5904. Which is greater: 2/25 or z?
z
Let m be (4/6)/(12/(-16812)). Let k = m + 15871/17. Is 0 less than k?
False
Let v = 0.449 + -0.049. Let d = 1.6 + v. Do d and 9 have the same value?
False
Suppose -2*o = 5*r - 568, 0 = -5*r + 2*o + 246 + 326. Let y be ((-2)/(-4))/(6/1374). Do y and r have different values?
True
Let m be 3/39 - (5 - (-5995)/(-143)). Is 95 != m?
True
Suppose -58 + 7 = i. Suppose -126 = -136*r + 130*r. Let a = r + i. Which is greater: a or -29?
-29
Let s be (-1)/4*(13/(-13) + -7). Let n(f) = f**3 - 5*f**2 + 6*f - 4. Let m be n(4). Which is smaller: m or s?
s
Let k = 2357 - 1507. Let h = k + -808. Which is smaller: h or 44?
h
Let f be ((-12)/(-4))/((-6)/(-12)*1). Suppose f*n - 387 + 1023 = 0. Which is smaller: n or -105?
n
Let g = -2897 - -2893. Does g = 231?
False
Let d = -38 - -38.37. Let g = d + 0.03. Let r = -0.1269 + 0.1269. Is r at most g?
True
Let t = -5.406 - -8.406. Is 0.4457 < t?
True
Let b = 52 + -36. Let j = 64/7 - -130/21. Let n = b - j. Is 1 > n?
True
Let o be 2/(-7) - (-345)/1330. Let b(v) = -v**3 + 15*v**2 - 15*v + 9. Let n be b(14). Let j(d) = 10*d + 50. Let a be j(n). Which is bigger: a or o?
a
Let i = -2/30355 - -30359/60710. Is -86 >= i?
False
Let a(u) = -u**3 + 8*u**2 + 5*u + 31. Let p be a(9). Let o be 3/p*16/24. Which is greater: o or 2/25?
2/25
Let o = 16238 - 16039. Is 204 < o?
False
Suppose m - 5*b = 4420 + 2455, 13745 = 2*m - 5*b. Which is greater: m or 6872?
6872
Let g be 0 + 7 + 22 + -29. Let l = 19094/57 - 335. Is l greater than or equal to g?
False
Let m be 1/(-2)*(-1896)/444. Which is smaller: m or 1?
1
Let p = 3/64907 + -399242972/324535. Which is greater: p or -1231?
p
Suppose 0 = 5*u + 1633 - 308. Is -280 greater than u?
False
Let m(a) = -a**3 - 5*a**2 + 4*a + 20. Let f be m(-5). Suppose f = -4*o + 3*i - 56, 2*o - o - 2*i + 19 = 0. Is -13 < o?
True
Let u(z) = 65*z - 7. Suppose 57 = -9*b + 48. Let v be u(b). Are v and -74 equal?
False
Let d(g) = -3*g**2 + 4*g + 6. Let p = -146 + 144. Let h be d(p). Is h <= -4?
True
Let i be 24 - 52 - (2/2 - 0). Suppose -b + 4*z = 19, -4*b - 40 = -3*b + 3*z. Which is greater: i or b?
i
Let j be (-54)/(-837) + (-4)/62. Which is smaller: j or 1703/5?
j
Let u be (-1500)/(-1125) - (-37)/(-3). Let z be 117/(-12) + (-1)/(-4). Is z != u?
True
Let d be 4/18 - (-48)/27. Suppose d*p + 3*v + 16 = 3*p, p + v = 8. Suppose 2*o - s - 19 = 0, -s - 22 = -3*o + 8. Which is bigger: o or p?
o
Suppose -1688 - 1772 = -20*x. Which is greater: 171 or x?
x
Let l = -16274 - -16275. Which is greater: l or 2/78287?
l
Let n be -4 + 5526/(-12)*(-4)/(-6). Let d = n - -4042/13. Does d = 1?
False
Suppose 6*g + 1085 = 1103. Suppose -2*z - 2*x = 0, g*z - 4*x = -2*z - 36. Is z equal to 30?
False
Let t = 5753 + -23065/4. Which is smaller: t or 1.6?
t
Let b be 1*((-22)/18 + 1) + 3067732/7902. Is b <= 2708/7?
False
Let f = 407 + -179. Suppose u + 3*u = f. Let s be (-12330)/(-210) + 52/(-14) + 3. Is u less than s?
True
Let l = 46 - 46.033. Let q = 1.8 + -1.733. Let m =