*v + 9 = 4*v + 3*o, v + 3*o - 9 = 0. Let m be ((-22)/(-9) - 2 - 0)/((-60946)/(-2949)). Is m at least v?
True
Let z = -23/77 - -1/77. Suppose -8*x = 2 + 38. Are x and z equal?
False
Suppose 26 = 12*l + 14. Let p be (-69)/(-114) - 2/4. Is l less than p?
False
Let z(a) = -a**3 + 8*a**2 - 8*a + 11. Let j be (7/3)/(3/9). Let h be z(j). Is 5 at most h?
False
Let j = 452 + -420.02. Let i = j + -32. Let w = 15/26 + -1/13. Is w less than i?
False
Suppose y - 2*m - 4 = 0, 2*m + 2 = 5*y - 2. Which is greater: 1/99 or y?
1/99
Suppose 2*v - 13 + 1 = 2*p, 4*v = -4*p + 32. Is v >= 4?
True
Let x be (1*5)/((-68)/(-68)). Is x > -20?
True
Let t = -841 + 815. Which is smaller: -17 or t?
t
Let w = 0.0688 - -6.7912. Let v = 0.14 + w. Let m = v + -7. Which is greater: -0.2 or m?
m
Let q = -30 + 57. Suppose -3*k = 2*x + q, 0*x - 4*x = -2*k + 14. Is x at most 0?
True
Suppose 500 = 3*t + 1319. Let u be (-18)/t*(13 + -6). Which is smaller: u or -1?
-1
Let o = -28/5 + 664/115. Let f = -307/46 + o. Which is smaller: -8 or f?
-8
Let j be ((-1)/(-2) + 0)/(18/(-36)). Let m(a) = -17*a**3 - 2*a**2 - 2*a. Let i be m(j). Which is smaller: 16 or i?
16
Suppose -30*p - 2*a + 10 = -27*p, 3*a - 15 = 4*p. Does p = 13/29?
False
Let f be (16/40 + (-2)/5)/2. Is f < -1/642?
False
Let t = 329 - 334. Is -4.7 >= t?
True
Let i(r) = 7*r + 16. Let k be i(-2). Suppose -3*t + 1 = y - 3*y, -t - k*y = 5. Which is bigger: t or 3/77?
3/77
Suppose -75*m + 4360 = -67*m. Which is smaller: 544 or m?
544
Suppose 2 + 2 = 2*w. Suppose -2*h - w*h + 4 = 0. Let j be 1 + 0 + h + -1. Which is smaller: 3 or j?
j
Let b(u) = u**2 + 2*u - 4. Let v be b(-6). Suppose -3*x - m = -16, 5*x = 3*m + 2*m + v. Let z be ((-1)/x)/(12/(-20)). Is -9 <= z?
True
Let o = 371 + -353. Is o > 15?
True
Let w(c) = 0*c**3 - 3*c**2 - c - c - 4 + c**3. Let a be w(4). Suppose 5*b - y + 3 = 0, 3*b - a*b + y = 3. Which is bigger: b or 0.1?
0.1
Let t be -1*4/12*-18. Suppose -l - l + t = 0. Suppose -r - 4*j - l = 0, r + j = -0*j. Which is smaller: -1 or r?
-1
Let n = 23 + -18. Suppose -6 = 2*d + 4, -2*t + 41 = -5*d. Is n greater than t?
False
Let d = -39.6 + -0.4. Let r = 40.2 + d. Which is smaller: -31 or r?
-31
Suppose 3*t + 54 = -3*a, -7 - 1 = a - 4*t. Suppose -3*b - 62 = -14. Are a and b equal?
True
Let p be 2/5 + 12/(-30). Let u = -36 - -36. Is u > p?
False
Let j = -46.4 + 9.2. Let m = 37 + j. Which is smaller: -5/3 or m?
-5/3
Let j = -0.405 - -0.405. Is j at least -2/9?
True
Let q(f) = f**2 - 3*f - 2. Let n be q(4). Suppose 45 = 4*o + 1. Let s be (3/n)/(o/2). Are s and -1 nonequal?
True
Let b = 2.104 + -2.204. Is 51.1 >= b?
True
Let x be 2 - ((-3 - 0) + (-3 - -8)). Suppose -7*p - 2*p - 9 = x. Is -1 equal to p?
True
Let q be (1/2)/(9/144). Suppose q*f + 14 = -42. Which is smaller: -4 or f?
f
Let x = 393 - 394. Which is bigger: 113 or x?
113
Suppose -4*y = -3 - 1. Suppose 6 = z + 2. Let x be ((-2)/z)/(35/(-30)). Is x >= y?
False
Let f(x) = -11*x**3 + x**2 - 5*x + 8. Let d(h) = 5*h**3 + 2*h - 4. Let m(i) = 13*d(i) + 6*f(i). Suppose 2*b = 11 - 1. Let c be m(b). Are -2/25 and c nonequal?
True
Let i(t) be the third derivative of 7*t**4/24 - 23*t**3/3 + 23*t**2. Let w be i(17). Which is bigger: w or 72?
w
Suppose 0 = 5*t - a - 1, 10*t - 8*t + 2*a - 10 = 0. Which is bigger: t or 28?
28
Let i be 5 + (2/3)/((-19)/171). Is i at most -17/7?
False
Let f = 22.1 + -23. Let n = f - 6.1. Let s = 7 + n. Is s at most -3?
False
Suppose -5*n = -3*j - 155, n + 5*j + 4 - 35 = 0. Does 92/3 = n?
False
Let n be 0/(((-1)/(-1))/(5/(-5))). Suppose -2*w - 2*w - 4*k = n, 0 = -5*k - 5. Let q(c) = -c**2 - c - 13. Let g be q(0). Is g greater than or equal to w?
False
Let v be ((-154)/(-3) + 4)/(1/3). Suppose 22 = 3*n + 7, 3*y = -2*n + v. Is 52 less than or equal to y?
True
Let d(i) = -3*i**3 - 2*i**2 + i. Let u be d(1). Let x be (u - -1)*8/(-6). Suppose p + 1 = 3*o, x*p - p = -4*o + 10. Is 2 smaller than p?
False
Let z = 704 - 639. Which is bigger: 66 or z?
66
Let t be -1269 - (-1)/2*4. Let k be 2/(-10) + t/(-35). Let z be (-8)/k - (-47)/9. Which is smaller: z or 3?
3
Let v(n) = 3*n**2 + 3*n + 5. Let h(t) = -t**2 - t - 2. Let s(w) = -5*h(w) - 2*v(w). Let g be 0/1 - (1 + -1). Let f be s(g). Is f > 2/21?
False
Let z = 3 + -2. Suppose 47 = -2*y - 3*r, 2*y - 4*r = -27 - 41. Which is greater: z or y?
z
Let d = 8163 - 171467/21. Which is smaller: d or -2?
d
Let v = -80 - -91.2. Let r = -1.2 + v. Let i = r + -10. Which is smaller: i or -4?
-4
Let l(y) = -y**3 + 9*y**2 + 18*y + 14. Let o be l(9). Which is smaller: o or 175?
175
Let p be (-10 + -24)*2/(-2). Suppose -2*s + 5*u - 1 + 9 = 0, -s - 5*u = -p. Which is smaller: 16 or s?
s
Let l be ((-4)/(-3))/((-10)/(-15)). Suppose -2*a - l = o, 0*a - 5*o = -4*a - 4. Do -7/5 and a have the same value?
False
Suppose 17*t + 13*t = 4*t. Is t at most -2/387?
False
Let k(y) be the first derivative of 13*y**3/3 + 3*y**2/2 + y + 16. Let d be k(-1). Which is smaller: 2 or d?
2
Let q(x) = -6*x. Let i be q(-3). Let g = -28 + i. Is g at least -11?
True
Suppose 0 = -4*f + 3*p + 4 - 3, 17 = -2*f + 5*p. Suppose -z + 0*z - f*n + 6 = 0, 5*n + 17 = -3*z. Suppose -x + 1 = 16. Which is greater: x or z?
z
Let j = -0.24 + 0.07. Let q = 0.15 + -0.15. Let v = j + q. Which is bigger: 2/7 or v?
2/7
Let c = 325 + -325.6. Which is bigger: 2/27 or c?
2/27
Suppose -9*v = -8*v. Suppose 10 + v = -2*n, 21 = 4*i + 3*n. Suppose 5*t + i = -3*k, 0 = 5*k + 3*t + 2 - 3. Which is smaller: 3 or k?
k
Let o be 24/(-30) - (-9)/5. Let w be 1*o*(1 + -2). Let s be (-236)/(-58) - (11 - 7). Are w and s non-equal?
True
Let j(n) = -n - 6. Let r be j(6). Let g = r - -13. Are g and -2/47 unequal?
True
Let a = -29.16 - -29. Let h = a + -0.84. Which is bigger: -3 or h?
h
Let k = 17.0422 - 0.0422. Let c = 13 - 14. Which is greater: k or c?
k
Let h(f) = -f**2 - 3*f + 4. Let q be h(-3). Suppose 6 = q*p + 2. Is -3/19 < p?
True
Let x be (0 - 1) + 1 + 6. Suppose -4*s = -352 + 376, -z = 5*s + 25. Does z = x?
False
Let y = 157439/2373 + -10/791. Which is smaller: y or 66?
66
Suppose -n + 7 = -x, 3*n - 11 = 5*x + 16. Suppose 4*v - 6*h + 2*h - 4 = 0, 0 = -3*v + h + 13. Suppose -8*u + v*u = n. Which is smaller: -0.1 or u?
u
Let r = -10.79 - 0.21. Let k = r - -11. Which is smaller: k or -2?
-2
Let p = -25 - -24.01. Let n = 0.03 + p. Is n at least -0.1?
False
Let o = 148 - 445/3. Suppose 12 = k + 3*k. Which is smaller: o or k?
o
Suppose -3*c + 10 = -2. Suppose -3*i - c = -13. Let n be -2*(i - (-94)/(-31)). Is 1 not equal to n?
True
Suppose -3*d = -12, 2*w + 3*d - 12 = 4*w. Let t(p) = -p**3 + 4*p**2 - 2*p + 6. Let l be t(4). Let f be (0*(-2)/6)/l. Is w < f?
False
Suppose 3*w = q - 8 + 3, 2*w + 15 = 3*q. Is w at least 7/25?
False
Let n = 1372 - 1294. Which is bigger: 77 or n?
n
Let v be 4/7 + (-279)/868. Does -159 = v?
False
Let a = 421.1 - 421. Which is bigger: a or 5/97?
a
Let d = -14 - -9. Let j be (-1)/d - (-27)/(-60). Let w = -0.1 + 0.1. Is w equal to j?
False
Let r be 4*((-165)/82 - -2). Let v = 0.63 - 0.49. Let g = v - -0.86. Is r at least g?
False
Let n be (-21)/(-3) - (2 - 0). Suppose 314 = -n*a - 466. Let s be (-6)/(-27) + a/(-27). Which is smaller: s or 2?
2
Let k be 1/(-4)*((-1515)/215 + 7). Let i be (3 - 3)/(35/(-7)). Which is smaller: i or k?
i
Let k = -1937.35 + 1938. Which is smaller: k or 5?
k
Let n = -515 + 515. Is -1/4 less than or equal to n?
True
Let z = -32424/5 - -13715354/2115. Which is smaller: 0 or z?
0
Let w = -6 + -2. Let a = 4 + w. Which is bigger: 1/3 or a?
1/3
Let m be 8/6 + (-3)/3. Let y be 783/2710*(-22)/(-33). Let c = y - -2/271. Which is greater: m or c?
m
Let n be 1 + (-2 + -22)/(-2). Let g(o) = -o**2 + 2*o - 48. Let u be g(0). Let s = 61 + u. Do n and s have the same value?
True
Suppose -10*m = -150 - 60. Is m equal to 19?
False
Suppose -3*m - 3 = -2*p - 0, -10 = -4*p + 2*m. Suppose 20 = p*r + r. Suppose l - t + 5 = 0, -4 + 27 = -r*l + 3*t. Is l less than or equal to -4?
True
Let p(k) = k**3 - 7*k**2 - 6*k + 5. Let c be p(6). Let n = 41 + c. Let q = n + 14. Is q smaller than -11?
True
Suppose -5*f = -6*f - 16. Let d = f - -4. Let l be d/(-12)*1/1. Is 11 smaller than l?
False
Let h be 3 - (4/(-4))/(621/(-1671)). Let n = -2/9 + h. Suppose 0 = -4*f + 3*f + 1. Is f less than n?
False
Let d = 16/3909 - -1692437/39090. Which is greater: 44 or d?
44
Suppose -3*y = -2*b -