ame value?
True
Let o(g) = -g**2 + 24*g. Let w = 56 + -39. Let c be o(w). Which is smaller: -2/9 or c?
-2/9
Let w = 174 + -153. Suppose -10*r = -17*r - w. Is r less than or equal to -23/6?
False
Let w = -13262 + 65998/5. Let f = w - -8751/140. Let a = -3 + 4. Is f bigger than a?
False
Let g be (259/21 + -10)/((-49)/(-21)). Is 8/1881 <= g?
True
Suppose 0*k - 60 = -3*k + 2*v, k = 4*v + 20. Suppose k*s = 4*s + 528. Suppose -a = -0*a + 3*g + s, 2*a + 57 = 3*g. Is a < -31?
False
Let j(b) = -b**3 + 32*b**2 + 321*b + 7. Let u be j(-8). Is -1/15729 smaller than u?
False
Let i = -11.367 - -670.667. Let j = -660 + i. Is j < -1.7?
False
Let h = -22 - 6. Let q = 28 + h. Suppose q = -2*c + 6*c. Is 1 at most c?
False
Let s be 141*((-8)/8 + 0). Let r be (8/(-18))/((-30926)/s). Is 1 less than r?
False
Let u(s) = 3*s**3 + 7*s**2 + 17*s + 5. Let c be u(-4). Let l = 31 + c. Is -113 bigger than l?
False
Suppose 1210 + 1583 = 7*z. Let u be (-2 - 0)/30*z/14. Which is bigger: u or -3?
u
Let q be (-6027)/42*(0 + 2*-1). Let h = q + -286. Is -6/23 at most as big as h?
True
Let s = -1288 - -1798. Which is greater: s or 511?
511
Suppose 504 = -0*u + 2*u. Suppose -6 = 4*w + 6, -w = 5*x - u. Let l be ((-303)/18)/((-2)/6). Do x and l have different values?
True
Let b be (-930)/(-124)*3/18*-4. Let i = -0.264 + 2.564. Is i not equal to b?
True
Suppose l + 104 + 124 = 0. Let o be ((-6)/l)/((0 + -3)/12). Which is bigger: 1 or o?
1
Suppose -12*k - 79*k = 52*k + 240955. Is k less than -1686?
False
Let p be 144/42*(-28)/(-6). Suppose -d - p*d = 2278. Is -134 at most as big as d?
True
Let x be (2/8*(-102)/3)/((-3)/(-1362)). Which is smaller: x or -3861?
-3861
Let j(s) = 15*s**2 + 49*s - 49. Let v be j(1). Let a be (-24)/v*(265/(-105) - -3). Is a at most 0?
True
Let x be (-1 + -1)*22/(-2). Let u(h) = 2*h**3 + 96*h**2 + 187*h + 154. Let g be u(-46). Suppose x = -t + g. Which is greater: -9/2 or t?
-9/2
Suppose -14*f = 16*v - 20*v - 40, 4*f = -2*v - 20. Let l be (1/2)/((-873)/12). Is f at least l?
True
Let p be (-2 + -2)*2 - 486/126*-14. Let m = 101 - 55. Is m < p?
False
Let d = 77 - 19. Let z be (-1567)/(3*(0 + -9)). Let u = d - z. Are 1 and u equal?
False
Suppose -2*f - 5*j - 14 = 4, 0 = -4*f + 4*j - 8. Let v(n) = -n**3 - 2*n**2 + 18*n + 41. Let h be v(f). Which is smaller: h or 1/10?
1/10
Suppose -42*w + 50*w + 1608 = 0. Let l = -186 - w. Is 11 >= l?
False
Let h = -37130907666/371819 - -699040/7. Which is greater: h or 1?
1
Let s(m) = 300*m. Let k be s(6). Suppose 44*c - 29*c = -k. Which is bigger: -118 or c?
-118
Let k be (947457/(-3900))/(-27) - 9. Which is smaller: k or 1?
k
Let n(q) = -3*q**2 - 57*q - 20. Let j be n(-18). Let c be (-389)/(-3) + (-6)/9. Suppose 5*r + j = c. Which is smaller: r or 0?
0
Let w = 741683128 + -17778081485/24. Let p = w + -930462. Let n = 729 + p. Is 1 at least as big as n?
True
Suppose 2*o + 21 = -4*z + 7*o, -z - 9 = -2*o. Is -9/2720 greater than z?
False
Let d = -350 - -1778/5. Let r = -71 - -75. Suppose -14*z + 74 = r. Which is greater: z or d?
d
Suppose -4*f = -2*b - 42, -5*f = b - 0*b - 14. Let n = 12 + b. Let u be (8*(-10)/(-240))/(79/3). Which is greater: n or u?
n
Let k = -2.932 + -0.068. Let t = 17.25 + -0.23. Let f = -17 + t. Which is greater: f or k?
f
Let h be (21 + -11)/(5/(1780/8)). Which is bigger: h or 437?
h
Let u = -8.97 - -9. Let g = u + -17.03. Let r = 351/20 + -89/5. Is g equal to r?
False
Let k = 1.5413 - -2891.4587. Is k > -1?
True
Let k be (-164798)/(-141480) - 3/4. Is 1 equal to k?
False
Let t be 10 - (2 - 6/4*4). Suppose -4*x - t + 358 = 0. Which is bigger: 84 or x?
x
Let q = 1420 - 2683. Let j = -1246.46 - q. Let w = j + -0.54. Which is smaller: w or 0.1?
0.1
Suppose 58*h = 7*h - 612. Which is smaller: h or -13?
-13
Let c = -266 - -187. Let r = -698 + 620. Which is bigger: c or r?
r
Let t = 8478 + -8505.972. Let w = -1948.028 - -1948. Let g = w + t. Which is bigger: g or 2?
2
Let j(b) = -9*b + 65. Let o be j(7). Suppose 3*p = -3*c - 69, -o*c + 59 = -3*p - 0*p. Is p < -7/6?
True
Let t = 219 - 1535/7. Which is bigger: 0.016 or t?
0.016
Suppose -6*k + p - 2002 = -k, -1190 = 3*k + 5*p. Let f be 412/2025 - (-32)/k. Are -1 and f unequal?
True
Let i = -67 + 67.9. Let l = -0.978 + i. Let q = l - 0.422. Which is smaller: 6 or q?
q
Let t = -17881/11 + 1627. Suppose -3*o + 638 = -5*h, -4*o = -6*h + 4*h - 258. Let j = 129 + h. Is j < t?
False
Let c = -9897.8 - 724.2. Is c greater than 0?
False
Let c(i) = -3*i + 5. Let o be c(1). Suppose -115 = -5*s + o*j, 5*j - 47 = 5*s - 162. Which is greater: s or 93/4?
93/4
Suppose -4*d - 29060 = -5*y, -5*y = 3*d - 7*y + 21802. Which is smaller: -7271 or d?
-7271
Let y(u) = -452*u + 5415. Let t be y(12). Which is smaller: 8 or t?
t
Let x be 4/14 + (-330)/77. Let n be 7*(16/14 + -2). Which is smaller: n or x?
n
Let b = -7247 - -9785. Which is smaller: 2536 or b?
2536
Suppose 4*o + 82 = -2*f + 10, -f - 36 = -5*o. Let q(z) = -3*z**2 + 15*z + 5. Let g be q(7). Which is greater: g or f?
f
Suppose -1 = 3*t + 62*i - 63*i, -4*t - 5*i = -5. Which is bigger: -7/2449 or t?
t
Let b(l) = 14*l - 891. Let a be b(34). Which is bigger: -418 or a?
a
Suppose 0 = -6*y - 238 + 244. Which is bigger: 4/9365 or y?
y
Let w = -808.65 + 828. Let t = w + -2.35. Which is bigger: t or -6?
t
Suppose -l + q = -2*l + 8, 5*q = -l + 20. Suppose -4*a + 5*p + 4 = -3*a, a = -l*p - 16. Let h(f) = 6*f**2 - 3*f. Let j be h(1). Which is smaller: a or j?
a
Let q = -64/15 - -1718/405. Suppose 40 = 3*o - 2. Suppose 2*b + 2*u + 6 = o, -3*u = -b - 8. Which is smaller: q or b?
q
Let w = 450 + -449.945. Let u = w - -0.245. Do 24 and u have the same value?
False
Let n be (-1 - ((-133)/66 + (-68)/(-374))) + 23162/(-2220). Let h(w) = -3*w**2 + w. Let c be 16/7 - (-4)/(-14). Let d be h(c). Which is greater: d or n?
n
Let f be 19 - (-16)/6*(-6)/4. Let o be 8 - (5 + (-1296)/f). Which is bigger: o or 90?
90
Let a be (153/(-51))/(6/8) - -3. Is 9/293 less than a?
False
Let i(n) = 2*n**2 - 24*n - 23. Let w be i(-8). Let x = 1487/5 - w. Is x less than -0.18?
False
Let n = 6243 - 7856. Is -1615 <= n?
True
Let s = -530.98 - -531. Which is greater: s or 255?
255
Let x = 56666766830/46131 - 1228388. Is x > -1?
True
Let j = -0.057 + -0.383. Let w = -49.56 + j. Let v = w + 59. Is v at least as big as -1?
True
Let l = -4180 - -4202. Is 151 at least as big as l?
True
Let t be 10/(9/(-15)*(-55)/66). Are 67 and t unequal?
True
Let o(x) = x**3 - 4*x**2 + 8*x - 5. Let c be o(4). Let d be (-2 - c/(-6))/(5/10). Suppose 4*v + 2 = -6, d*v - 60 = 5*j. Which is smaller: j or -15?
-15
Let g = 17 + 31. Suppose g = -2*t + u + 2*u, -4*u - 120 = 5*t. Let c = 1 + -1.1. Does t = c?
False
Let z(b) = 612*b**3 + 2*b**2 - 13*b + 25. Let f be z(2). Is f > 4902?
True
Let w = 910/31 + 9/62. Let n = -823/28 + w. Do -1 and n have different values?
True
Let l be (-170)/18 - 1/3. Suppose 46 = 15*n - 17*n + 4*k, -2*k = -12. Which is smaller: l or n?
n
Let p(m) = 223*m - 17609. Let k be p(79). Suppose 1 = 4*b - 23. Let t be (2 - 3)*(-1 - b). Which is smaller: k or t?
t
Let b be -10 + (-2 + -311)*1. Let w be (2430/(-25))/((-6)/(-20)). Is b less than w?
False
Let y = -287.3 - -266.6. Is y not equal to 0.4?
True
Let o = 1519.87 + -1537. Let d = 17 + o. Let s = 4273 - 4272.8. Which is bigger: s or d?
s
Suppose 0 = t - 25*u + 28*u, 0 = -7*u + u - 84. Let z = 1 + -2. Let w = -1 - z. Is t at least as big as w?
True
Let z be (-20)/9 + (-4)/(-18). Let j = -484 - -506. Let x = 20 - j. Is x <= z?
True
Let n = -116988.1 + 116988. Let z = -0.37 - -18.37. Which is smaller: z or n?
n
Let n(g) = -g**3 - 5*g**2 - 3*g + 7. Let f be n(-4). Suppose -f*v - 3*t + 2*t - 266 = 0, 0 = 2*v + 3*t + 182. Is -88 != v?
False
Let i = 14164.1 + -14164. Which is smaller: 6/487 or i?
6/487
Let s = 9735.9 + -9725. Is -0.33 greater than or equal to s?
False
Let f = -6580 - -7250. Which is smaller: 666 or f?
666
Let y be 13/26*5/(10/(-4)). Let z be (y/2)/((-528)/(-18)). Let p = z - 431/528. Is 0 at least as big as p?
True
Let b = 829.17 - 828. Let w = b - 1.37. Let n = -0.8 - 3. Which is bigger: n or w?
w
Let f = -36836/53 + 695. Suppose -2*b + 10*j - 8*j + 8 = 0, -4*j = -b + 19. Which is smaller: f or b?
b
Let t = -196 + 875. Suppose 678*u - 53 = t*u. Which is smaller: u or -54?
-54
Let a(o) = 11*o**2 + 105*o - 1003. Let k be 