 3?
3
Let n be 132/(-21) - (-4)/14. Let q(d) = d**3 + 9*d**2 + 9*d + 6. Let h be q(-8). Let k be 4/5*15/h. Is n equal to k?
True
Let l be (-8)/22*91/(-42). Let n = -4/33 + l. Let b(k) = -k - 2. Let w be b(-4). Is w <= n?
False
Let o be 4/3*6/12. Which is smaller: o or 2?
o
Let h = -1587977/24890 + -1/4978. Let i = h + 64. Let q = 3 - 4. Is q at most i?
True
Let o = -2 - -1. Let l be 4/(-14) - (-4)/(-14). Is o >= l?
False
Let f = 27 - 40. Which is smaller: f or -14?
-14
Let o be (-1)/2*(2 - 0). Let t(d) = -d**3 - 7*d**2 - 6*d + 7. Let g be t(-6). Let x(h) = -h + 8. Let k be x(g). Are o and k non-equal?
True
Let i = 25/96 + -3/32. Let r = -52.1 - -52. Is i less than or equal to r?
False
Suppose -468 + 343 = -5*r. Is r bigger than 26?
False
Let c be ((-18)/(-10))/(1/5). Let f be (-25)/3 - 6/c. Let r be 1*(f/15)/(-3). Which is smaller: 2/5 or r?
r
Let m be (-18)/30 - 46/(-10). Suppose a + m - 2 = 0. Are a and 1 non-equal?
True
Suppose 5*m + 11 = -64. Let w = m - -22. Let n be (-160)/364 - (-2)/w. Which is smaller: n or 1?
n
Suppose 39 = 4*i - 41. Which is bigger: 18 or i?
i
Let i = 6 + -6.8. Let a = 0.23 - 1.13. Let j = i - a. Does -2 = j?
False
Let q be (0/((3 - 1)/(-2)))/(-2). Is -1/14 less than q?
True
Let t = 116 - 8003/69. Let i = -133/345 - t. Let k = -4 - -4.1. Is i not equal to k?
True
Let t = -33 - -51. Let c = 20 - t. Suppose 3*j - 3 = -3*r, -1 + 3 = 2*j - 3*r. Is j not equal to c?
True
Let g be (4/10)/((-10)/(-275)). Does 10 = g?
False
Let u = -0.9 + 0.7. Does 0.1 = u?
False
Let p = -0.066 + 0.066. Is p less than or equal to -9?
False
Suppose c = -4, -c - 2*c - 107 = -5*a. Is a less than 21?
True
Let b = -60.94 + 61. Which is bigger: b or 1?
1
Let t(w) = -5*w**3 + w**2 - 2. Let d be t(-2). Suppose 5*i = 2*i + d. Is 14 smaller than i?
False
Let u = -19 + 21. Suppose 23 = -2*y - 5*j, u*y - j = -3*y - 17. Is -4 <= y?
True
Let l(x) = x**2 + 14*x + 15. Let z be l(-14). Let r = z - 17. Which is smaller: -7 or r?
-7
Let l(a) = -a - 4. Let c be l(-6). Let r(h) = h**3 + 2*h**2 - 2*h - 3. Let n be r(-2). Is c less than n?
False
Suppose -88 = 5*k + z - 2*z, -60 = 3*k + 3*z. Let t = -12 - k. Suppose -t*g = -g. Which is bigger: g or -1?
g
Suppose 0*v = -v + 4*r, 0 = -3*v + 5*r - 14. Let z = v + 5. Which is smaller: z or -4?
-4
Let y(x) = x**3 - x**2 + x. Let m be y(0). Suppose m = o - 6*o. Which is bigger: -1 or o?
o
Let m(v) = v**2. Suppose r = -0*r - 4*a, -r = -2*a. Let z be m(r). Is z bigger than -2/23?
True
Let c be (2/(-4))/(2/4). Let h = 3/626 - -10007/1878. Let l = h - 5. Which is smaller: c or l?
c
Let u = 2/5 + -13/20. Suppose -5*y + 3*y + 4 = 0. Which is greater: y or u?
y
Suppose 3*g + 0*g = 195. Let l be 2/5 + 4/g. Is l equal to -1?
False
Let o = 5 + 1. Suppose 2*h = -3*j - 2*h + 4, 2*j + h - 1 = 0. Suppose -2*n + o*n = j. Is n greater than 0?
False
Suppose -5*t - 18 = -8. Suppose -5*m + 0 = 2*x - 19, -5*x = -2*m + 25. Let y = 3 - m. Is t at most as big as y?
True
Let s be 1*(-2)/15*-3. Which is smaller: s or 0?
0
Suppose 0 = -3*n - 2*g + 12, 4*n + 2*g = -g + 17. Suppose 3*u - n = 1. Is u bigger than 2?
False
Let h = -0.7 - -0.81. Is 0.1 <= h?
True
Suppose 0 = 3*b - 6. Which is smaller: 0 or b?
0
Let o = -4 - -1. Suppose -2*a - 4*a = 0. Which is smaller: o or a?
o
Suppose 6 = -2*h - 4*h. Which is bigger: h or -1/2?
-1/2
Let z = -220/623 + 6/89. Let x be (-4)/(-6)*(-9)/(-6). Which is greater: z or x?
x
Suppose -3*z + j + 5 = 0, 2*j + 7 = 2*z + 3*z. Let g(x) = x - 1. Let p be g(z). Let u be 28/48 - p/8. Are u and -1 equal?
False
Let l be 2 + (-3 - (-2 + 2)). Let d be 174/270 - 3/15. Is d at least l?
True
Let h = -13 - -15. Let b = 38 + -56. Let r be (-3)/b - (-1)/h. Is 2 not equal to r?
True
Let x = 9 - 16. Let u = 9 + x. Is u > -1?
True
Suppose 209 + 736 = 3*z. Suppose -5*n = -0*n + z. Let q be (0 - -1)*7/n. Which is smaller: -1 or q?
-1
Let s = -2/257 + 532/2313. Which is smaller: -1 or s?
-1
Suppose -4*z + 2*l - 14 = 0, -l = 4*z + z + 14. Suppose 3*q - 10 = -2*q. Let s = z + q. Which is smaller: 2/5 or s?
s
Suppose m - 48 = 4*m. Is -17 at most m?
True
Let l = 41837/2127 - 2/709. Which is bigger: 19 or l?
l
Let u = -5 + 12. Which is smaller: u or 8?
u
Let w = 16/43 - 950/473. Is -3 < w?
True
Let s be (4 - (-6)/(-2))*-3. Let a = -2 - s. Is 1 bigger than a?
False
Suppose -5*f = 123 + 157. Is f < -56?
False
Let y = -6 - -5. Let x be (-90)/(-21) + (-4 - y). Let i = 20/21 - x. Is 0 >= i?
True
Let v = -5 + 4. Let d = -126/5 - -25. Which is greater: d or v?
d
Let n = 30234/5 + -6117. Let z = n - -70. Which is smaller: z or 0?
z
Suppose 3*f - 4*f + k = -1, -3*k - 6 = -2*f. Is -12/5 bigger than f?
True
Let w(r) = r + 1 - 3 - 1 - 1. Let s be w(4). Which is greater: s or 1?
1
Let q = 219 + -222. Suppose 22 = y - 6*y + 2*x, 0 = 2*x - 2. Which is bigger: q or y?
q
Let p = 191/4 - 48. Which is greater: 22 or p?
22
Let s = 32 - 125. Let i = s - -557/6. Let q = -88/3 - -29. Is q greater than i?
False
Let c(d) = -2*d**2 + 60*d - 53. Let m be c(28). Is m equal to 57?
False
Let y = 16 + -15.9. Let z = 6 + -6.4. Which is bigger: z or y?
y
Let t(r) = -r**3 - 6*r**2 - 3*r - 6. Let d be t(-6). Let k = d - 7. Let i = k + -4. Which is bigger: i or -6?
i
Let h = 0.08 - 4.08. Let l = -340 - -341. Which is smaller: h or l?
h
Let u be 4 - (-5 - 563/(-63)). Do u and 0 have different values?
True
Let h(k) = -k**3 + 7*k**2 - 3. Let z be h(7). Let j be ((-3)/z)/((-9)/(-2)). Is j not equal to 0?
True
Suppose -y + 3*y + 3*d + 1 = 0, y + 8 = d. Let n be (((-15)/6)/y)/(-1). Are n and -1 unequal?
True
Let q(g) = 4*g**2 + 4*g + 9. Let a(d) = -2*d**2 - 2*d - 4. Let k(b) = -13*a(b) - 6*q(b). Let l be k(-2). Let w = 3 - 1. Is w equal to l?
True
Let s = -0.03 - -0.16. Which is bigger: -1 or s?
s
Let i be 1 - (1/(-2))/((-10)/(-320)). Which is smaller: i or 15?
15
Let m(u) = -1 - 15*u**2 + 2*u**3 + 11*u**2 - u**3. Let a be m(4). Is -2/5 less than or equal to a?
False
Let c(f) = f + 2. Let r be c(0). Suppose r*k + s = 2, -s = -5*k - 2*s + 11. Which is smaller: 4 or k?
k
Suppose -3*z = -6 - 21. Let b be (z/30)/(48/(-20)). Is b != 0?
True
Let o be 0*(-1)/2 + 2. Let k be ((-2)/6)/(o/(-18)). Let g = 3 - k. Are g and 1/2 equal?
False
Suppose -4 + 0 = 4*g. Let i be (-6)/(-8) + (-2 - g). Which is bigger: -1 or i?
i
Let s(h) = h + 3. Let o be s(-7). Is -4 at least as big as o?
True
Let j = -0.8 - 2.6. Does j = -1?
False
Let k = -22 - -21.9. Suppose 0 = -0*i - 2*i + 12. Let f = i - 2. Are f and k equal?
False
Let o(s) = s + 17. Let u be o(-12). Suppose 0 = -2*p + 3*h + 16, u*h = 4*p - 34 + 4. Is p <= 9/2?
False
Let c(t) = -2*t - 24. Let b be c(-11). Which is smaller: 0 or b?
b
Let t be (4/(-62) + 0)/2. Is 0 at least as big as t?
True
Suppose -t - c = 2*t - 5, 0 = 5*t + c - 5. Suppose 0 = 4*v - 5*l + 21, -4*v + v - 2*l - 33 = t. Which is bigger: -2 or v?
-2
Let b be (-106)/(-10) - 10/25. Suppose -16 = 4*f, 36 = 2*w - 2*f + 8. Let x = b - w. Is x greater than or equal to -1?
True
Suppose 0 = -p + 1 + 4. Suppose 5*k + 0*m + p*m = 10, 0 = -m. Suppose -5*c + 5 = -0. Which is smaller: k or c?
c
Suppose -3*t = -3*x - 0*x + 15, -t - 5*x + 25 = 0. Which is bigger: 6/5 or t?
6/5
Let z(m) = -4*m**3 + 33*m**2 - 9*m. Let h(n) = -n**3 + 8*n**2 - 2*n. Let o(f) = 9*h(f) - 2*z(f). Let y be o(6). Let t be (2/3)/(2/3). Is t bigger than y?
True
Let s = -9 - -7. Let x be (2 + 0 + s)/(-1). Suppose 0*h - 2 = 2*h. Which is bigger: h or x?
x
Let b be (11 + -14)*5/(-3). Let j = -1 + 9. Let h be j/(b/(15/6)). Which is bigger: 6 or h?
6
Let z = -15039/28 + 537. Which is smaller: -1 or z?
-1
Suppose 0*d = 4*d + 60. Which is bigger: d or -16?
d
Let j = -125 - -126. Let t be (-4)/(-6) + 23/(-3). Let y = 10 + t. Is y less than j?
False
Let j = 0 + 1. Let y be 3*14/(-6)*-1. Let z be (-2)/y + (-48)/(-70). Is j greater than z?
True
Suppose -t - 18 = 2*t. Let p be 2/t - 4/(-12). Let r = -593/5 - -119. Which is smaller: r or p?
p
Let r be 23/(-5) + (-6)/(-10). Suppose 4*z - 7 = -5*j, -2*j + 25 = -5*z + 3*j. Which is bigger: z or r?
z
Let b = 0 - -1. Let n = -15 + 17. Is n at least as big as b?
True
Let m = -0.7 - -0.73. Let b = 2.03 - m. Which is bigger: b or -2?
b
Let q(y) = -4*y + y + 4*y. Let w be q(2). Which is greater: -1 or w?
w
Let b = 14 + -7. Are b and 1/3 equal?
False
Let z = -8 + 47. Which is bigger: 0 or z?
z
L