*r**2 - 7*r + 8. Let p be a(6). Which is smaller: o or p?
o
Let u(a) = a**3 - 5*a**2 + 6*a + 1. Let n be u(3). Which is smaller: 23/25 or n?
23/25
Let s(l) = 7*l**3 - 3*l + 1. Let n be s(1). Suppose 5*z + 161 = -3*y - 41, -n*y = z + 36. Is z less than or equal to -43?
False
Let y = -0.34 - 1.96. Let k = -2.7 + y. Let g = 5.8 + k. Do g and -0.2 have different values?
True
Let l = -9583 - -3938615/411. Which is smaller: 1 or l?
l
Let w be (-4)/6 - (-2)/3. Let m(s) = -s + 16. Let q be m(12). Suppose -44 = 3*a - 4*o - 10, q*a + 37 = -3*o. Is a greater than or equal to w?
False
Let a be (3/(-9))/(1/3). Let p = -8179/14 + 584. Does a = p?
False
Suppose -5 = -2*p + 5. Let i(h) = -h**2 + 17*h - 29. Let w be i(11). Suppose 48 = p*g - w. Which is greater: g or 19?
19
Let c = -175 - -174. Let x be (-2)/(-8) - 685/17860. Let w = x - 5/47. Are w and c equal?
False
Let i = 122/45 + -196/135. Is 0 equal to i?
False
Let l(j) = -j + 9. Let t be l(8). Let v = 11096/17 + -653. Does t = v?
False
Suppose 0 = -4*c - 219 + 27. Let r = 9 - 8. Which is greater: c or r?
r
Let o be (2/(-18))/(104/(-12)). Let w = o - -2/13. Suppose -3*l - 6 = t - l, 9 = -3*t - 3*l. Is w greater than or equal to t?
True
Let f = -3/586 + 6497/9962. Is 1 bigger than f?
True
Let q = -2.93 + 3.13. Is q less than 105?
True
Let n(o) = 2*o**2 - 13*o. Let v be (-2)/(3*(-8)/108). Let p be n(v). Which is smaller: p or 44?
44
Let z = 2470 + -2463. Let k(w) = -w + 2. Let x be k(-4). Which is smaller: x or z?
x
Suppose 3*s + 3 = -3*m, s - 3*m - 17 = -3*s. Suppose 4*b + 13 = 37. Let o be b/s*(-2)/3. Which is greater: o or -1?
-1
Suppose 5*b - 4*v = -75, 5*b - 9*b - 64 = -4*v. Which is smaller: b or -27?
-27
Let u(n) = -n**2 + 17*n + 20. Let v be u(18). Let l be 4/25*(v - 507/246). Is l < -1?
False
Suppose 2*c + 4*f + 4928 = 0, 3*c + 4*f = f - 7407. Let i = c - -12299/5. Let u = 73/5 + i. Which is smaller: -2/5 or u?
-2/5
Suppose -18 = 3*i - 3*s, -2*s + 16 = 4*i + 2*s. Which is smaller: -72 or i?
-72
Let s be (-41 + 41)*(-2)/(-6). Which is smaller: s or -35/26?
-35/26
Let t = 232 + -233. Which is bigger: t or 2/259?
2/259
Let z = 156 - 3239/22. Let h = -36/11 + z. Suppose 0 = -p - 11*p + 84. Is p greater than or equal to h?
True
Let c be 4 + 3*((-35708)/15306 - -1). Let v = 173489/17857 - c. Which is smaller: 11 or v?
v
Suppose -100*i - 380 = -96*i. Which is smaller: -92 or i?
i
Let g = -256 - -256. Which is greater: g or 8.2?
8.2
Let p(q) be the third derivative of 0 - 2*q**3 + 10*q**2 + 0*q - 1/12*q**4. Let f be p(-8). Which is smaller: f or 5?
f
Let c(k) = -k**3 - 11*k**2 - 4*k + 12. Let t be c(-11). Suppose -2*i - t = 2*i - 4*g, 0 = -5*g - 15. Which is smaller: -16 or i?
i
Let x = 8 + -24. Let j be 10/((-150)/205) - 3. Is j not equal to x?
True
Let u = 20 - 18.69. Let r = u + -1.81. Is r at least as big as -0.12?
False
Suppose 7*u = -5*r + 3*u + 16, 2*r - 5*u = 13. Suppose 144 + r = 4*c. Which is bigger: 36 or c?
c
Let h = 64 - 60. Suppose -5*p + 75 = 5*a - h*p, 4*a = 4*p + 60. Which is smaller: a or 16?
a
Let c be 18/(-135) + (-640)/(-4425). Is c <= -0.8?
False
Suppose -3*u = -6, -3*u + 34 + 8 = -3*f. Are f and -31 nonequal?
True
Let b(r) = r - 8. Let p be b(-18). Let l = p + 26. Which is greater: l or 3/13?
3/13
Let y = 24 + -34. Let w = 9.85 + y. Which is greater: w or -0.1?
-0.1
Let m = -312719/236 + 5301/4. Let o = 399/2006 - m. Which is greater: 1 or o?
1
Let z be 0 + 5 - 4524/(-58). Are 86 and z nonequal?
True
Let c = -1268 + 65979/52. Let y = 1/13 - c. Which is smaller: y or 2?
y
Let v be (-2 - 8) + 2 - -9. Is -2/171 less than or equal to v?
True
Let r = -1.83 - -3.36. Let s = 0.23 - r. Let c = 1.5 + s. Is c greater than 0.2?
False
Let l = -3272 - -552965/169. Does l = 1/4?
False
Let f be (-200)/24*1*-3. Let s = -23 + f. Let q be (1 - 1)/s - 0. Do -2/57 and q have the same value?
False
Let h(g) = -g**3 + 2*g**2 + 3*g - 1. Let p be h(3). Let m = 1 - p. Suppose -3*s = -2*y + 1, 4*s = -3*y - 9 + m. Do 0 and s have the same value?
False
Let d be 1*(19/(-6) - (-17)/(-51)). Which is bigger: d or -4?
d
Let j be 0/(-2) - (-1)/4. Let b = -83 + 82.7. Let k = -8.7 + b. Which is bigger: k or j?
j
Let y = -0.3 - -0.1. Let i be (-2 + 2)/(5 + -4). Suppose i = -2*s - 4*s. Is s less than y?
False
Let u be (-805)/(-460) - ((-6)/(-4) + 0). Let n = -12 + 13. Which is greater: u or n?
n
Suppose -1045 = 15*f + 500. Do f and -103 have different values?
False
Suppose 770 = 3*z + 2*b, 0 = -5*z + b + 1832 - 527. Which is smaller: z or 259?
259
Let y be 0 + ((-40)/(-50))/((-4)/(-10)). Let r = -42837 + 297281/7. Let q = -367 - r. Which is bigger: q or y?
y
Suppose 5*q - 49 = 131. Suppose -8 = 4*v, -5*m + 7*m = -3*v - q. Let z = m - -15. Is -1 greater than z?
False
Let r = 3.62 - 4.69. Are r and 1/2 unequal?
True
Let v = 1 - 0. Let d be (6/(-28))/(-3)*2. Do v and d have the same value?
False
Let g(v) = 65*v - 4. Let w be g(11). Which is smaller: w or 0?
0
Let c = 1465.5 + -1458. Which is bigger: 0 or c?
c
Let r = 502/3 + -168. Which is smaller: -47/7 or r?
-47/7
Suppose 4*a = n + 49, 3*a - 3*n = 50 - 2. Let h be a + (-2 - (-1 - 1)). Let j be h/(-22) + 7/30. Is -1 < j?
True
Let f be -36 - 81/(-9) - -9. Let b(z) = -2*z - 3. Let y be b(6). Which is smaller: f or y?
f
Suppose 2*f = -2*f - 44. Let i = -1431 + 1420. Is f less than or equal to i?
True
Let j(m) = m**2 - 3*m. Suppose 5*d = 2*x - 11, -12 = -3*x - 0*d + 3*d. Let c be j(x). Which is bigger: -5 or c?
c
Let u = 0.43 - -0.11. Let d = 10.44 - u. Let w = d - 10. Which is bigger: w or 3?
3
Suppose -2*q - 5 = 2*t - 19, 0 = -2*t + 5*q - 14. Suppose -d + 131 = t*p, -2*p = -5*p - 2*d + 136. Let y = 964/23 - p. Is y at most as big as 0?
True
Suppose -h + 2 = -3*w, 4*h - 3*w - 26 = -9. Suppose h*s + 32 = 12. Let y(g) = -g**3 + 3*g**2 + g - 6. Let p be y(3). Is p < s?
False
Suppose 19*r - 3*l = 16*r - 9, 5*l + 17 = -3*r. Let v = -1 - 4. Which is smaller: r or v?
v
Let o = 1 + -15. Let d(m) = 2*m**2 - 40*m + 136. Let q be d(15). Is o greater than or equal to q?
True
Let h(x) = 4*x - 18. Let y = 32 + -25. Let u be h(y). Which is greater: u or 13?
13
Let a = -13 - -34. Let x = 24 - a. Suppose 0 = -x*t + 6*t. Which is smaller: t or -1/2?
-1/2
Let k = 31.92 - 32. Let u = k - -0.03. Which is greater: u or 1/4?
1/4
Let w = -6 - -33. Let r be (-2)/9 + 627/w. Suppose r = 5*x - 27. Is 11 >= x?
True
Suppose 4*g - 4 = 4, -4*k - 5*g + 18 = 0. Let w be (0 + -2)*k/(-4). Is w less than 1/23?
False
Suppose a - 5*f + 59 - 24 = 0, -a + 2*f = 20. Let q(z) = 6*z + 1. Let n be q(-2). Do n and a have different values?
True
Suppose 17*n - 12*n = 65. Let m be ((-86)/9)/((-2)/3 - 0). Which is smaller: n or m?
n
Let w = 1378 - 1379. Which is bigger: w or 32?
32
Let v be (6/4)/(12/24). Let m be (v - -2) + (-105)/(-77). Are m and 7 nonequal?
True
Let d = -1814 + 516986/285. Which is smaller: -1 or d?
-1
Let u(t) = -t + 7*t - 5 + 2*t - 5*t. Let m be u(-13). Are -45 and m equal?
False
Let v be (-7)/14*(-20)/2. Suppose -21 = 2*z + 5*s, v*s = -27 + 2. Suppose z*b = 5*b. Is b >= -1?
True
Suppose -10*z + 5*z = 0. Is z < -1/257?
False
Let z = -0.17 + -10.03. Let b = 2.8 - z. Which is bigger: -3 or b?
b
Let p = -2.37 + 2.47. Which is bigger: -16.5 or p?
p
Suppose 0 + 5 = z. Suppose z*j = j. Suppose 0*v - 5*n = -3*v + 1, -3*v + 2 = -4*n. Which is greater: v or j?
v
Let g be (-258)/(-13) + 10/65. Suppose -4*j = 76 + g. Which is greater: j or -25?
j
Let s = -40135847 + 263170748234/6557. Let b = 177/1577 + -6/1577. Let c = s + b. Which is smaller: 0 or c?
0
Let y be (-2)/3 - 2/(-3). Suppose 2*u + y*u = 18. Suppose 5*h = u + 26. Which is bigger: 0 or h?
h
Let g be (-1)/3 - (-480)/(-18). Let s be ((-2)/(-6))/(9/g). Let v = -6.99 - 0.01. Do v and s have the same value?
False
Suppose 19 = -4*v + k, 2 - 10 = 2*v - 2*k. Suppose 6*h = -2*h - 280. Let l = h + 29. Does v = l?
False
Suppose -7*g = 480 - 1516. Which is smaller: 1 or g?
1
Let v = 5.33 + -5. Let p = v + -0.23. Let i = -69/5 - -14. Which is bigger: i or p?
i
Let q = -20 + 16. Let y be (-1)/((-4)/q) + -1. Let o be (0 + 1/y)/(-1). Is o equal to -1?
False
Let u = -87 - -61. Let o = u - -20. Do -5 and o have the same value?
False
Let p be 7 - (0 + 1 + 3). Suppose 3*b + 13 = -j - j, -p*j + 4*b + 23 = 0. Which is greater: -1 or j?
j
Suppose -5 = -5*a + 2*f, f + 2 =