p?
-2/33
Let i = 92 - 90.4. Which is smaller: 6/11 or i?
6/11
Suppose 2*d + 41 = -13. Is -28 >= d?
False
Let g = 9 - 5. Suppose -5*x + 15 = z, -x - 3*x + 28 = 4*z. Which is smaller: z or g?
g
Suppose -3*z + 4*q - 14 = 0, 1 = 3*z - q - 0*q. Suppose i - 1 = -z. Let p be (2 - 1)*(0 + i). Is p greater than 0?
False
Let q(v) = 3*v + 8. Let n be q(-15). Which is greater: -39 or n?
n
Let m be 11/3 - (-2)/(-3). Suppose 0 = -m*n - 2*j + 3, -2*n + 0*n + 5*j = -21. Let y = n + -3. Is y at most -8/7?
False
Let i = 15442/13 - 1189. Let x = 99/52 + i. Let w = -10 + 11. Which is smaller: w or x?
x
Suppose 0 = -4*i + 3*f - 9, 5 + 5 = -3*i - f. Let t be i/(3/3) + 4. Do t and 3 have the same value?
False
Let u(d) = d**3 - d**2 + 3*d - 4. Let v be u(3). Is v at most 24?
True
Suppose -5*u = -10, 5*n = -3*u + 40 - 14. Suppose 0 = -n*k + t + 1, -5*k - 19 = 5*t + 11. Let j be ((-1)/3)/((-14)/(-12) - 1). Is j at most as big as k?
True
Let s be (-2)/(9/((-297)/(-6))). Is -11 less than or equal to s?
True
Let k(u) be the second derivative of -u**4/12 + u**3 - u**2/2 - u. Let a be k(6). Which is bigger: a or 0.1?
0.1
Let m = -4 + 6. Let v = m + 1. Suppose 5 + 3 = 2*l. Is l greater than or equal to v?
True
Suppose -w - 1 = q, 3*w - 2*w - 3*q = -9. Let n(c) = -1 + 0 + c**2 - 3*c**2 - 3*c. Let j be n(-2). Is w bigger than j?
False
Suppose 0 = 2*j + 3*j. Is 4/3 less than or equal to j?
False
Suppose 0 = -3*c - 2*c + 3*l + 7, c + 4*l = -17. Let d = 376/5355 - 2/153. Which is greater: d or c?
d
Suppose 2*g - 18 = -2*s, 2*s + 4*g = 3*g + 15. Suppose -w = 2*w + s. Which is smaller: 0 or w?
w
Let h(a) = -a**3 - 6*a**2 - 6*a. Let f be h(-4). Let n be (f - -13)*(-13)/(-5). Is 12 != n?
True
Suppose 3*l - l = 0. Let n be -2*(-1)/(-1) + 2. Suppose 0*m - 4*m = n. Are m and l equal?
True
Let w(u) = u**2 - 6*u + 5. Let n be w(5). Let d(k) = -k**3 - 11*k**2 - 1. Let i be d(-11). Is n > i?
True
Let c = -734/6903 - -2/531. Let y = -3/13 + c. Suppose -a - 4 + 8 = 5*h, -3*h = -3*a + 12. Which is smaller: y or h?
y
Let u(y) = -y**3 + 11*y**2 + 4. Let r be 14 - ((-9)/1)/(-3). Let j be u(r). Suppose -q = -j*q. Which is smaller: q or -2/3?
-2/3
Let y be (1 - -1) + 1095/7. Let x = -158 + y. Suppose 4*o - 5*o - 1 = 0. Which is bigger: x or o?
x
Let p = 1/11678 - -207277/87585. Let y = p - 11/5. Let f = -2 - -1. Is f at least y?
False
Let s = 8 - 5. Suppose -8 - s = 4*q - 3*p, -2*q + p - 3 = 0. Let b = -11296/21 + 538. Which is bigger: b or q?
q
Suppose -3*w = 5*x - 59, w - 22 = -2*x - w. Let u be x/5 - (-3)/(-5). Let n be 1/(-2)*4/2. Which is bigger: u or n?
u
Let l(a) be the third derivative of -a**6/720 - a**5/40 - a**4/8 - 2*a**2. Let d(j) be the second derivative of l(j). Let n be d(-6). Which is smaller: 0 or n?
0
Let r = 1 + -2. Is r at most 3?
True
Suppose -2*x - 4 + 11 = -5*i, 3*x = -3*i. Is -1 > x?
False
Let i be ((-2)/(-2) - -2) + 28/(-8). Let j = -17477/1050 - -355/21. Let n = j - -6/25. Which is smaller: n or i?
i
Let d be 4/(-12)*(-12)/32. Which is greater: d or -1/2?
d
Let o(d) = -2*d**2 + 1. Let s be o(-2). Which is smaller: s or -8?
-8
Suppose 0 = -6*a + a + 5. Suppose 2*y + 3*q + 4 = -1, 0 = 4*y + 3*q + a. Let t = y - 2. Which is greater: t or -4/5?
t
Let h = -6 + -6. Let o = 5 + h. Which is smaller: o or -1?
o
Suppose 0 = u + 3 + 6. Let q = 10 + u. Is q < -1/4?
False
Suppose -b - 4 = -7. Let h be (-2)/3*b/(-2). Which is greater: -4 or h?
h
Let c = -8 + 8. Is 0.6 not equal to c?
True
Let r(b) = -b**2 + 2*b - 1. Let g be r(2). Let l be (-3)/20*45/(-6). Let s = l + -61/40. Which is greater: s or g?
s
Let n = -4.91 - 0.09. Let v = n + 3. Let w = v + 1. Do w and -1 have different values?
False
Suppose -4*n = -9*n + 150. Suppose 10*w - n = 5*w. Suppose -3*o + 0*o = w. Which is bigger: o or -3?
o
Suppose 4*f - 66 = 3*y, 2*f - 32 = 2*y - 0*y. Suppose -3*h = -4*b - f, 0 = 2*b + b - 4*h + 10. Which is bigger: -4 or b?
-4
Suppose -6 = 2*g + 2. Let s = 5 + g. Let a be (s + 1)*(0 - 1). Is -2 equal to a?
True
Let k = -50523/7 + 7254. Let a = -767/21 + k. Which is greater: a or -2?
a
Let n(q) = q**3 - 13*q - 3. Let v be n(-5). Which is smaller: v or -64?
-64
Let b(r) = r - 6. Let c(p) = 7*p**2 + 2*p - 1. Let t be c(1). Let x be b(t). Which is smaller: 0.2 or x?
0.2
Suppose -8 + 3 = 5*d. Is d >= -2/131?
False
Suppose -s + 5*g = 20 - 0, 4*s + 8 = 2*g. Let y(w) = w**2 - 5*w - 1. Let b be y(5). Let m be 1 + (s - b) + 1. Which is greater: 1 or m?
m
Let c = 54 - 52. Which is bigger: c or -0.5?
c
Suppose 3*n - 5 - 4 = 0. Let t = n + 0. Suppose 3*b = 6*b + t. Is b greater than or equal to 1/4?
False
Let z = -11 + 14. Let o = z - 2. Is o bigger than -1.1?
True
Let o = -0.39 + 3.99. Let p = -4 + o. Let g = 140/3 + -47. Which is greater: g or p?
g
Let o = 0.07 - 0.1. Do -0.1 and o have different values?
True
Let v = -0.5 + 2.5. Let r = v + -5. Which is smaller: -2/7 or r?
r
Let b be (-2)/(2/7) - 0. Let h = b + 3. Which is greater: h or -7?
h
Let g = -8 - -3. Suppose 25 = 3*q + 10. Let n = q + g. Which is smaller: n or -2/7?
-2/7
Let y(c) = -c**2 - 14*c - 37. Let t be y(-4). Which is greater: 5 or t?
5
Suppose 4*c + 45 = 3*q, 2*c - 2*q + 20 = -0. Does c = -16?
False
Let n = -8.3 - -8. Let l = -4.3 - n. Is -1 less than l?
False
Let h = 24 - 9. Let z = 24 - 9. Is h less than z?
False
Suppose -18 = -2*f - 5*m, 5*f + 0*f - 7 = -3*m. Is -2/87 at least as big as f?
True
Let b = 21 + -13. Which is bigger: 6 or b?
b
Let s be (-3 - -3)*(-1)/2. Suppose s = 3*w - 157 + 49. Let l be (-2)/(-9) + (-8)/w. Is l less than -1?
False
Let z = 13 + -11.8. Let i = z - 1. Let p = i + -0.3. Is -0.1 greater than p?
False
Let r = -7.4 + 9.4. Let y = 0.1 + 0.9. Is y != r?
True
Let x = -22 - -24. Which is smaller: x or -3/4?
-3/4
Let q(o) = -1. Let d(s) = s**2 - 3*s - 8. Let i(l) = d(l) - 3*q(l). Let z be i(4). Let v be (0/(z - 1))/(-1). Is -5/7 != v?
True
Let j = 4.3 - 2.3. Is j bigger than -1?
True
Let h = 6 - 0. Suppose h*s = 4*s - 4. Do s and -1 have the same value?
False
Let g be (-20)/(-25)*(-10)/4. Let n(i) = -4*i**2 - i - 4. Let d(t) = -1. Let y(a) = -3*d(a) + n(a). Let h be y(-1). Which is bigger: g or h?
g
Let n = -6 - -5.92. Let x = -2.759 - 0.161. Let s = n + x. Is s at least as big as 1?
False
Let q be ((-4)/(-78))/((-2)/(-3)). Let i(p) = -5*p**3 - p**2 - p - 1. Let k be i(-1). Let h = k - 5. Which is greater: h or q?
q
Let y be 4/10*(-10)/12. Which is smaller: 4/9 or y?
y
Let h be (-1)/(-4) + 451/(-44). Let q be (9/(-5))/(2/(-10)). Let b = -20 + q. Which is greater: b or h?
h
Let w(m) = m**2 + 3*m - 5. Let b be w(-5). Let x be (18/12)/((-3)/(-8)). Which is bigger: x or b?
b
Let d be 2/(-5)*10/(-16). Let l = -21 + 14. Are l and d nonequal?
True
Suppose 5*y + 5*i = y - 33, -4*y = 2*i + 30. Do y and 3 have the same value?
False
Let g = 34/7 + -129/28. Which is smaller: 0 or g?
0
Let k be (5 - (7 + -2))/(-1 - -4). Let q(m) = m**2 + 2 - 5 + 4 - 2*m. Let s be q(2). Is k smaller than s?
True
Let l be ((-6)/4)/(2*3). Let r be 1*(-2 - (0 - 3)). Let f be 6 - 3 - 3*r. Is f < l?
False
Let j = 82 - 80. Is j at most -0.3?
False
Let y be (-2)/(-3)*(0 + 408/(-16)). Which is bigger: -19 or y?
y
Let j = 1.4 - 3.1. Let t = j - -1.3. Which is greater: t or 2?
2
Let c be 1 - 3/33*8. Which is smaller: c or 1?
c
Suppose 2 - 13 = 4*i + 3*r, -4*i = 5*r + 21. Let a = 213/76 - 58/19. Which is bigger: i or a?
i
Suppose 5*k - 2*h = -71 - 13, 0 = -5*k - 5*h - 70. Which is bigger: -17 or k?
k
Let j = -6 - -8. Let z = -2 + j. Suppose -g + 1 = -z*g. Which is smaller: 2 or g?
g
Let s = -851505/34 + 25040. Let b = -4/17 + s. Which is bigger: b or -6?
b
Suppose 3*u = -5 + 11. Which is smaller: u or 0?
0
Let v = -5 + 4. Let n = 1 + v. Suppose 9*o = 4*o + 5. Is n < o?
True
Let z be (-182)/(-33) - (-16)/(-88). Is 5 smaller than z?
True
Suppose 5*t = -31 - 9. Let g = 7 + t. Does g = 3/13?
False
Let c = -2 + 5. Suppose -j - c*j + 12 = 0. Let x(k) = -k**3 - 8*k**2 - 7*k + 1. Let i be x(-7). Are i and j non-equal?
True
Suppose l + 2 = -3. Let t be 1/l - 46/(-130). Are t and 0.1 unequal?
True
Let g = -0.01 + 0.31. Let m = -30 - -48. Let w = m + -16. Are g and w nonequal?
True
Let m = 7 - 1. Let j = -144 - -448/3. Which is greater: j or m?
m
Let r = 0.19 + -11.19. Is 0.1 bigger than r?
True
Let u be 4/10 + (-3)/(-5). Suppose 9 = -5*p - 4*n, 3*p - 5*n + 3 = 5.