?
False
Suppose 0 = -348*p + 342*p - 60. Is -10 at most as big as p?
True
Suppose 4*d = 12, 5*a + 4*d = 8*a + 327. Are -314/3 and a unequal?
True
Let s = 929 - 942. Is s less than 4/3?
True
Let x be (-4)/12 - (-13)/24. Suppose 0 = w - 0 - 3, 4*k - 4*w = -8. Is x smaller than k?
True
Let u(c) = c**3 - 21*c**2 - 22*c + 3. Let j be u(22). Suppose 0 = -q - j*z - 11, 2*q - 5*z - 51 = 6*q. Which is greater: q or -15?
q
Let k = 1539 + -1538.7. Which is smaller: 17/16 or k?
k
Suppose 4 = -5*j + 19. Let o(g) be the first derivative of -g**2/2 + 2*g - 7. Let d be o(j). Which is bigger: -3 or d?
d
Let g be 2 - (0 + 92/45). Suppose -2*n - 74 = -24. Let c = n - -25. Is g <= c?
True
Let a = -973113/199 + 4890. Which is greater: -1 or a?
a
Suppose -25*u - 15 = 10. Suppose k + 6 + 2 = 0. Let p = k - u. Is p <= -5?
True
Let j = -3.6 - -3.41. Let g = -4.4 + 3.81. Let c = g - j. Which is smaller: c or -2/3?
-2/3
Let w = 438 - 199. Is 238 < w?
True
Let z = -328 - -1790. Is z smaller than 1463?
True
Let c = 0.43 + -0.4. Let a = c - 5.03. Let x = -344 + 347. Which is smaller: x or a?
a
Let y = -107 - -111. Suppose -16 = -y*h - 4*c + c, 7 = -5*h + 3*c. Do h and -2/239 have different values?
True
Let n = -135 + 150. Which is bigger: 1.5 or n?
n
Let k = 0.01 + -0.11. Let f = -235 - -1162/5. Is k less than f?
False
Let c = 10/601 + -209779/1803. Let b = c + 8707/75. Which is bigger: b or -1?
b
Let x(r) = -6*r + 3. Let y be x(-7). Suppose a + 4*a = y. Let f be ((-1)/a)/((-1)/(-2)). Which is smaller: -4 or f?
-4
Let b = -1.242 - 295.758. Is b < -2/3?
True
Suppose 0 = -0*l - 3*l + 6*l. Let h be 339/(-444) + l + 21/28. Which is smaller: h or 1?
h
Let a(t) = t**2 - 7*t + 3. Let y be a(5). Let f(o) = 1. Let w(i) = -3*i - 27. Let q(z) = 18*f(z) + w(z). Let k be q(y). Is 12 at least k?
True
Let w be 121/(-9) + (-203)/(-87). Which is smaller: w or -12?
-12
Let u(c) = -c**3 - 6*c**2 - 4*c + 5. Let y be u(-5). Let p = -65.94 + -0.06. Let h = 65.84 + p. Which is smaller: y or h?
h
Let z(h) = -h**3 - 6*h**2 - 6*h - 2. Let v be z(-6). Let n = 35 - v. Is n at least as big as 1/21?
True
Let v = -342 + 339. Is v bigger than 4.6?
False
Let y be ((-3)/12)/(-1) - 11/(-4). Suppose -3*h - 2*h - 2 = -y*o, h = -3*o + 32. Is o smaller than 9?
False
Let s be 1 + (-2)/(32/15). Let q = 3494 - 3494. Which is greater: s or q?
s
Let s = -131 + 202. Let p be (7/21)/(s/(-3)). Let l = -194/1349 + p. Does -1 = l?
False
Let r(g) = g + 1. Let y(p) = -p**2 + 17*p. Let l(s) = 6*r(s) - y(s). Let c be l(10). Is -4 greater than or equal to c?
True
Suppose 7*x = 3*x - 3*f - 156, 12 = 3*f. Which is greater: x or -9?
-9
Suppose 2*f + 2 + 0 = 0. Let a(z) = 151*z + 67. Let w be a(-10). Let h = -15885/11 - w. Is h not equal to f?
True
Let u be 121/(-4) - (-11)/44. Let y = -29/10 - -53/20. Is y bigger than u?
True
Let t = -12.21 - -11.9. Let d = 1.81 + -1.6. Let q = t + d. Which is bigger: q or -1/3?
q
Let d(s) = -211*s - 54. Let b be d(4). Is b > -898?
False
Let r(j) = j**2 - j - 1. Let d be r(2). Let k = -1304/5 + 209934/805. Which is smaller: k or d?
k
Let n(g) = -14*g - 36. Let q be n(-3). Is q not equal to 3?
True
Let q be (0 - (-1)/(-57))*-2. Let f = -68 - -118. Let m = f - 49. Is q at most as big as m?
True
Let m be (54/(-9153))/((-1)/6). Is -1 less than m?
True
Let u(x) = 3*x + 0*x - 4 - 3*x + 3*x. Let v be u(18). Let c be 7/42 + v/(-12). Is -0.2 not equal to c?
True
Let s(w) = 6*w - 11. Let v = -3 - -13. Let t be s(v). Let k be t/(-21) + (-2 - -5). Which is greater: 0 or k?
k
Let u = 2/575 + 803/575. Suppose 12 = 6*x - 2*x. Let i be (-3)/(-7)*2/x. Are u and i equal?
False
Suppose o = -5*l + 393, 3*l + 4*o = -0*l + 246. Suppose 5*r = l - 253. Is -35 bigger than r?
False
Suppose -f = 2*s - 6, s = -2*f + f + 2. Is f greater than or equal to -36/17?
True
Let m be 664/(-220) - (-7)/35. Is -2 != m?
True
Suppose 950 = 4*k + 250. Let q(p) = 3 + k*p**3 - 2*p**2 + 4*p - p**2 - 176*p**3 - 1. Let v be q(-4). Is 2/3 smaller than v?
True
Let f = -3 - -35. Let m = f - 31. Let p = 6 - 5.9. Are m and p unequal?
True
Let m = -97 - 63. Let d = 161 + m. Which is bigger: d or 2?
2
Let o = 16 - 57. Let d = o - -28. Let t = d - -14. Which is greater: t or 0.4?
t
Suppose 71 + 39 = -5*v. Is 5 > v?
True
Let d = -150 + 210. Which is bigger: d or 3/5?
d
Suppose -4*l + 2*q = q - 12, 4*l - 3*q = 12. Suppose l*n = 2*n - 3. Which is bigger: n or -18/7?
-18/7
Let z be -3*((-710)/90 - -8)*3. Suppose -28 = 5*w - w. Let g be (-1)/(w/2)*1. Is g > z?
True
Let g = 1860 + -66955/36. Let t = 25/18 - g. Suppose 5*d = r - 11, 3*r - 12 + 3 = 3*d. Is r less than t?
True
Suppose -5*c + 25 = -5*u, 4*u = -5*c + 13 - 69. Let v be (3*4/(-64))/(u/42). Is 0 not equal to v?
True
Let s(t) = t + 1. Let c be s(-7). Let o = c + 19/3. Let i = o + -1. Which is smaller: i or -1?
-1
Suppose 4*p - 5*t = 75, -3*p + 4*p - 2*t = 21. Suppose 5 = 5*x, 3*x + 19 = 4*s - 78. Suppose 3*g + s = r, -3*g + 7 = 3*r - 2*r. Which is greater: r or p?
r
Let o be 18/(-4)*8/(-6). Suppose 5*f - 11 = -o. Let v be ((-2 - -4) + -3)/f. Do -2/25 and v have different values?
True
Let v = 208/209 - 12/19. Are v and -6 unequal?
True
Suppose 255*a = 262*a + 1330. Is a greater than -189?
False
Let d = 1579/14 - 225/2. Which is smaller: d or -1/71?
-1/71
Let m be 26/(-6) - (-3)/9. Let f be 9 + m + -49 + (-6)/2. Which is greater: -46 or f?
-46
Let h(x) be the second derivative of x**3/3 - 14*x**2 + 117*x - 1. Suppose 48 = 4*b - b. Let c be h(b). Does c = 1?
False
Let r = -13.2 - -13.3. Let a = 0.9 + -40.9. Do r and a have different values?
True
Suppose -a = -2*a - 5*o + 95, -5*o = -25. Suppose 3*c + 2*c - a = 0. Let x be c/(-21)*3/(-4). Do x and 0 have different values?
True
Let m(v) = -10*v - 18. Let w be m(-3). Suppose y - w = 23. Is 34 less than or equal to y?
True
Let d be -5*(127/(-15) - 7/21). Let q be (d/4)/(1 - 8/6). Is q less than -33?
False
Suppose -14 = -2*a - 3*n, 0*a - 3*a + 21 = 3*n. Let p = 7 - a. Is p bigger than 0.1?
False
Let t be (-4)/(-24)*((-570)/20)/(-19). Are 31 and t unequal?
True
Let n = 87.435 + 0.565. Which is bigger: n or -2/7?
n
Let l be ((-18)/15)/(2 + (-364)/175). Is 1 at least l?
False
Let x = -370 - -1093/3. Let c be 182/(-36) + (-6)/189*-7. Let n = c - x. Is n <= 2?
True
Suppose 20 = 5*r, 4*c + 2*r = -0 - 40. Let f be (-8)/c*(2 + 1). Let t be f/(-10) + 51/105. Is t >= -1?
True
Let t be -6*(-3 + 147/48). Suppose 0*f + 3*f - 3*i - 6 = 0, 3*i + 4 = f. Which is smaller: f or t?
t
Let h = 34 + 4. Are h and 189/5 unequal?
True
Let x = 7.1 + 91.9. Let n = x + -70. Let g = 28.93 - n. Which is bigger: 0 or g?
0
Let l = 1724 + -5170/3. Which is smaller: 1/1020 or l?
1/1020
Let f = -3432.1 + 3432. Let p(z) = 8*z**3 + z**2 - z + 1. Let i be p(1). Which is smaller: f or i?
f
Let w(h) = h**3 - 20*h**2 + 100*h - 28. Let m be w(11). Let y be ((-32)/(-10))/((-3)/(-30)). Let f = 16 - y. Is m >= f?
False
Let f(p) be the third derivative of 1/8*p**4 - 5/6*p**3 + 0*p + 0 + 1/60*p**5 + 5*p**2. Let i be f(-4). Is 1/4 smaller than i?
False
Let x = 542608/224105 + -2/11795. Which is smaller: x or 3?
x
Suppose 2*t = 3*u, -3*t + 3 = -2*u - u. Let j(m) = 9*m - 48 - 19 + 17. Let q be j(6). Do q and t have the same value?
False
Suppose 0 = 2*o - 2*w + 8, 3*o - w + 7 = 3*w. Let r(b) = 686*b + 6164. Let i be r(-9). Are i and o unequal?
True
Let p(i) = 5*i - 2. Let s(x) = -10*x + 5. Let z(y) = -13*p(y) - 6*s(y). Let v be z(4). Let q be (-52)/v - (-2)/(-1). Is q >= 0?
True
Let a = 51258/13 + -3945. Which is smaller: a or -3?
-3
Suppose -3*i - 5*m + 11 = -i, 0 = 5*i - 2*m + 16. Let n be (i - -1) + (1 - 0). Do n and 4/21 have the same value?
False
Let z = 8 + -5. Let u = 68 + -69. Let s = -1 + u. Which is smaller: z or s?
s
Let z be ((-36)/20)/(6/20). Let d be 2*-1 - (-2)/(-6)*z. Are d and 2/11 nonequal?
True
Suppose 2 = -o - 2, 4*z = -4*o - 116. Let u be (1 - -2)*(-2 - 45/z). Let s be (-1 - -1) + (-2)/9. Which is bigger: u or s?
s
Suppose 3*n = 21*n - 18. Is -2/859 greater than or equal to n?
False
Let o = 2035 - 2034.662. Do 2 and o have different values?
True
Let o be (-1958)/44 + 2 + (-1)/2. Are o and -42 non-equal?
True
Let q = -101 + 106. Let d be 45/q*(-1 - 0). Is -8 >= d?
True
Suppose -36 = -47*n - 177. Let q be -2 + -1*(-1)/(-1). Is n > q?
False
Let k = 6624 + -59518/9. Do 12 and k have t