ppose -4*v + 4 = -4*m, m = -0*m + 3*v - 11. Suppose -5*p = m*z - 37, -4*z + 27 + 5 = 4*p. Let f be -6 + 5 - z/(-12). Which is smaller: f or -2?
-2
Let w be 0*11/(-66) + ((-104)/(-194))/4. Is 0 at least as big as w?
False
Let a(v) = -49*v**3 + 5*v**2 + 26*v + 121. Let g be a(-4). Which is smaller: g or 9698/3?
9698/3
Suppose 5*n + 15 - 5 = -5*p, -4*n = -5*p + 17. Suppose -3*t - 4*a - 652 = 173, 1100 = -4*t + 2*a. Let x = -6326/23 - t. Do x and p have the same value?
False
Let v be (416/65)/((-8)/20). Which is bigger: v or -290?
v
Let o = -10660978/27155 - 15/5431. Which is greater: o or -392?
-392
Let j = 121 + -78. Let v = 40 - j. Let w = -5.86 + -0.14. Is v equal to w?
False
Let z(q) = -6*q + 66. Let p be z(10). Let v be 8*(-9)/p*4/12. Let m = 7 + -11. Is m bigger than v?
False
Let j = 96.23 - 96. Let o = -0.13 + j. Which is smaller: o or -29/2?
-29/2
Suppose 5 = -2*f - 3*f - 5*n, -f + 19 = 5*n. Suppose 0 = -5*s + 44 + 21. Let j = s - 20. Which is bigger: f or j?
f
Let k = -1441/342 + 63/38. Suppose 5*i - 16*x = -11*x, -15 = 5*x. Is k at most i?
False
Let h be 3/6*(-12)/(-14). Let n = -60 + 62.17. Let s = n - 2.37. Which is smaller: s or h?
s
Let f(b) = b**3 + 4*b**2 - 4. Let o be 3/(-2)*(-2 + (-4)/(-6)). Let z be f(o). Let g = z - 13. Is -4 >= g?
False
Let x = -263 - -263. Suppose x = 2*l + 4*d - 48, 3*l - 6*l + d = -65. Which is bigger: 20 or l?
l
Suppose -400 = -0*y + 4*y. Let t(v) = -28*v**2 + 41*v - 30. Let w be t(-1). Which is smaller: w or y?
y
Suppose -4*a + 2*j = -0 + 4, 0 = 5*a - 5*j + 10. Let w be (-36)/54 - 8/(-138). Does w = a?
False
Let g = 150001/3457543 - 4/9907. Is g less than 0?
False
Let x(m) = m - 158 + 180 - 4*m + 2*m. Let r be x(13). Let y be (-6)/(-14) + (-1 - r/(-28)). Do y and 14 have the same value?
False
Let i(r) = r**3 + r**2 - 6*r - 10. Let b be i(-4). Let y(m) = 7*m + 2. Suppose -l - 14 = -9. Let o be y(l). Which is greater: b or o?
o
Let l = 404 + -632. Suppose 225 = -u - 4*t, 5*t - 692 = -0*u + 3*u. Does u = l?
False
Suppose 4*n + 7*n - 55 = 0. Let i(k) = k - 1. Let q be i(n). Suppose -61 = -2*v - y, y + 84 = 3*v + q*y. Is v greater than or equal to 33?
True
Let s = -387.72 - -387.8. Is -372/25 not equal to s?
True
Let b(c) = -3*c**3 + 2*c. Let h be b(0). Let d be (0 + 3/(-6))*(-39 + h). Which is smaller: d or 20?
d
Let j = -1.6 - -2.3. Let q = j + -3.7. Let k = 31.9 - 28.9. Is q smaller than k?
True
Let w = -5 + 7. Let j be 72*(1 - 4)/6. Let a be (-6)/j - 6 - -8. Which is bigger: a or w?
a
Let o = 511 + -511.0543. Let v = o - 0.3457. Which is greater: -15 or v?
v
Let f = 7323103/13 + -566765. Let r = f + 3451. Is 1 less than r?
True
Suppose -4*j - 306*t + 301*t = -47, -4*j + t + 29 = 0. Is j not equal to 64/9?
True
Let q = 160 - 151. Let t be (-24)/q*(-9)/(-6). Which is smaller: -2 or t?
t
Let d(u) = 28*u + 46. Let c be d(-2). Suppose -p - p = -2*h - 8, -2*h + 17 = 3*p. Let l be 4 - p - (-19)/(-2). Which is smaller: l or c?
l
Let c be (9 - -1225) + (-8)/(-1). Let v be c/(-420)*-2 + -6. Which is smaller: 1 or v?
v
Let s(d) = 79*d + 2687. Let c be s(-34). Which is smaller: 1/2483 or c?
1/2483
Suppose -4*l = -1 - 11. Let k = l + 39. Let r = 0.422 - 0.322. Which is greater: k or r?
k
Let m(g) = 9 + 0*g**2 - 17*g - 5 + 5*g - 2*g**2 + 8. Let r be m(7). Which is bigger: -168 or r?
-168
Suppose 5*k + 1 = -5*t + 36, t = -5*k - 1. Let l(v) = 2*v**2 - 28*v + 143. Let b be l(t). Is b greater than 54?
False
Suppose 714 - 1290 = -4*v. Let n be (96/v)/(-5*4/6). Which is smaller: 34 or n?
n
Let l = -253.8 + 251.9. Is -3/38 >= l?
True
Suppose 5*q + 117 = r, 244*r = 241*r + 21. Which is bigger: -0.047 or q?
-0.047
Let i be 25/(-3) - 1/(-3). Let k(d) = -d**3 + 96*d**2 - 2266*d - 158. Let l be k(54). Which is bigger: l or i?
i
Suppose 3*w = 8*w. Let n be (w - 1)*(-1 + 2). Let o = 5900 + -112095/19. Which is bigger: o or n?
o
Suppose -180 = -2*l - 4*l. Suppose -2*j = 3*j - l. Let h = 40 + -35. Is j greater than or equal to h?
True
Let u = 43 - 13. Suppose 2*q = 7*q + u. Let v(t) = -t**3 + t - 7. Let b be v(0). Do b and q have different values?
True
Let l = -258 - -363. Let x = l + -109. Is -11 <= x?
True
Let j(q) = 8*q - 7. Let b(o) = 16*o - 15. Let c(y) = -6*b(y) + 13*j(y). Let p be c(-1). Let w be 30/135 + 110/p. Which is smaller: -13 or w?
-13
Suppose 294520 = 126*f + 170*f. Is 1010 not equal to f?
True
Suppose 7*v + 39 = 3*a + 3*v, 5*a + 5*v - 30 = 0. Suppose 2*k - k + 5*n = a, 2*k + 26 = n. Let q be ((-38)/(-12))/(2/(-6)). Is k at most as big as q?
True
Let h = -44.79 - -45. Let c = -31.79 - h. Let p = 3 - 8/3. Is c at least p?
False
Let x = 93 + -47. Let k = -26939 + 26983. Is k less than or equal to x?
True
Suppose 5*q = 5*k + 7465, 4*q + 4 + 8 = 0. Let b = 294713/197 + k. Which is smaller: -1 or b?
-1
Let v(c) = -2*c**3 - 48*c**2 + 1266*c - 4. Let d be v(16). Is -240 at most d?
True
Let n be (-216)/280080*(-15)/(-39). Does n = 1?
False
Let g(m) = -m**3 - 20*m**2 + 23*m + 42. Suppose 43*j + 410 = -493. Let s be g(j). Is s greater than -1/583?
True
Let q = 17163.521 - 17136. Let z = q + 0.079. Which is bigger: 0 or z?
z
Let j be 2/(-5) + ((-138730)/1050 - 5). Let h = j - -428/3. Which is greater: 4 or h?
h
Let i = 302 + -238.6. Let c = 4.4 - i. Which is greater: 0.2 or c?
0.2
Suppose -x = -3*y + 253, 18*x - 737 = 21*x + 2*y. Is x less than -236?
True
Suppose 10*a + 19*a - 4*a = -27*a + 520. Suppose -2*d + 3*l + 8 = -10, -d = -2*l - 10. Is a equal to d?
False
Suppose 4*y + q = 328, -y + 5*q - 63 = -2*y. Let x be (5405/(-100) + 5)/(45/(-75)). Is y smaller than x?
False
Let v(p) = 106*p - 5. Let r be v(3). Let i = -3133/10 + r. Let j be (2/6)/(2/6). Is j != i?
True
Let r = 52 - 11. Suppose -3*y = r + 7. Let h = 3555 + -3572. Which is bigger: y or h?
y
Let v = -49 - -54. Suppose 0 = -3*k, 7*w + 2*k = v*w - 326. Which is greater: w or -164?
w
Let g = 74 + 55. Let m = 57 - g. Let b = m + 60. Which is smaller: b or -14?
-14
Suppose 5*f - 4*q + 8*q + 16 = 0, -5*q = -3*f + 20. Let k = -95/52 + 14/13. Which is smaller: f or k?
k
Let n be (-6 + 5)/(5/(-175)). Let w be (-32)/n + (-11 - (-652)/60). Which is smaller: -1 or w?
w
Let y be 12 + (12510/(-1044))/1. Suppose 0 = -3*g + 3 - 0. Is y bigger than g?
False
Let v(x) = x**3 - 16*x**2 - 19*x + 32. Let o be v(17). Let g be ((-2)/(-1784))/((-1)/(-2)). Let b = -6231/5798 - g. Is o > b?
False
Let n(j) = j**3 + 4*j**2 + j - 3. Let d be n(-2). Let h be d/(-4) - (-3)/4. Let c = 7 + -5. Is c equal to h?
False
Let k(o) = -2*o**3 - 4*o**2 - 5*o - 2. Let l be k(-2). Let c be (-8)/(-3)*(-12)/(-8). Suppose c*s = l, w - 30 = -w - s. Is 13 at least w?
False
Let p be 214*(1/2)/1. Suppose -3*k + 12 = 0, 3*k - 52 = s - 146. Is p greater than or equal to s?
True
Let x = -8500 - -3434. Is x <= -5066?
True
Let h = -5872 + 9744. Which is greater: 1 or h?
h
Let i be ((-132)/(-88))/(2/(-12)) - 106. Which is greater: -118 or i?
i
Suppose -2*a - 10 = 0, -5*a - 147 + 37 = -z. Suppose 0 = -z*h + 94*h + 2862. Is h > -319?
True
Suppose -5*d + 10 = -2*m, 13 = -3*d + 1001*m - 996*m. Is d >= 93/32?
True
Let s(c) = 5*c**2 + 2*c + 20. Let f be s(-4). Suppose 2*y + 96 - f = 0. Which is smaller: y or 98?
y
Let h = 43 + -15. Let d(b) = -b - 22*b**2 + h*b**2 + 0 + 0. Let p be d(-1). Which is greater: 6 or p?
p
Suppose 5*m = 10*m + 2955. Suppose 0 = -237*p - 184409 + 44579. Are m and p nonequal?
True
Suppose c + 3*r + 3 = 0, r - 3*r = -2*c + 10. Suppose -c*p - 5 = 2*u - 1, -u = p + 1. Let s be -3 + ((-1)/p)/((-21)/(-168)). Which is greater: -28 or s?
s
Let c = 55.7 - -329.3. Let b = c - 447. Is b at most as big as -3/5?
True
Suppose -4*f + 8 = 2*a, 0 = -5*a + 4*f - 17 - 33. Let o(w) = -2*w**2 + 5. Let k be o(0). Let h be (46 + 1)/(1*(k + a)). Is -47 >= h?
True
Let o = 38083 - 38083. Let u = -19.8 - 59.2. Is o < u?
False
Let q = -10 - 5. Let v be 1941/q + 4/10. Let z(h) = -11*h**2 - 72*h. Let y be z(-8). Which is smaller: y or v?
v
Let p = 1897 + -1840. Is 0.1 != p?
True
Let w = 1785 + -1738. Is -1/7 > w?
False
Let a = 11.8 - 11.845. Let h = 0.255 - a. Which is bigger: h or 5?
5
Let j = 50 + -86. Let v(p) = -2*p**2 - 79*p + 35. Let z be v(j). Is 288 at least as big as z?
True
Let s be 5/(4/8*2). Suppose k = -r - 4, 0 = k - 2 + s. Suppose 4*b - 2 + 4 = -2*o, 21 = -2*b + 3*o. Do b and r have the same value?
False
Suppose 28