 2 = x. Which is bigger: p or 0?
0
Let t(i) = i**3 + 6*i - 7. Let k(o) = 3*o**3 + 2*o**2 + 18*o - 20. Let z(w) = 2*k(w) - 7*t(w). Let f be z(3). Which is greater: f or 3/37?
3/37
Let g = 104 + -56. Let o(z) = 226*z + 2308. Let d be o(-10). Is g at most d?
True
Let j = -1 + 1.06. Let d = -24 - -23. Which is greater: j or d?
j
Let z(v) = v**3 + 3*v**2 + 5*v + 6. Let l be z(-3). Let k be (-10 - l)/(2 + 19/(-16)). Which is bigger: k or -2?
k
Let l be (-14)/(-4)*(0 - -2). Suppose -n = l - 3. Is n less than -6?
False
Let c = 473 + -482. Which is greater: c or 0.9?
0.9
Suppose 5*i - 3 = -t, -3*i + 6*i + 12 = 4*t. Is t at most -1/9?
False
Let l be ((-32)/(-80))/((-4)/10). Which is bigger: -1/148 or l?
-1/148
Suppose 2*x - h = -x + 1, x - 3*h = -13. Suppose -r + x*r = 0. Let j be 5 + 309/(-60) + (-6)/10. Which is smaller: r or j?
j
Let o(b) = -b**3 - 6*b**2 + 14*b + 9. Let p be o(-8). Is 26 > p?
True
Let d = -1/91 + 323/12831. Let f be 1*(-1)/(-2)*(-2 - -2). Which is smaller: d or f?
f
Let g = 208/35 - 3972/665. Which is smaller: g or 0?
g
Suppose 751 + 315 = 82*o. Is -6 >= o?
False
Let t(h) = h**3 + 8*h**2 - 35*h - 36. Let l be t(-11). Let f = 29/60 + -1/12. Which is greater: l or f?
f
Suppose -3*a = -75*k + 72*k - 3, -a - 5 = k. Which is greater: a or 210?
210
Suppose 50 = 5*j + 5*r, -3*j + 0*r - 10 = -5*r. Suppose 12*u - 31 = j. Which is smaller: u or -8?
-8
Let z = 11.5 - -0.5. Let a = -11.98 + z. Which is smaller: 0.1 or a?
a
Let j = -9469/203 + 327/7. Which is bigger: j or -1?
j
Let q = -41 + 2. Let i = q + 53. Suppose -4*u - 4*s = -48, 4*u - 4*s + 2*s - 54 = 0. Is u != i?
True
Let n be 0*((-141)/(-36) + -4). Let s = -390 + 29249/75. Which is smaller: s or n?
s
Suppose -v + 67 = -3*r - 2*r, -3*r = 3*v - 291. Let n = v - 96. Let i(o) = o**2 + 6*o - 2. Let l be i(-6). Which is bigger: n or l?
l
Let f(l) = l + 11. Let k be f(-11). Suppose 0 = w + 12 - k. Which is smaller: -13 or w?
-13
Let v = -48 - 43. Which is greater: -93 or v?
v
Let w = -2740 + 4239. Is w less than or equal to 1499?
True
Let d = 369 + -218. Let n be d/(-235) + 9/15. Is n <= -1?
False
Let z be 4/(-35)*15/(-6). Suppose 3*h = -q + 8*h + 4, 3*h + 60 = -3*q. Let u be q/(-104) + (-30)/26. Which is smaller: z or u?
u
Let j be (-7 + 5)*(-37)/2. Is 34 greater than or equal to j?
False
Suppose -64*t = -65*t + 37. Which is smaller: t or 44?
t
Let v be -6*(-1)/(4/6). Suppose 3*z - 15 = 3*j, -2*z - j = -4*j - v. Let k be z/((8/(-6))/2). Which is greater: k or 1?
1
Suppose 20 = o - 5*q, 3*o - 6*q + q = 20. Let c(a) = 2 - 16*a - 3*a**2 - 7*a**2 - 5*a**2 + 12*a**2. Let w be c(-5). Which is bigger: o or w?
w
Let m = -22 - -21. Let q be 5*4/((-220)/(-3)). Which is smaller: q or m?
m
Let s be 54/(-10) - (-4)/10. Let o be s/(-20) - 18/8. Is -2 equal to o?
True
Suppose 0 = -5*n - 3*i - i + 1812, -10 = 5*i. Let g = n + -4736/13. Which is smaller: -1 or g?
-1
Suppose 11*m = -47 + 1191. Which is bigger: 105 or m?
105
Let p(o) = o**3 - 17*o**2 + 17*o - 17. Suppose 9*z + 24 = 168. Let t be p(z). Which is greater: -8/21 or t?
-8/21
Let m(r) be the third derivative of r**4/12 + 3*r**3 + 15*r**2. Let f be m(-9). Are 3/10 and f non-equal?
True
Suppose 5*t + 90 = -0*y - y, 4*t = 2*y - 72. Let g be (28/2)/((-14)/21). Let m = g - t. Are m and -3 equal?
True
Suppose -3*h + 21 = -0*h. Let i(f) = -h - 20 + 8 - f. Let g be i(-12). Is g bigger than -7?
False
Let w = 1795/7 + -257. Let d(l) = -l**3 + 3*l**2 + 6*l - 2. Let q be d(4). Suppose 2*j = q*j. Which is greater: j or w?
j
Let z(p) = -p - 119. Let l be z(8). Which is smaller: -129 or l?
-129
Let j be (-1416)/(-413)*(-56)/(-33). Which is smaller: j or 5?
5
Let y = 796 + -796.15. Do 12 and y have the same value?
False
Let a be (-6 - -8)*6/4. Suppose -4*u = -3*o + 3, a*u + 3*o = -15 - 3. Which is smaller: -22/7 or u?
-22/7
Let g = 203 + -7106/35. Suppose 2 - 4 = 2*r. Is g > r?
True
Let k be ((-507)/6253)/(2/3 + -1). Is 1 <= k?
False
Suppose -37 = r - 2*r + x, 3*r + 4*x = 90. Let v = r + -47. Does -14 = v?
False
Suppose 3*a = i - 2, 0 = 2*a - 3*i + 8 - 2. Is a equal to 3/200?
False
Let b be 0/(-1) - (-4)/(-32)*634. Let i = -2917/36 - b. Is i smaller than -3?
False
Let f be (1 - 4/5)*2. Let k = 138.4 - 117. Let s = -42.4 + k. Is s <= f?
True
Let q(a) = -a + 3. Suppose 2*i = -4*c - 9 - 17, 5*i + 9 = 4*c. Let x be q(c). Let h be 4*(63/(-6))/x. Which is smaller: -5 or h?
h
Suppose -17 = -5*w + 33. Suppose 0 = 6*x - x - w. Let t(m) = 3*m - 2. Let l be t(x). Is l > -0.1?
True
Let u = -1/1919 + 13497/122816. Is u less than or equal to -1?
False
Let k(t) = -t**2 - 16*t - 60. Let s be k(-6). Which is smaller: 46 or s?
s
Let y(p) = -p**2 - 6*p + 5. Let h be y(-5). Let g = -5 + h. Let d = 117 + -113. Which is greater: d or g?
g
Let x(m) = 6*m**3 + 2*m**2 + 3*m + 6. Let n = 11 - 13. Let z be x(n). Is -40 greater than or equal to z?
True
Suppose -82*w = -76*w + 6. Which is bigger: 5/11 or w?
5/11
Let v = 64 - 65. Is -1/23 at least v?
True
Suppose 2*c + 4*j - 6 = 0, -2*c + 3*j + 2 = 6*j. Let i = c - -4. Does 2/51 = i?
False
Let w be -1 + (-2)/((-36)/15). Let p(f) = -29*f + 7. Let z be p(-2). Let l = z + -65. Which is smaller: l or w?
w
Let g = 2/1159 + 1101/33611. Which is greater: 1 or g?
1
Let b = 16 - 31. Let q = 4.9 - -16.1. Let m = q - 21. Is b smaller than m?
True
Let z be 105/(-140)*8/15. Suppose 0*o - 2*o = 0. Let j be (o - 2/(-4)) + 0. Is j <= z?
False
Let q(c) = c**2 - 2*c - 5. Let n be q(4). Suppose -3*h + 4*w - 4 = -16, -w = -n*h + 12. Suppose 0 = 2*b - 10 - 0, h*z - 3*b + 43 = 0. Is -7 != z?
False
Let m = -91.45 + -0.55. Let b = 90 + m. Is 5 >= b?
True
Let w = 101 + -96. Is w bigger than 18.5?
False
Let q = -0.506 + 0.532. Is -3 > q?
False
Let j(m) = 3*m + 50. Let p be j(-17). Which is bigger: p or -10/49?
-10/49
Suppose -2*l - d = 44, -3*l - d - 77 = -11. Let p = l - -131/6. Which is bigger: 0 or p?
0
Suppose -4*i = -2*s + 16, 5*i = -s + 2*i - 7. Suppose 0 = -2*n - 3*q - 12 - 13, s*q = -2*n - 28. Let w = n - -19. Is w bigger than 3?
False
Suppose -1 + 6 = t, -3*i = 3*t - 15. Let o be (-4)/4 + (i - 0). Which is bigger: 4/21 or o?
4/21
Suppose 3*s + 83 - 65 = 0. Let r(y) = -y**3 + 5*y**2 + 7*y - 8. Let u be r(6). Are u and s equal?
False
Let z(k) = -k**2 + 5*k - 2. Let t be z(5). Let g be t/(-1) + (-5)/3. Let b = -183/1379 - 2/197. Which is smaller: g or b?
b
Let u be 1*(-26)/2 + 2. Let d(h) = h**3 - 7*h**2 - 19*h + 11. Let q be d(9). Suppose 42 = -5*c + 4*a, -a - 4*a - 30 = q*c. Is u > c?
False
Let s(a) = -a**2 + 16*a + 31. Let o be s(14). Suppose o = -13*g - 6. Is g > 2?
False
Let v = 26 - 20. Let f(l) = -2*l - 5. Let o be f(v). Is o <= -17?
True
Let o = 411/43615 + 4/671. Does -1/2 = o?
False
Let m = -2.2 - -2.04. Let a = 6.16 + m. Let z = a + -6. Is z smaller than -5/6?
False
Suppose 7 = -5*h + 2*h + 2*p, 25 = 5*p. Let a = 22 - 16. Let f = a - 16. Which is bigger: f or h?
h
Let j(o) = 3*o**2 - o - 3. Let u be j(-2). Let n = -19 + u. Let z be ((-1)/(-2))/((-1)/n). Which is smaller: -0.1 or z?
-0.1
Let j = -5217/7 + 745. Is j less than 11?
True
Let h be 18/60 + (-51)/(-2). Is h > 27?
False
Let l = 1/751 + -4519/9763. Let x(v) = -v + 2. Let p be x(-5). Suppose p*g + 5 = h + 3*g, 5*h + 3*g - 2 = 0. Are l and h equal?
False
Suppose 3*f + 3*r = -33, -f = 3*r - 7*r - 14. Let m be (f/(-4))/((-15)/80). Is m at least -3?
False
Let r = 347 + -407. Which is bigger: r or 0.9?
0.9
Let c be ((-141)/(-36) - 4)/((-27)/(-13680)). Which is bigger: -41 or c?
-41
Let p = 87.9 + -91. Let m = -3.2 - p. Are m and 22 unequal?
True
Let j = -36 - -30. Let x = j - -10. Which is bigger: x or 0.2?
x
Suppose 5*k - 2*k = -3. Let r = -11/292 + 1651/28324. Which is smaller: r or k?
k
Let h = 0.0903 + 15.9097. Which is bigger: h or 0.04?
h
Let g(q) = q - 10 + 2*q + 11 - 4*q. Let v be g(-3). Suppose -v = 5*p - 14. Is p less than 9/5?
False
Let w be -1 - -8 - (-31 + 37). Which is greater: -1/181 or w?
w
Let p = -186096 - -4839307/26. Let j = 35/13 - p. Let g = j + 28. Is g > -1?
True
Suppose -2*y + 12 + 4 = -2*b, -3*b - 3*y = 48. Let g = -16 - b. Let q be (0 - 3)/(3/g). Is q smaller than 0?
False
Let k be (1 - (-5)/25)*(-30)/2292. Which is smaller: k or 0?
k
Let d be 2*-2*22/440. Is 5/21 < d?
False
Suppose 3*z - 3*g = 2466, 0 = -2*g - 3*g - 10. Let j be 12/(-21) - z/(-945). Let l = 121/135 - j.