t h = -10.747 + -0.153. Let i = -11 - h. Let s = i - -0.6. Which is bigger: s or -2?
s
Let n = 312914195 + -35984908863/115. Let c = n + -1944. Is c >= -1?
True
Let f(b) = b**3 - 5*b**2 + 2*b - 7. Let j be f(5). Suppose -5*x = -3*s + 15, -x - 3 = 3*s - 0*s. Is s > j?
False
Let s = 22.2 + 8. Let l = 30.2 - s. Is l less than -3/113?
False
Suppose -6*a = -5 - 23 - 38. Let s = -0.4 + -0.3. Is a not equal to s?
True
Let v(p) = -2*p + 11. Let q be v(-4). Let m = q + -21. Let i be (13/m)/(8/48) + 0. Which is greater: i or -40?
i
Let v = -24841 + 149053/6. Let g = 4 - 5. Which is smaller: g or v?
g
Let r = 325 - -1811. Let m be (-2)/(-7) - r/(-168). Suppose -88 = m*v - 9*v. Is v > -20?
False
Let v be 22/77 - (-164)/14. Suppose 16 = -2*c + 4*w, 0 = -5*c - w + 4*w - v. Let u be (-154)/50 + 6/2. Is c bigger than u?
True
Let m(x) = -2*x**3 + 15*x**2 + 10*x - 12. Let w be m(8). Suppose 5*y - 3*c + w = 9*y, 3 = 3*y + 5*c. Are y and 12/17 equal?
False
Let f be (2 + -1)*(10 + 7). Let c = f + 0. Which is smaller: 13 or c?
13
Let c be 13710/(-12)*224/560. Which is smaller: c or -2279/5?
c
Let l(y) = y**3 - 10*y**2 + 3*y - 15. Let v be l(10). Let k be (3/1794)/(v/(-60)). Which is greater: k or 1?
1
Suppose -4*y - y = 3*s + 179, -3*s - 9 = 0. Let h = y + 22. Let j be -1 + 3/h*6*-2. Which is smaller: -1/9 or j?
-1/9
Suppose -71*s - 13393 = -746*s - 148393. Is -23 < s?
False
Let z = -0.84 + 0.04. Let k = z + 1. Let a = k - 1.2. Which is smaller: a or 18?
a
Let o(t) = 40*t**2 - 2*t + 2. Let j be o(1). Suppose 0 = 10*w - 5*w - j. Let u be (3 + (-26)/w)/((-5)/(-68)). Is -3 >= u?
True
Let k = -302 + 298.7. Let o = -46.7 + k. Which is smaller: o or -0.2?
o
Suppose 12*d - 16*d + 1488 = 0. Let k = -5578/15 + d. Which is smaller: 0 or k?
0
Suppose 28*c = 2*c + 31 - 57. Which is smaller: c or -10/5537?
c
Suppose 360 + 353 - 162 = -19*w. Which is bigger: w or -19?
-19
Let s be (-1)/5 - (-1)/(10/52). Let w = s - -33. Let y = 47 - w. Is 5 < y?
True
Let j be 2/5 + 134/(-10). Suppose 2*a = n + 2, -7*a + 9*a = -2*n + 8. Let d be (54/(-135))/(a/60). Is d != j?
True
Suppose 3*i + 15 = 0, 21 = 3*g - 3*i + 6. Suppose 0 = -2*w + 2*r + 8, 2*w + g*r = -r - 7. Let s be (w/((-4)/(-12)))/1. Is s equal to -20?
False
Let b be 12*((1 - -1 - 5) + 2). Let o = 98 - 77. Let c be 14*(2/(-7))/(b/o). Is c greater than or equal to 7?
True
Let p be (8/32)/((-453)/8). Let w = -1764 + 1764. Is w at least p?
True
Let p = -3209.95 - -3210. Which is greater: p or 359?
359
Let k be ((-2)/486)/(-94 - -86). Which is smaller: -1 or k?
-1
Let p(b) = 19*b - 937. Let x be p(51). Is x at most as big as 7?
False
Let c = 1.99 + -0.59. Let y = 7 + -4. Suppose 2*f = y*f + 1. Is f greater than c?
False
Let p = 322 - 351. Let c = p - -29. Which is greater: c or -2?
c
Let r(y) = y**2 - 16*y - 3. Let v(j) = -j**2 - 4*j + 21. Let g be v(0). Suppose 6 = -m + g. Let l be r(m). Is -1 >= l?
True
Let a = -1281.4 + 1222.4. Do -14 and a have the same value?
False
Let z = -548 + 521.1. Let x = 28 + z. Which is smaller: x or 0.3?
0.3
Let l = 0.383 + -0.3. Let n = -0.183 + l. Is n greater than -0.0132?
False
Let g = -1979053/276 - -21509/3. Is g at most -1?
False
Let m = 34185703/48 + -712202. Let h(o) = o + 1. Let d be h(0). Which is bigger: d or m?
d
Let h = -1025/24 + 3325/24. Which is smaller: 95 or h?
95
Let s be 1*1/25*10470/(-1585). Let g = s - 5/317. Which is smaller: g or -1?
-1
Let o = -387/1876 - -21/67. Let z = -5793 + 5792. Which is smaller: o or z?
z
Let k = -12.16 + 12. Let d = 0.24 + k. Let u = 366 + -366. Is d bigger than u?
True
Suppose 0 = 67*s + 132*s + 4378. Which is smaller: 42 or s?
s
Suppose 2*r = 2*b - 140, 5*b + 0*r = -r + 344. Let q be 1 - 4 - (-1200)/(-18). Let c = q + b. Is 0.4 bigger than c?
True
Suppose 5*b - 13 = 2. Suppose -5*l - 2 - b = 0. Let c = 257/7 + -37. Is l bigger than c?
False
Suppose 10 = -9*w + 19*w. Let g be (315/39)/(w + 5/(-4)). Let x = g - -7452/221. Which is smaller: 2 or x?
x
Let x = 646268 - 646267.762. Let v = -4 + 3. Which is smaller: x or v?
v
Suppose 2*r = 2*c - 19 - 5, 18 = -c - 5*r. Let d = -0.09 - 18.91. Let a = -16 - d. Are c and a equal?
False
Suppose 67 = 3*h - 5*m - 239, m = 3*h - 306. Suppose 38376 - 40333 = -19*b. Which is smaller: b or h?
h
Let z(j) = j**3 + j**2 + 2*j + 25. Let s be z(0). Let n be 5/s*0 - 60. Which is greater: n or -64?
n
Suppose 7*r + 24 = -r. Let h be ((-1)/((-56)/(-4)))/(r/24). Which is smaller: -2.5 or h?
-2.5
Let y = -272 - -271. Let x(d) = -d**3 - 5*d**2 - 7*d - 1. Let r be x(-3). Let z be r/40*(-15)/25*-4. Which is bigger: y or z?
z
Let x(a) = 38*a**2 + 418*a. Let k be x(-11). Is 3/2122 smaller than k?
False
Let q be (5/(-417))/(21 + 3196/(-153)). Is 1 bigger than q?
True
Let k = -0.08 + 0.05. Let v = 1.06 - 142.06. Let o = v + 142. Is o not equal to k?
True
Let u = 499 - 51. Let z = -1348/3 + u. Let y be (26/16 + -2)*-2. Which is bigger: y or z?
y
Let s = -0.3 - -0.1. Let b = 23080 - 23080.08. Is b at least as big as s?
True
Let z be (-2)/(-5*((-24)/(-140))/3). Suppose 10 = b + z. Let n be ((-115)/(-10) - b/(-6))*1. Is n > 5?
True
Let k = 3474 + -3471.756. Do 0.1 and k have different values?
True
Let d be (-625)/(-150) - 1/6. Let l be -2 + 53 + (d + -4 - 3). Are 47 and l non-equal?
True
Suppose -5*s - h - 6 = 49, 0 = 7*s + 4*h + 64. Let p(r) = r - 51. Let k be p(28). Which is smaller: s or k?
k
Suppose 5*w + 8 = -2*z, -2*w - 8 + 5 = z. Is -18/37 less than z?
True
Let t = -1164 - -1185. Is 40 smaller than t?
False
Let j(l) = l**3 + 8*l**2 + 10*l - 4. Let i = -58 + 56. Let n be j(i). Which is smaller: n or -1/19?
-1/19
Suppose 36 = 2*s - 2*c, -2*s + 25 = -4*c - 5. Suppose a + s = b - 18, -b - 66 = 2*a. Let r = 375 - 410. Is a not equal to r?
False
Let k = -26468 + 26451. Are -0.078 and k equal?
False
Let l(o) = 42*o + 31. Let d be l(-4). Let t = -162 - d. Are t and -268/11 equal?
False
Let i be (-15)/(-20) - ((-50)/8 - 0). Suppose 0 = -3*f + 3, -i - 5 = -o - 2*f. Let s be ((-4)/3)/(o/48). Which is greater: s or -5?
-5
Let f = -0.69 + 0.18. Let j = f + 0.9. Let m = 0.3 - j. Which is bigger: 0.1 or m?
0.1
Let o be 10*11/88*2*(-3234)/(-15). Which is smaller: o or 2155/4?
2155/4
Let v = 35 + -30. Suppose v*b - 14 + 9 = 0. Which is smaller: 20/17 or b?
b
Let b(f) = 7*f + 10. Suppose 1 + 2 = -k + 5*y, 3*y = k - 1. Let x be b(k). Let q = 108 - x. Is q bigger than 50?
False
Let i = 6.07 + -83.97. Let n = 41.54 - -36.46. Let r = n + i. Which is bigger: 23 or r?
23
Let m be ((-76)/(-152))/(1/1846). Which is smaller: 922 or m?
922
Let g = 16862/575 - 694/25. Let p = 47 - 46. Which is bigger: p or g?
g
Let u(s) = -4*s - 27. Let p be u(-7). Suppose 3*o = -5*v + 31, -o = -3*o + v - p. Suppose 4*i = -6 - o. Do -1 and i have the same value?
False
Let a be (0 + 0)*(-2)/4. Let q be ((-2044)/(-168) - 12) + 161/(-894). Which is smaller: a or q?
q
Let q(b) = -b**2 + 2*b + 8. Let w be q(4). Let j(c) = -c**3 - c**2 - c - 3. Let z be j(w). Let h = 493 - 496. Is h less than z?
False
Let w = 0.02 - -2.98. Let g be ((-3006)/2004)/((-1)/(10/2)). Is w > g?
False
Let h = -12/1325 - -1361/3975. Which is greater: -1474 or h?
h
Let s = -3326.9 + 3493.9. Is s <= 1/39?
False
Let o(g) = 13*g**2 - 444*g + 28. Let a be o(35). Is a greater than 413?
False
Suppose 0 = -8*d + 13*d - 2*a - 5299, -3*d + a = -3179. Let p = d - 1052. Let n(l) = l - 2. Let z be n(6). Is z <= p?
True
Suppose -4*w = -4*o + 392, -4*w + 2*o - 15 - 385 = 0. Let t = -716/7 - w. Which is smaller: t or 0.026?
t
Let c = 228 - 208. Suppose -5*u + 11 = 4*z - 6, c = 4*u. Which is smaller: z or -9/10?
z
Suppose -2*h + 5*h = -3*s + 3, -3*h = s + 5. Suppose 2*l + m - 6 = 0, l + 2*l = -4*m + s. Suppose -l*c - 4*v = -0*c + 96, 0 = -c + v - 32. Is -28 > c?
False
Suppose 47 = 13*j + 8. Suppose -j*f + f = 2, o - f = 0. Which is smaller: -3/7 or o?
o
Suppose 0 = 3*j + 5*l - 59, 2*j = 5*l - 8 + 39. Let i be 1*(112/j - 6). Is 152 at least as big as i?
True
Suppose -17*p = 2278 - 21036 - 7711. Which is bigger: p or 1561?
1561
Let j be (-146)/(-4)*(520/286 + (-4)/(-22)). Which is greater: 137 or j?
137
Suppose 0 = 5*w, s - 4*w = 6*s + 95. Suppose -k - 2*k + 30 = 5*o, 2*o = k + 12. Let r be (-16 - (o + -3)) + (-1 - 0). Which is smaller: s or r?
r
Suppose -11*n = -2 + 2. Suppose -o = g + 49 - 1, o - 4*g + 43 = n. Let x = 25 - 7