= 2. Let l be (-32)/(-14) - f - 0. Do l and p have the same value?
False
Suppose 6*d + d - 49 = 0. Let z(l) = l**3 - 6*l**2 - 10*l + 22. Let n be z(d). Which is smaller: -2/61 or n?
-2/61
Let n = 296 - 292. Let c be (-16)/(-30)*(-1 - -10). Is n smaller than c?
True
Let t be 35 + -1*78/(-13). Suppose g + 0*g - 40 = 0. Do t and g have different values?
True
Let h(b) = b**3 + 7*b**2 - 6. Let g be h(-6). Suppose 39 = 3*m - g. Let u = 36 - m. Is 13 at most u?
True
Let u = -3 - -8. Let f(o) = -2*o**2 + 21*o + 38. Let r be f(12). Suppose 3*s = r*l + 17, 5*l + u*s + 3 = -2. Which is greater: 0.1 or l?
0.1
Let i be (-1*1)/((-3)/(-21)). Let j be 5/i - (1 - 2). Is 3 < j?
False
Let i(c) = -c**3 - c**2 + 10*c - 13. Let y be i(2). Which is smaller: y or -14/3?
y
Let l = -1.64 - 0.36. Suppose 0 = -0*n + 5*n + 10. Is n equal to l?
True
Let x(z) be the first derivative of -z**4/4 - 2*z**3 - 3*z**2 + 4*z - 5. Let l be x(-5). Suppose -3*m + 4*j = -12, 3*m = -3*j - 0 - l. Is m < 1/3?
True
Suppose -23 = 3*x + 16. Suppose 2*w = -5*y + 38 - 3, 0 = -3*w + 2*y + 24. Let o = x + w. Which is smaller: o or -10/3?
-10/3
Let h = 32 - 28. Suppose -10*a = -h*a - 78. Suppose -q + 24 = q. Which is bigger: a or q?
a
Suppose 911 = 18*t + 425. Are 15 and t equal?
False
Suppose -82*v - 13762 = 9772. Is -287 bigger than v?
False
Suppose 2*h - 4*h + 12 = 4*i, -i + 3 = 2*h. Is h <= -22/59?
False
Let x(u) = -3*u + 4. Let a be x(-4). Let z be (-2)/a + (-875)/40. Let i be z/11*(-7)/(-2). Which is smaller: -8 or i?
-8
Let r = -17 - -23. Suppose -k + 4 = 2*t - r*t, -2*t - k - 2 = 0. Does t = -1?
True
Let q = 0 + 0. Suppose -208*j + 158*j = 2950. Which is smaller: q or j?
j
Let a(q) = -2 - 2*q - 6*q + q + 2*q. Let w be a(-1). Which is smaller: 4 or w?
w
Suppose -17*z - 3*c = -12*z + 81, -30 = 2*z + 2*c. Which is smaller: -25 or z?
-25
Let x = -1128 - -14680/13. Is 1 > x?
False
Let k = 2487 + -12322/5. Let x = -1531706909/67851615 - -1/347957. Let s = k + x. Which is bigger: s or -1?
s
Let x(z) = -2*z + 8. Suppose 0 = -3*a + p - 10 + 24, a - 3*p + 6 = 0. Let k be x(a). Is -17/4 <= k?
True
Let m be 9/(-2)*4/3. Let d be (-4)/(-6) - 56/m. Suppose -4*w + 6*w = 2*t - 4, 5*w + d = 4*t. Which is smaller: -1 or t?
-1
Suppose 0 = 11*i - 33 - 44. Is i at least -25?
True
Let s(o) = -3*o**2 + 2*o - 1. Let j(d) = 4*d**2 - 3*d + 1. Let n(h) = 5*j(h) + 7*s(h). Let z be n(0). Are z and -9/4 nonequal?
True
Let g be -62 - -59 - (237/6 - 1). Which is smaller: -0.2 or g?
g
Let j = -7 - -5. Let n be 404/21*j/32. Let h = 9/7 + n. Which is smaller: h or 0?
0
Let q = -100 + 104.9. Let h = -5 + q. Let s = -0.129 - 0.271. Which is smaller: h or s?
s
Let d(k) = 37*k**3 - 2*k**2 + k - 2. Let n(g) = 112*g**3 - 5*g**2 + 2*g - 5. Let u(v) = 11*d(v) - 4*n(v). Let q be u(1). Is -43 > q?
False
Let k(c) = 5*c**3 - 2*c**2 - 22. Let y be k(-3). Which is smaller: y or -2?
y
Let n be (-11)/(55/(-20)) - -11. Suppose -5*y + 10 = 5*i, 5*i - n = -2*y - 5. Is y != 1/150?
True
Let u(j) = -4*j - 18. Let a = -12 - -4. Let c be u(a). Suppose 3*i - 3*l - 30 = 0, -5*i + 5*l = -i - 37. Which is smaller: i or c?
i
Let f = 0.8 + -14.8. Let w = f - 9. Let j = 23 + w. Which is smaller: -4 or j?
-4
Let x = -639 - -3198/5. Are x and 18 non-equal?
True
Suppose 425 = 12*s - 29*s. Do s and -39 have different values?
True
Suppose 234*v - 228*v + 156 = 0. Which is smaller: v or -33?
-33
Let l = -269 + 260. Is l less than or equal to 1.9?
True
Suppose 0 = m + 3*m - 20. Let y(q) = -q**3 - q + m*q + 5*q**2 - 3*q - 2*q**2. Let h be y(3). Is h equal to 2?
False
Suppose 2*r - 2*m + 2 = 0, 5*r - 2 = r - 2*m. Suppose 0 = -3*h - n + 86, r = 3*h - 0*n - 3*n - 78. Which is smaller: h or 0?
0
Let o = -1019 + 847. Are -177 and o equal?
False
Suppose 0 = -4*j - 20*d + 24*d - 8, 3*d - 26 = -2*j. Let b = -0.5 - -0.2. Let r = b - -0.4. Which is greater: r or j?
j
Let j = 42 - 10. Suppose 2*l + j = -2*l. Let q = l + 11. Which is greater: 6 or q?
6
Let i be (-2)/12*-3*-726. Which is bigger: -364 or i?
i
Let k be 3/(-9)*(1 + -1). Suppose k = 14*b - 10*b + 28. Which is smaller: b or -1?
b
Let v = 9 + -9.8. Let u = -42 + 41.8. Let n = u - v. Which is bigger: n or -2/7?
n
Let c = -9 + 3. Let l be (1/2)/(c/24). Which is greater: l or -5?
l
Suppose 1107 - 307 = -5*z. Which is smaller: -159 or z?
z
Let v = -12772/7 - -1835. Is 10 >= v?
False
Let b = 0.4 + -2.4. Let o = -1.8 - b. Which is smaller: o or -2/9?
-2/9
Let q be (-5)/(-210)*7*4/(-5). Are 18 and q non-equal?
True
Let l(w) = -14*w**2 + 114*w - 1. Let z be l(8). Is z >= 109/7?
False
Suppose 8 = 11*i + 19. Are i and -2/2431 non-equal?
True
Let r = 7/65 - -313/715. Which is smaller: r or 0?
0
Let q(r) = -r. Let p be q(0). Let d = -104035/16 + 6368. Let u = 134 + d. Which is greater: p or u?
p
Let u be (-2)/(-7) + (-16)/7. Suppose 0 = -2*p + 8*p - 2*p. Which is smaller: u or p?
u
Let s = -42.8 - -41. Let i = s + 2.8. Which is bigger: 2 or i?
2
Suppose -4*n - o - 5 = 0, 0 = -3*o + 1 - 16. Which is smaller: 68 or n?
n
Suppose -54 - 26 = -8*f. Suppose 3*w = 27*w - 216. Do f and w have different values?
True
Let y(h) = -h**2 - 5*h + 3. Let l be y(-3). Suppose 10*p = 16*p - 66. Which is smaller: l or p?
l
Suppose 0 = -2*c - 6 - 20. Let z = c + 15. Let g be 2*(-1 + 1 - z). Is -6 >= g?
False
Suppose 0 = 3*y - 3*a - 9, 22 = 2*y - 4*y - 5*a. Which is smaller: y or 4/89?
y
Let v(d) = -d + 8. Let q be v(4). Suppose -53*o + 6 = -55*o. Let s be o - 10/(-3) - 51/(-9). Do s and q have the same value?
False
Suppose -3*m + 49 = -4*a, 57 = 6*a - 10*a - 5*m. Is 0 bigger than a?
True
Let g be -1*1 + -4 + 102249/(-567). Is -185 at most as big as g?
False
Let w = -13 + 13. Suppose h + d - 18 = w, 2*h - 5*d = -d + 18. Suppose 3*t + 12 = -0, -3*t = -3*s + h. Does s = 3/16?
False
Let q(k) = 13*k**3 + 2*k**2 + 3*k + 2. Let y be q(-1). Let b be 37/(-6) + y/(-72). Which is smaller: -2 or b?
b
Let z be 4/((-16)/10)*(-52)/130. Which is smaller: -3/136 or z?
-3/136
Suppose -3*t - 3*k + 258 = 0, -t + 87 = 5*k - 3*k. Do 85 and t have different values?
False
Let r be 5 + (-11)/((-1045)/(-480)). Is r at least as big as 8?
False
Let a = -0.042 + -23.958. Let n = a + 28. Which is bigger: -0.1 or n?
n
Let p be (-2 + 5)/((-3)/(-9)). Let b(d) = d**3 - 8*d**2 - 11*d + 4. Let w be b(p). Is -11 not equal to w?
True
Suppose 9*s - 14 - 148 = 0. Let o(h) = -h + 31. Let a be o(s). Is a smaller than 10?
False
Let c = -0.1 - 0.9. Let d = -6418 - -6413. Does d = c?
False
Let o = -12358/1863 - -152/23. Suppose -2*h - 2*j = -8, 2*h + 3*j = -5 + 16. Is h smaller than o?
False
Suppose 0 = 3*m + 69 + 33. Let x = m + 59/2. Is x less than -5?
False
Let b(o) = -3*o**2 - 57*o - 32. Let c be b(-17). Let x = c - 281/4. Are -36 and x nonequal?
True
Let g = -34 - -242/7. Which is greater: 0.21 or g?
g
Let f = 74510/7 - 10620. Is 25 bigger than f?
True
Let z = -8223 + 633159/77. Which is bigger: 0 or z?
0
Let j(v) be the first derivative of v**4/4 - 5*v**3/3 - v**2 + 10*v + 1. Let p be j(5). Is p equal to 27?
False
Let b = 780.7 - 781. Is 0.046 > b?
True
Suppose -v + 5*f = 9, 4*v - 2*f - 6 + 78 = 0. Suppose 0 = -2*y + x - 16, -2*x - 36 - 22 = 5*y. Let c = v - y. Is c bigger than -9?
False
Let n(c) = 13*c + 14*c + 2*c - 4 + 4*c. Let b be n(2). Is 62 >= b?
True
Let o be (-6 + 8 + -3)/1. Which is greater: o or 1/143?
1/143
Let d be 339/3 + (2 - (-15)/(-5)). Is 3 at most d?
True
Let n = 47.13 + -1.13. Let i = 40 - n. Which is greater: i or -3?
-3
Let x = -263 - -241. Are -22 and x non-equal?
False
Let n(s) = s**2 - 10*s - 7. Let g be n(10). Let c = -25 - g. Let w = 12 + c. Which is greater: w or -7?
w
Let j = -177 - -176.11. Let u = j - 0.41. Which is greater: -1/3 or u?
-1/3
Suppose 63*m + 3954 = 57*m. Which is greater: m or -658?
-658
Suppose -4*r = -3*r - 21. Suppose 2*z - r = -129. Let v be 3/(-1) + z/(-16). Which is smaller: 1 or v?
v
Suppose 87*i - 88*i = -5*h - 529, 4*h - 4*i + 436 = 0. Are h and -106 equal?
False
Let d(i) = -i**3 + 5*i**2 - 3*i - 4. Let p be d(3). Suppose 8 = -p*c + 7*c. Suppose 8*x = c*x. Which is bigger: x or -5/12?
x
Suppose -3*n - 2*j + 28 = 3*j, -25 = -5*j. Suppose 7 = -r - 3*a, -r + a + 14 - n = 0. Let x be (1 - 5)*r/16. Which is smaller: x or -4?
-4
Let g be (1 + -1)*3/9. Suppose -2*w - 2*w - 4*t + 4 = g, -1 = -w + 4*t. Let f be (4/2 + -2)*w. Which is sm