8 or q?
q
Let c be 3*-1*(5192/144)/(-11). Let f = c + -58/3. Which is bigger: f or 2?
2
Let h = 704 + -766. Are -63 and h equal?
False
Let v = -420.64 - -422. Is v > -1/4?
True
Let t = -1/150194 - -240010047/5256790. Let z = -204/5 + t. Is 6 >= z?
True
Suppose 0 = -p + a + 18, 5*a + 7 = -p - 5. Let x = -8 + p. Suppose -w + 4 = -x*w. Is -0.1 >= w?
True
Let z = 1826 + -2873. Let m = -65963/63 - z. Which is smaller: m or 2?
m
Suppose -2*h + 175 - 181 = 0. Is 1 bigger than h?
True
Suppose -3*f + 0*f = 0. Suppose 2*o + 3*t - 16 = f, 2*t = 9 - 1. Suppose 1 = 6*c - 11. Is o equal to c?
True
Let v = -1191 + 13077/11. Let c = v - -194/99. Which is smaller: -1 or c?
-1
Let m = -0.768 - -0.75. Let i = -0.982 + m. Which is smaller: i or 17?
i
Let v(n) = n**3 + 9*n**2 - 20*n + 21. Let z be v(-11). Is z less than or equal to -14/9?
False
Let b be 1 + ((-3)/(-1) - 3). Let o be 95/40 + -3 + b. Let z be (-10)/(-8) - (-3)/(-12). Is z != o?
True
Let c(p) = 17*p**2 - 11*p - 2. Let z be c(1). Suppose 2*x = -0*x. Suppose -s - 2*s + 6 = x. Is z greater than or equal to s?
True
Suppose 630*c - 210 = 640*c. Which is bigger: 2 or c?
2
Suppose 44*h = 39*h + 850. Suppose 0*x - h = 5*x. Is x less than or equal to -33?
True
Let h = 8 + -6. Suppose -4*n + 5 = -2*k + 19, 4*k - h = -5*n. Let q be 1 + (-4 - (-3)/k). Which is smaller: -5 or q?
-5
Let k = -1223/18 + 68. Let s = 79/36 + k. Let f = -4 - -5. Which is bigger: s or f?
s
Suppose 5*z = 5 + 55. Let u = z + -12. Suppose u = q + 2*s + 5, -6 = 3*s. Is 3 smaller than q?
False
Let x = 2/1203 - -7184/20451. Suppose 4 = -3*n + 7. Which is smaller: n or x?
x
Suppose -7*f + 2 - 72 = 0. Do -3 and f have different values?
True
Let o(v) = -v**3 - 6*v**2 - 7*v - 2. Let q be o(-5). Let j(b) = -1 - 9 + b - 4*b + 4*b. Let x be j(q). Which is smaller: -4 or x?
-4
Let f(w) = -10*w**2 + 54*w + 10. Let t be f(7). Is -100 at most as big as t?
False
Let v be (-3)/4 + 469/268. Is -3/353 less than v?
True
Let h be (-9)/15 + 19/15. Let y(t) = -t**2 - 7*t - 3. Let q be y(-7). Let w be (-1)/q - 2/8. Is w at most h?
True
Let n be 0*2/12*3. Suppose 2*t - 5*i = -t + 12, n = -2*t - 5*i + 8. Suppose 5*s + t*l - 15 + 91 = 0, 4*l = 4. Which is greater: -15 or s?
-15
Let p = -11.27 + 2.22. Let s = 9.1 + p. Is s at most -0.1?
False
Suppose 4*w + 115 = -w + 5*v, -w - 5*v - 23 = 0. Does w = -175/8?
False
Let d be 6/20*141528/(-108). Let s = -393 - d. Which is smaller: 1 or s?
s
Let i = 629 - 401. Let c = -246.6 + i. Let f = -19 - c. Is f at least 0.3?
False
Let a be (-16 - -15 - -8*1) + -1529. Which is smaller: a or -1521?
a
Suppose -2*w + w = 78. Let b = -77 - w. Let z be 1/2 + (-33)/48. Is b at least z?
True
Suppose 841*b = 834*b - 3920. Is -561 greater than b?
False
Suppose -187*g + 191*g = -200. Let y be (g/48 + 3/(-9))*2. Do y and -2 have different values?
True
Let u(a) = -a**3 - a**2 + 4*a + 9. Let r be u(-3). Let c be r*-1*10/(-475). Let g be ((-1)/(-3))/((-2)/(-6)). Which is smaller: c or g?
c
Suppose 0 = -7*q + 27*q - 240. Let w be (-4)/2 + 8 - 2. Suppose m - 14 = -b, -m - 3*b + w = -7*b. Is q < m?
False
Suppose 4*w = -4*m + 176, 4*w - 188 = -0*m - m. Which is smaller: w or 44?
44
Suppose -4*b = -3*t - 63 + 429, 0 = -t + 3*b + 122. Which is smaller: t or 121?
121
Let l(k) = -k**3 - 5*k**2 - 3*k - 1. Let q be l(-3). Suppose 5*t + 165 = 16*t. Let a(z) = z**3 - 15*z**2 - 2*z + 18. Let o be a(t). Which is bigger: q or o?
q
Let m = -49 + 41. Let d = 1 + m. Which is greater: 4 or d?
4
Let o be (-155)/15 - (-1)/3. Which is smaller: -9 or o?
o
Let z = 0.31 - -0.71. Let l = z + -25.02. Is -2 <= l?
False
Let z(y) = 19*y**2 - 3*y. Let q be z(2). Let u = -71 + q. Is -1 at most u?
True
Let z = -10 + 9. Which is smaller: z or -0.18?
z
Let i = 6 - 4. Let x = -1.9 + i. Let r = 1605.3 - 1603.3. Which is smaller: x or r?
x
Let x be ((-12)/9)/((-1)/3). Suppose x*u = -0 + 8. Suppose 2*a = 4*a + u. Which is bigger: -2 or a?
a
Suppose 1 + 11 = h. Let q be (-3 + 3)*6/h. Is -1/17 greater than or equal to q?
False
Let d be (6/4)/(39/(-52)). Let s = d - 1. Let v = -7379/2268 + 2/567. Which is greater: v or s?
s
Let v = -5 + 3. Let h = 43 + -51. Let w be 1/(h/54) + 4. Is w at most v?
True
Suppose 147*d - 10 = 137*d. Is -2/1373 at least d?
False
Suppose 4*a - 5*x - 369 = 3998, 0 = 2*a - 3*x - 2185. Do 1086 and a have different values?
True
Suppose 633 = -19*z - 526. Is z less than or equal to -58?
True
Let f = -16611 + 83056/5. Suppose -4*o = 4*k + o + 80, -k - 4*o - 31 = 0. Which is smaller: f or k?
k
Let h be 5 - (-78)/42*-1. Is 3 smaller than h?
True
Let v = 55 + -33. Let f = -16 + v. Let l be f/8 - 4/(-16). Which is smaller: l or 3/5?
3/5
Let s = -75.3 - -79. Let y = s - 3.8. Is -3/4 at least y?
False
Let j = 3.99 - -3.01. Suppose -4*d - 9 = -25. Let x be d/(-10) - 2/(-5). Is j smaller than x?
False
Suppose 0 = 3*x - 9 - 6. Let n = 7 + x. Let s = -25/2 + n. Is s smaller than -1?
False
Suppose 61*s - 45764 + 13800 = 0. Which is bigger: s or 525?
525
Let b = -0.58 - 12.42. Let u = b + 13.17. Is -0.1 > u?
False
Let k be 512/448 - (-1)/((-7)/1). Is k > -60/131?
True
Let p = -7960 + 2738243/344. Let g be 27/(-5418)*7547/(-12). Let j = p + g. Is 4 less than j?
False
Suppose 2 = -l + m, 4*m - 5 = l + 3. Suppose 2*q + b = -0*b + 29, q + 4*b - 4 = l. Which is bigger: 17 or q?
17
Let f be -3 - (-2 + 22/(-24)). Let i = 2.07 - 0.07. Is f <= i?
True
Let u = 2822/1885 - -6/145. Is u <= 1?
False
Let g(f) = -7*f + 2*f + 6 + 2*f - 2*f - f**2. Let n be g(2). Which is smaller: -2/3 or n?
n
Suppose -3*x = s - 1, -6*s + 4 = -4*x - 2*s. Suppose x = 3*r - 11 - 13. Let p be 20/(-6) - r/12. Is p > -4?
False
Let r = -19 - -8. Let w = r - -5. Let p = 2.2 - 2. Which is bigger: w or p?
p
Let y = -12424 + 3192964/257. Is 0 equal to y?
False
Let h = 685 - 684.8. Which is smaller: 1/76 or h?
1/76
Suppose -4*s + 3*r = 255, 3*s + 193 = -5*r - 20. Let z be (-12)/(-24)*(-2)/(-1) + s. Is z bigger than -64?
False
Let f(g) = g**2 - 42*g - 185. Let j be f(46). Which is bigger: j or -39/49?
-39/49
Let u = 119 - 80. Suppose 5*y + 2*p = -53, 3*y + 0*p = -3*p - u. Suppose 12*r = 8*r - 36. Is r greater than or equal to y?
True
Let m = -1.897 + 1.897. Which is greater: m or 27.5?
27.5
Let p be ((-8)/(-6))/((-24)/576). Is p smaller than -37?
False
Let t = -4 - -28. Let x = -300 + 324. Do x and t have different values?
False
Let v be (-4 - (-14)/3)/(2/(-9)). Are v and -35/13 nonequal?
True
Let x = 1940 - 1925. Suppose -2*u + 3*u = 13. Is x smaller than u?
False
Let d = 7 + 3. Let i(h) = h**2 + 8*h + 4. Let t be i(-8). Let s = d - t. Do 6 and s have different values?
False
Suppose 0 = -2*x + 5*g - 20, -4 = -5*x - 0*g - g. Suppose -7*p - 192 = -3*p. Let d = -46 - p. Is x > d?
False
Let d(r) = r + 2. Let f be d(2). Let o be f/(-16)*0 - 4. Let h be ((-2)/(-3))/(o/(-6)). Are -1/3 and h equal?
False
Suppose -16 = -60*q + 44*q. Is q equal to -3/398?
False
Let a = -38 - -40. Suppose -4*s - s = -a*d + 128, 5*d + 5 = 0. Which is greater: -28 or s?
s
Let b = 2097 - 2077. Is b equal to 20?
True
Let t = -18.5 - -19. Is 6 bigger than t?
True
Let m = 22.3 + -36.3. Which is smaller: 0 or m?
m
Let a(f) = -5*f + 21. Let u(x) = 11*x - 43. Let y(t) = -9*a(t) - 4*u(t). Let z be y(7). Is z at least as big as -2/3?
False
Let h = 33 + -3. Which is bigger: 2/3 or h?
h
Let u = 1.064 + -0.164. Let x = -2/13 - -32/39. Does x = u?
False
Let u(s) = s**3 - 4. Let h be u(0). Let i be 0/(-2 + 6) - h. Suppose -3*x + 6 = 0, 5*v - 2 = i*v - x. Is 3/14 at most as big as v?
False
Let f(d) = -d**2 - 7*d - 2. Let x(n) = -2*n**2 - 14*n - 3. Let u(g) = -9*f(g) + 4*x(g). Let o be u(-6). Let c = 1768/77 - 162/7. Which is smaller: o or c?
c
Suppose 0 = 19*c - 16*c + 111. Let f = 38 + c. Which is smaller: 11/2 or f?
f
Let m(b) = -b**3 - 2*b**2 + b + 8. Let c be m(-4). Let q be 2/12 + 38/(-12) + 38. Is c at most q?
False
Suppose 0 = 4*t - 2*a - 24, -43 = -5*t - 2*a - 4. Suppose 3*g = -2*k + 22, 5*g + 0*g = 4*k. Suppose -40 = -4*x - s + 6*s, -k*s = 0. Is x != t?
True
Let d = 35 + -20. Let s be (-6)/(-4)*40/d. Suppose -2*z = -5*n - 24, 2*z - s*z = -4*n - 22. Is z equal to 8?
False
Let a = -308 + 214. Which is smaller: -2 or a?
a
Suppose 3*b + 48 = -18. Let t = b + 21. Which is bigger: -1/16 or t?
-1/16
Let j be (-33)/(-6) - 2/4. Do j and 0 have the same value?
F