 x?
True
Let m be 868/(-6) - (-10)/(-30). Let d be (-1)/7 + m/(-35). Suppose d*u + 34 = -6. Is -10 at least u?
True
Let t = 1.07 + 0.13. Let d = 77 + -70. Let f be (-2)/(-18)*(-13 + d). Which is bigger: f or t?
t
Let j = 2561 + -2624. Which is greater: j or -828/13?
j
Suppose -2*q - 3*q - 5 = 0. Let o = 762/29 + -25378/957. Which is greater: q or o?
o
Let p(f) = 7*f + 25. Let s be p(-24). Let x = s + 144. Is 184 <= x?
False
Let g(j) = 4*j**2 - 3*j + 2. Let q be g(1). Suppose 6*s - 3*s = q. Let r be (-60)/259 + (-2)/(-7). Is s at most r?
False
Let i be 9/4 - (-3)/(-12). Let j = 2 - i. Let x = -10/1599 + -869/116727. Do x and j have the same value?
False
Suppose 4*t - 3*t + 51 = -3*u, -4*t = 5*u + 85. Let q be u/(-12) + (-6)/8. Let a = -0.4 - -0.65. Which is smaller: q or a?
a
Let j = -11.22 - -6.17. Let p = 48 - 48.1. Is j at least as big as p?
False
Let i = 1926 + -2059. Which is greater: i or -129?
-129
Suppose 5*j + 543 = -107. Let p = 221053 + -221182. Is j >= p?
False
Suppose -12 + 11 = q. Let n = -19/52 + 1605/4108. Is q less than or equal to n?
True
Let w(v) = -581*v - 165. Let i be w(0). Which is smaller: i or -162?
i
Suppose 887 = 5*d - 288. Let a be -3 - (-2 + d/(-275)). Are 0 and a unequal?
True
Let l = -0.197 - 82.803. Let h = -0.8758 + 0.7758. Which is smaller: l or h?
l
Let a be 1 + 3 - (10 + -7). Let k = -1/2 + 37/58. Which is smaller: a or k?
k
Let g be 26*(-3)/6 + (2 - 0). Is 20 equal to g?
False
Let i = -21.47 - -21.97. Are i and -179 nonequal?
True
Let d = -6 + -105. Let z = 1604 - 1339. Let s = 155 - z. Is d != s?
True
Suppose 3*d - 5*w + 25 = 0, 2*d - 5*w + 0 = -25. Which is smaller: -1/24006 or d?
-1/24006
Suppose -13*n + 1216 = -5*n. Suppose 3*o + 3*t + 78 = 0, -151*o - 5*t + 32 = -n*o. Let r(m) = -2*m**2 + 4*m + 4. Let b be r(-3). Is b > o?
True
Suppose 20 = 33*w + 9*w - 106. Suppose -o - 6 = -33. Suppose 6*j - w*j - o = 0. Is 4 <= j?
True
Suppose -5*m = a - 12270, 6*m + 61320 = 5*a + m. Are 12265 and a nonequal?
False
Let o(v) = -16*v**3 + 4*v - 4. Let l be o(1). Suppose 0 = -4*m - 3*z - 155, -1 = -2*z + 5. Let s = 24 + m. Is l > s?
True
Suppose -n + 34 - 203 = -9. Is -1762/11 at most as big as n?
True
Let g(s) = -s**2 + 6*s + 30. Let x be g(9). Let j be (5 - (-182)/21) + -11. Do j and x have different values?
True
Let m = -33 + -16. Let s = m + 63. Let h(f) = -f + 14. Let j be h(s). Which is bigger: j or -5?
j
Let v = 1391.388 - 1392. Is 4 less than v?
False
Let p = 2288 - 4579/2. Let t be (5/2)/(5/10). Suppose 4*r + t*m - 6 = 1, -5*r - 4*m = -2. Is p at least as big as r?
True
Let j be (-2)/(-3) + 28/12. Let u be j/1 + (-8 - (-1320)/121). Is u greater than or equal to 5?
True
Let p = -10074 + 10023. Which is greater: p or -35?
-35
Let k be 2/12 - (-9082)/228. Let m = k + -40. Which is greater: m or 75?
75
Let z(a) = 6*a + 5. Let r be z(-4). Let h be 418/(-32) - 117/(-1872). Which is smaller: h or r?
r
Let d = 368974/7 + -52827. Which is bigger: d or -116?
-116
Let x be ((-156)/(-216))/((-4)/582). Let g = -105 - x. Which is greater: 4 or g?
4
Suppose -2*r + 3*d - 38 + 18 = 0, d - 4 = 0. Let i be ((-48)/40)/((-4)/10). Suppose y + 3 = -i. Which is smaller: y or r?
y
Let b = 274 - 541. Which is smaller: b or -262?
b
Let p be (-2542)/225 + 236/(-2950). Which is greater: p or -10?
-10
Let r = 28051/31350 - -14/475. Let u = r - 12/11. Do u and -24 have different values?
True
Suppose -30*x + 28*x = -40. Suppose -6 = 14*j - x. Let q be ((-30)/(-28) - -1) + -1. Do j and q have the same value?
False
Let o = 151 - 155. Let l be o - (-10 - 36/(-6)). Is 5/24 less than or equal to l?
False
Suppose 6*n + 36 = -36. Let r = n + 14. Let b be r/(((-189)/6)/9). Which is smaller: b or 2?
b
Let c be ((-9)/18 - 3)/((-2)/40). Let r = c - 90. Which is greater: -21 or r?
r
Let x(i) = -i**3 + 6*i**2 + 7*i - 6. Let h be x(6). Let q(c) = -29*c + h*c + 5 + 13. Let a be q(-4). Is a greater than -11?
True
Let j be 47074/78465 + (-30)/50. Are -1 and j equal?
False
Let k be 14/49 - (-1 - -1). Let c = -0.03631 + 22.03631. Which is smaller: k or c?
k
Suppose -23*t + 18*t + 3615 = 0. Let k = t + -689. Which is bigger: k or 22?
k
Let i = 92 + -92.229. Let r = i + 0.329. Let m = 15.5 - 0.5. Is m at most as big as r?
False
Suppose 15*n = 101*n + 7310. Is -80 <= n?
False
Let h = 1040 + -1041. Is h < 0.06359?
True
Let u = 16471 + -10161. Suppose 273*g - 263*g = -u. Is g > -631?
False
Suppose -18*s = -38*s + 180. Suppose -s*n = -869 - 58. Is n less than or equal to 103?
True
Let o = 358.174 + -358. Let y be (-2)/(-3) + (-16)/(-12). Is o not equal to y?
True
Let l be (8/(-24))/(1/(-6)). Let g be (l/(-643))/(13 - 14). Which is smaller: g or 1?
g
Let w = -1.88 - 0.51. Let g = -2.39 - w. Which is smaller: g or -34/3?
-34/3
Let x = 3.06 + -21.06. Let b = -0.91 + 1.65. Let t = 1.26 + b. Is x greater than or equal to t?
False
Suppose 5597*v + 5629 = 5610*v. Is 433 at least as big as v?
True
Let d = 125 - 125.107. Let b = -0.207 - d. Is 134 < b?
False
Let s(t) = -72*t - 1235. Let b be s(-13). Which is smaller: b or 0.3?
b
Suppose 4*j + 3233 = 4*i + 1977, j - 4*i = -332. Which is greater: j or -305?
-305
Let a be -166*(-5)/20*6. Let r = a + -1243/5. Which is greater: 0.008 or r?
r
Let c be 4/(-54) + 7904/(-4104). Is 1138/19 at most c?
False
Let m = 659 + -645.3. Which is bigger: m or -1?
m
Let j = -164.3 - -323.3. Which is greater: -12 or j?
j
Let l(q) = q**3 + 12*q**2 + 23*q + 6. Let d be l(-10). Let r be (-16)/(-12) + d/18 + -2. Is -14 not equal to r?
True
Let c be 6/5 + (0 - 110/50). Which is bigger: c or -4/71?
-4/71
Let p be (-4 - (-2338)/(-406)) + (0 - -7). Is p smaller than -2?
True
Let j = 620/13 + -83/26. Is j greater than or equal to 46?
False
Let o be (-54016)/72 + (-6)/(-27). Let r be (25/o)/(39/4). Which is smaller: r or -1?
-1
Let n be (8/(-10)*2)/((-47)/(-235)). Let z be (-3)/(-48)*164 - (-2)/n. Suppose -i + z + 12 = 0. Is i at least 22?
True
Let y be (162352/(-9035) - 3*-6)/(5/(-25)). Suppose -3*p + 5 = -8*p. Let q = p - -1. Is y <= q?
True
Let k = 274 + -275. Which is greater: k or -7/39?
-7/39
Let u(j) = 46*j - 2759. Let f be u(60). Which is smaller: 5.658 or f?
f
Let k = 74102.093 + -74658.1. Let w = k - -556. Let l = 0.6 + -1.6. Which is greater: l or w?
w
Let l = 693/2 - 362. Let d be (17/68)/(9/(-576)). Which is bigger: l or d?
l
Let v = 2051617846/69 - 29732174. Suppose -4*p + 2*c = 5678, 5*p + 530 = 5*c - 6575. Let k = p + v. Is k bigger than 1?
False
Let x = -19321 - -14891. Are x and 2 equal?
False
Let x = 195.5 - 192.5. Which is smaller: -1/1306 or x?
-1/1306
Let f = 32.5079 + -32.64. Let g = f + -0.0079. Are g and 6 unequal?
True
Let s be 12*-4*2/32. Let o(n) = -n**3 + 3*n**2 + 3*n + 2. Let l be o(11). Let v = 5581/6 + l. Is v less than or equal to s?
False
Let r(s) = -s**3 + 6*s**2 - 2*s - 8. Let i be r(5). Suppose 13*y = i*y + 6. Is -140 != y?
True
Let c be (3/(-7))/((-4136)/(-1743126)). Let i = 723/4 + c. Is i at least as big as 4?
False
Suppose -5*a = 4*v + 339, 2*v - v + 336 = -5*a. Let u be (10/a)/(-5*2/(-10)). Which is smaller: u or -1?
-1
Let l be ((-1)/(-12))/(-1 + 295/(-32)). Which is smaller: l or 0?
l
Let a be (-3336 + 12)*(10/(-88) - 0). Let l = 378 - a. Which is greater: 1 or l?
1
Let y = -0.0055 - 5.2945. Let l = -3.7 + y. Let n = 0.05 - 0.35. Which is greater: n or l?
n
Suppose 0 = 2*w - 6, 4*x + w + 749 = -0*x. Let g = 204 + x. Is 16 less than or equal to g?
True
Let y = 3393 - 3402. Suppose 5 + 2 = t. Which is greater: y or t?
t
Suppose -2*t + 2*o = t + 90, -143 = 4*t + 5*o. Suppose 0 = 27*h - 25*h - 330. Let j be (h/20*-1)/(1/4). Which is smaller: t or j?
j
Let h = 222 - 74. Let v = h + -200. Is v at most -56?
False
Let q = 16.2 - 39.1. Let b = -0.9 - q. Let g = 1040613 + -1040613. Which is smaller: g or b?
g
Let r = 8216.9215 + -8217. Which is smaller: -10 or r?
-10
Let x be (-11)/(627/(-11780)) - (0 - -6). Which is smaller: 202 or x?
x
Suppose -z + 3*y = 10, 2*y - 1 = -z - 4*z. Which is smaller: 6/973 or z?
z
Let k = 333 - 194. Let y = k - 43. Let h = y + -95.7. Are 3/8 and h equal?
False
Let k = -95 + 95.258. Let c = k + 0.242. Which is smaller: c or 0.53?
c
Suppose -2*t + 7*t - 655 = 0. Suppose 0 = -5*o + 4*z + 602, 8078*o = 8073*o + 2*z + 626. Is o at most as big as t?
True
Suppose 3*f - 7*f + 44 = 2*q, f - 2*q - 