?
True
Let p = 37 + -24. Which is greater: 12 or p?
p
Let f = 24 + -22. Which is greater: 0.2 or f?
f
Suppose 3*s = 2*t - 15, -4*t = 5*s + t. Let i = -3 - s. Which is smaller: i or -1?
-1
Let j(k) = -k. Let h be j(3). Let z = -633 - -1131/2. Let b = z - -66. Are b and h unequal?
True
Let t(j) = -j**3 - 9*j**2 + 7*j + 3. Let v(o) = o**3 + o**2 - o + 1. Let q(h) = -t(h) - 2*v(h). Let z be q(5). Let u be -3 - -2 - (-12)/z. Is u < 0?
True
Suppose -5*t + 5*c = -2*t + 109, -2*c = 3*t + 116. Let v = 65 + t. Suppose -5*j - 5*y = 0, 0*j + 5*y = 4*j - v. Which is smaller: j or 2?
2
Let j = 0.2 - 0.3. Let t(m) be the third derivative of -m**4/24 + 4*m**3/3 + m**2. Let q be t(10). Is j <= q?
False
Suppose 7*h - 2 - 5 = 0. Which is bigger: -1/15 or h?
h
Let q = 0.7 + -3.7. Let s = q + 3. Let u = -54.9 + 55. Which is bigger: s or u?
u
Let w = 0.32 - -12.68. Let q = 12.9 - w. Is q at least -10?
True
Let u be (-258)/(-1020) + (-2)/5. Is 1 > u?
True
Let z = 0.18 + -0.08. Let x = 0.2 + -0.4. Do z and x have the same value?
False
Suppose -2*a - 2 = -4. Let j(i) = -i**3 - i**2 + 2*i + 2. Let n be j(-2). Which is greater: a or n?
n
Let j = 7.7 - 8. Let x = 5 + -9. Let a be ((-2)/x)/(6/(-4)). Which is bigger: a or j?
j
Suppose -5*y = -4*b + 20, -2*b + b + 26 = 4*y. Let f be 4/10 + (-4)/b. Which is smaller: -2/5 or f?
-2/5
Let q = -10 - -8. Does -5/8 = q?
False
Let k be -3 + -1 + (-40)/(-7). Which is bigger: 2 or k?
2
Let m(o) = 2*o**2 - 11*o - 2. Let s be m(5). Which is greater: s or -4?
-4
Let t(p) = p + 1. Let k be t(-3). Let j(l) = 3*l + 2. Let m be j(k). Let d be (-1)/(m*9/(-96)). Which is smaller: -4 or d?
-4
Let g be 3 + ((-9)/3 - -2). Let j = g - 2. Is 2/17 not equal to j?
True
Let x be ((-1)/1)/((-3)/9). Let m = 3 - x. Suppose m*p = -5*v - p - 5, 0 = 4*v - 5*p - 25. Is 1 at most as big as v?
False
Suppose -4*x = 5*m - 25, 7*m - 10 = 2*m - x. Is -1 <= m?
True
Let d be (-6)/(-9)*(-6)/4. Let r be (-28)/(-15) - (d + 3). Which is bigger: r or 1?
1
Let a(p) = 6*p**3 + 24*p**2 - 5. Let o(n) = n**3 + 5*n**2 - 1. Let c(b) = -2*a(b) + 11*o(b). Let q be c(7). Let t = 67/5 - 27/2. Which is smaller: q or t?
q
Suppose 0 = -2*v - 2*v + 4. Let y(m) = -2*m + 1. Let a be y(v). Let g be 1/(-3)*(a + 4). Is -1/5 bigger than g?
True
Let a = 0.6 - 1.1. Let y = a - -0.5. Which is smaller: y or 6?
y
Let v be 1/(-2) - (-45)/10. Let o = 0 + v. Suppose 8 = 4*h - o. Is h greater than or equal to 1?
True
Let h = 6.99 + -7. Let y = 3 - 2.99. Let j = y + h. Is 0 less than or equal to j?
True
Let f = -4.1 - -4. Let d = -0.1 + f. Which is smaller: d or 0?
d
Let w be 1/2*36/27. Suppose -4*o - 3*f = -0*f + 6, 0 = 4*o - 2*f - 4. Let d = o + 1. Is d <= w?
False
Let k = -0.14 + -0.26. Let n = k + 1.4. Is n greater than or equal to -1/10?
True
Let r = 0.005 + -0.105. Which is smaller: r or -1.2?
-1.2
Let y be (1/(-3))/(10/30). Is -3/7 less than or equal to y?
False
Suppose -3*q = 2 - 8. Let t be q/3 + 25/(-15). Which is bigger: 0 or t?
0
Let p = -2.02 + 0.02. Let f = -18.7 + 18. Let l = 0.3 - f. Which is greater: l or p?
l
Suppose v + 3*a - 11 = 0, 4*a - 21 + 5 = -2*v. Which is smaller: v or 5?
v
Suppose -3*z = -4*n - 6*z - 1, n + z = 0. Is -3/5 bigger than n?
True
Let u = -425417931471/13777 - -30878851. Let z = u + 2/599. Is 1 > z?
True
Let x be 1 - 3 - 3*2. Let g(d) = -d**3 - 8*d**2 - d - 9. Let u be g(x). Is u less than -2?
False
Let o(p) = 3*p**2 + 3. Let q be o(2). Is 16 >= q?
True
Let v = 39 + -32. Which is smaller: 6 or v?
6
Let c be -3 + -3*(-21)/9. Let x be (-3 - -1)*(-5)/2. Are x and c equal?
False
Let o be (-2)/(3/(-9)*-3). Suppose -4*f + 2*q - 8 = 0, 0 = 4*q - 1 + 9. Is o less than or equal to f?
False
Let c = 32 + -36. Which is smaller: 1 or c?
c
Let a(o) = 8*o. Let l be a(1). Suppose 4*v + l - 4 = 0. Are v and -1 unequal?
False
Let m(l) = 5 - 2*l + 5*l - 3*l + 5*l - l**2. Let t be m(5). Is 5 less than or equal to t?
True
Let i = 20.7 + -2.7. Let r = i - 17. Which is greater: r or -2?
r
Let p(h) = -h**2 + 8*h - 3. Let n be p(4). Is 11 smaller than n?
True
Let v be ((-3)/(-6) + -1)*0. Let m(u) = u**2 - 9. Let p be m(v). Is -8 less than or equal to p?
False
Let m = 104/3 + -34. Let g be (-60)/(-16) + 1/4. Suppose -g*b + 0*b = -8. Is m >= b?
False
Suppose m + 0*m = 1. Let t = 0 - 0. Suppose t = z + m + 3. Which is smaller: z or -3?
z
Suppose -2*s = -4*s - 16. Let d be (1 - 3)*8/s. Which is smaller: 3 or d?
d
Suppose -h + 3*h = 6. Suppose -8 = -f - h*f. Let w(n) = 10*n + 113. Let p be w(-11). Which is smaller: p or f?
f
Let o = -90 - -175. Is o less than or equal to 85?
True
Suppose -6*v + 20 = -v. Is 14/3 greater than or equal to v?
True
Let f be (-2)/4*(-8)/4. Suppose -4*p - 3 + 19 = -3*r, -4*p = -16. Suppose l + r*l = 0. Which is smaller: f or l?
l
Let m be ((2 - 2) + 0)/2. Suppose -u = -4*i - 1, i + m*u - 2 = u. Let v be 4/(19 - (-3 - 0)). Which is bigger: v or i?
v
Let n be ((-6)/(-70))/((-20)/70). Which is greater: n or 0?
0
Let q = -5041/13 - -206957/520. Let v = q - 53/5. Is 1 less than v?
False
Let h(w) = w + 1. Let n(r) = -r**2 - 2*r + 3. Let u(p) = -5*h(p) + n(p). Let l be u(-6). Is l greater than 2?
True
Let r(n) = -n**2 + 2*n - 7. Let h be r(-7). Let s be (-1)/(-2) + 15/h. Suppose -5*l = -l - 4. Which is bigger: l or s?
l
Let n = 0.8 - 3.8. Let f = 2.9 + n. Let c = -23/38 + 2/19. Is f equal to c?
False
Let t = -1 + 0.9. Let r = -0.3 - t. Let q = 19.8 - 20. Is r <= q?
True
Let k be -2 + 6 - (-310)/(-78). Are k and 0 nonequal?
True
Let m = -1 - -1. Suppose m*q = -q - 1. Is q at least -3?
True
Suppose 0 = -0*v + 3*v + 12. Let p(o) = -2*o**2 + 24*o - 3. Let c be p(12). Is c equal to v?
False
Let z = 1.6 - 2.6. Does -22 = z?
False
Let p = -30.8 - -31. Let v = -0.6 - -0.9. Let u = -0.7 - v. Is p <= u?
False
Let s = 342 - 2400/7. Which is bigger: s or -1?
s
Suppose 4*r + 2*w - w = 86, 0 = 5*w + 10. Is 21 at most as big as r?
True
Let z(w) = w + 12. Let d be z(12). Let k = -95/4 + d. Which is bigger: -1 or k?
k
Let r = 4 + 1. Suppose -3*l - 25 + 12 = -2*g, 0 = l + r*g - 7. Is -5/2 <= l?
False
Let b(y) = y**3 + 2*y**2 + 2*y + 1. Let k be b(-1). Let t(x) = -x**3 - x**2 + 2*x + 2. Let o be t(-1). Are k and o non-equal?
False
Suppose 2*c - 42 = 3*g - 2*g, -5*c - g + 119 = 0. Are 23 and c equal?
True
Let k = 17.4 + -3.4. Do 1 and k have the same value?
False
Let f = 61 + -63. Does f = -1/2?
False
Let j(s) = 2*s - 9. Let g be j(4). Suppose 2*m = -0 + 2. Is g at most as big as m?
True
Let d be (-24)/(-36) - (1 - (-4)/(-3)). Is 2/523 at most as big as d?
True
Suppose -5*w + 3*w = -8. Which is greater: 2 or w?
w
Let r = -804.1 - -720. Let w = r + 88. Let t = -4 + w. Which is smaller: t or -3/4?
-3/4
Suppose 0 = 2*s + z, 0 = -4*s + 5*z - 4*z - 6. Let m(a) = a**3 - 4*a**2 - 4*a - 7. Let c be m(5). Is c > s?
False
Let n = -3.7 - 1.3. Let m = 0.1 + 0.1. Let g = m + -0.2. Is g bigger than n?
True
Let y(z) = 3*z + 1. Let b(v) = v**2 + 2*v - 2. Let x be b(-3). Let h be y(x). Let f be (h/(-115))/((-8)/20). Which is greater: 0 or f?
f
Let l be 98/(-12) - (-6)/9. Which is bigger: l or -8?
l
Let w be 64/(-480)*(-18)/(-4). Let c = -150 - -1048/7. Which is bigger: w or c?
c
Let i(a) = -20*a - 12. Let n(b) = 7*b + 4. Let l(r) = -6*i(r) - 17*n(r). Let q be l(-4). Is 1 bigger than q?
True
Let v be 3/(-5) - (-21)/33. Is 1 at least v?
True
Let w be 3 - ((-39)/(-7) + -2). Which is smaller: 0 or w?
w
Let l = -1.3 + 1.7. Let y = -6.7 + 6. Let j = y + l. Are j and 0 unequal?
True
Let t(k) = 2*k**2 - 13*k + 24. Let z be t(6). Which is bigger: 21 or z?
21
Let d be (-188)/20 - -2 - -2. Let p = d - -319/60. Is 1 at least as big as p?
True
Let n be 8 + -1 - 2/1. Suppose -n*p = -3*p. Suppose -3*j = -j. Is p at most as big as j?
True
Let g(i) = 2*i + 4. Let m be g(6). Let y be m/6*(-18)/(-8). Let k = -3 + y. Is 3 != k?
False
Let i = 10.7 + -18.6. Let f = -11 - i. Let v = -3 - f. Are v and 0.1 unequal?
False
Suppose -30 - 25 = -5*l. Do 10 and l have the same value?
False
Let x = -12/67 + -1383/134. Do -12 and x have different values?
True
Let m(y) = -y. Let z(w) = -w - 1. Let j(a) = -3*m(a) + 4*z(a). Let x be j(-3). Does x = -1/7?
False
Let q be (-32)/15 - (0 - 2). Let i(m) = -3*m - 10. Let w be i(-3). Which is smaller: q or w?
w
Let g(w) = -w**3 - 5*w**2 - 3*w + 2. Let p be g(-4). Are -18/11 and p nonequal?
True
L