3.3?
False
Let w = -14 + 13.5. Let a = 4 - 3.6. Let s = w + a. Which is smaller: 0.2 or s?
s
Suppose -20 = -3*s + 25. Suppose -3*n = -0*n - s. Which is greater: 4 or n?
n
Let h be (-2)/11*(-9)/99. Is h less than or equal to -1?
False
Let d = -589/35 - -122/7. Which is smaller: 1 or d?
d
Let d be (14/(-8))/((-3)/(-12)). Let q = -5 - d. Suppose -f - q*f = 0. Do 0.2 and f have the same value?
False
Let d = -8/71 + -2611/142. Let p = -19 - d. Let u be (3/2)/(6/(-8)). Which is smaller: u or p?
u
Suppose 6*b - 25 = b - 5*v, b + 15 = 4*v. Suppose 0*i + 4*i - 4 = 0. Is i bigger than b?
False
Suppose z - 4*w + 0*w + 9 = 0, -3 = -w. Let k(p) = -p**3 + 3*p**2. Let n be k(z). Let r be 2/(-2) - 6/(-8). Is r smaller than n?
True
Suppose 0*m + 10 = 5*m. Suppose m*n = n. Let h = 4 - 3. Is n < h?
True
Suppose 0 = 2*d - 4*t - 6, -t - 5 = 3*d. Which is greater: d or 2/19?
2/19
Let o = 20 - 22. Is o at most -1?
True
Let y be (1 + 18/(-16))*1. Let c(b) = b - 9. Let h be c(11). Suppose v = h*v. Is v less than y?
False
Let v be (-4)/((3 - 12) + -1). Which is smaller: v or 0?
0
Suppose 0 = 2*h + 2*n + 4, -5*h - 2*n - n = 18. Suppose -2*q + 0*q = 24. Let o be (-1)/q + 2/h. Is o < 0?
True
Let v(d) = -d**2 - d + 6. Let y be v(0). Let s be (y/20)/(4/(-10)). Let c be 3*(-2)/(-15) - (-60)/(-150). Is c < s?
False
Let p = 23.9 + -24. Is p <= 0.18?
True
Let o(s) = 17*s - 5 - 3 - 2*s. Let m(q) = -7*q + 4. Let w(l) = 13*m(l) + 6*o(l). Let j be w(3). Does 1 = j?
True
Let a be (-16)/12*(4 + -1). Let l be (-4)/a - -3*1. Suppose -2*n = -3*n - l. Is n smaller than -4?
False
Let l(w) = -w - 3. Let v(q) = q - 11. Let t be v(8). Let a be l(t). Do a and 0 have the same value?
True
Let u = -1/9 - -7/9. Which is smaller: u or 2?
u
Suppose -2*w - 1 = -w. Let i = 1 - 1. Which is smaller: i or w?
w
Let i = 5.98 + -6. Let c = 0.01 - i. Let v = 0.03 - c. Which is greater: -6 or v?
v
Suppose 5*v + 0*v - 50 = 0. Let x(w) = w**2 - 10*w - 3. Let g be x(v). Let z(p) = -2*p**3 - 2*p + 1. Let d be z(1). Is g at most d?
True
Let d be (0 - 6/(-8))*4. Suppose d*v + 2*v = -25. Is v at least 0?
False
Let m(q) = q**3 - 2*q**2 - 3*q + 5. Let b be m(2). Is 2/13 < b?
False
Let w be 9/(-7) + -1 + 2. Is 1 at least w?
True
Let r = -15 + -6. Do r and -22 have different values?
True
Let g be -3 + ((-21)/30 - (-3)/15). Which is greater: -3 or g?
-3
Suppose -3*l - 14 = 16. Is -2 > l?
True
Let f = 4 + -3. Let p = 1.52 - 1.62. Which is smaller: f or p?
p
Let c(i) = -i - 4. Let w be c(-3). Let l = 65 - 713/11. Is l smaller than w?
False
Suppose -5*h = -3*h. Which is greater: 2/73 or h?
2/73
Suppose g + 8 = -2*i - 2*g, -5*i + 5*g = -30. Suppose -c = i*c - 45. Let o = c - 10. Which is smaller: o or 4?
4
Let m be (-14)/(-3)*18/12. Let h(b) = -b**3 + 8*b**2 - 6*b - 8. Let r be h(m). Is -0.1 equal to r?
False
Let z = -0.6 + 3.6. Let r = -2.99 + z. Which is smaller: r or 0?
0
Let c(l) = -l**3 + 5*l**2 - l + 5. Let x = 3 + 2. Let m be c(x). Which is smaller: 1/27 or m?
m
Let c be 1 + -3 + 960/464. Are 0 and c unequal?
True
Let b(n) = n**2 + 7*n + 9. Let l be b(-5). Let f be -3 - 4/(64/(-36)). Is l > f?
False
Let y = 20420366/117 - 174532. Let x = 8/9 - y. Is x greater than or equal to 0?
False
Let w(n) = -n**3 - 12*n**2 - 13*n - 15. Let j be w(-11). Suppose j = -3*x + 1. Which is bigger: x or -6/5?
-6/5
Let i = 0.091 + 0.899. Let k = i + 0.01. Which is bigger: -0.5 or k?
k
Let r(h) = -h**2 + 14*h - 14. Let u be r(13). Let s(f) = -f**2 - 4*f + 1. Let m be s(-4). Let b = -3 + m. Which is bigger: b or u?
u
Let v = -36 - -35.9. Is -7 >= v?
False
Let u(b) = -b**2 - 3. Let h be -3 + 5 - (3 - 1). Let m be u(h). Which is smaller: -5/3 or m?
m
Suppose -2*x - 39 = x. Which is smaller: x or -14?
-14
Let m(k) be the second derivative of -k**3/6 - 13*k**2/2 - 4*k. Let f be m(-6). Which is bigger: f or -6?
-6
Let z(m) = -m**2 - 2*m**2 - 3*m**3 + 4*m**3 + 2 + 4*m**2. Let w be -2 + -1 + 2/2. Let g be z(w). Which is smaller: g or -3/2?
g
Suppose -10 + 0 = -5*l. Let v = -8 + l. Which is smaller: -0.1 or v?
v
Let l = 12 - 7. Let q = l + -5.2. Which is greater: q or 1/2?
1/2
Let v = 0.015 + -3.015. Do v and -1/4 have the same value?
False
Let q = -92 + -5. Let o = q + 487/5. Is o bigger than 2?
False
Suppose 5*h - 14 = 3*j, 3*j - 4*h - 2 + 15 = 0. Let k be (j/(-2))/((-6)/(-8)). Which is greater: k or 0?
k
Let w = 3 + 1. Suppose 4*v - 4 - w = 0. Let s = v + -2. Are 0 and s equal?
True
Let c = 1 - 3. Let u = 2575/6 - 431. Let a = u - -1/2. Is c at least a?
False
Let n be (6 - -2 - 10)/(-2 + 4). Let z = 38339/39 + -983. Which is smaller: z or n?
n
Suppose -14*f = -15*f + 11. Which is bigger: f or 78/7?
78/7
Suppose -4*z = 4*o - 20, -14 = -3*o + 2*z - 4*z. Let p(n) = -n + 8. Let y be p(4). Is y less than or equal to o?
True
Let u = -40.1 - -40. Is u equal to 4?
False
Let m be (-5)/35 - 2/(-112). Let r = -5/24 + m. Let x(d) = d + 1. Let l be x(0). Which is smaller: l or r?
r
Let a be (-2)/(-8)*2*8/4. Which is bigger: a or -1/15?
a
Let v = -39 + 39. Is v at most 0.19?
True
Let b(y) = -2*y**2 - 5*y - 10. Let x(l) = l. Let w be x(-7). Let a be b(w). Let m = -297/4 - a. Which is greater: m or -2?
m
Let i = 2 + -1.9. Let r be 50/168*(-2 - -1). Let d = -1/28 + r. Which is smaller: i or d?
d
Let t = -379/4 + 2609/28. Let k = t + 13/7. Which is bigger: k or 1/7?
k
Suppose 2*y = -4*k + 6*y + 4, -k - 2*y = 14. Let t = -3 - k. Let d(z) = -z - 3. Let f be d(-5). Which is smaller: f or t?
t
Let u be (8/(-6))/((-4)/18). Suppose 5*p - p - 24 = 0. Is p < u?
False
Suppose 5*a - 32 = -3*t - 8, -5*t - 28 = -3*a. Let q = -2 - -8. Is a less than or equal to q?
True
Let x = -7.8 - -9.8. Are x and 2 equal?
True
Let w be 25/(18/(9/(-3))). Is w bigger than -3?
False
Suppose -5*z - 9 = 2*n + 2*n, -z = -4*n + 21. Let j(x) = -x - 6. Let t be j(z). Does -4/13 = t?
False
Suppose 0 = 4*k + 3*m - 6, 1 + 0 = -k - 2*m. Suppose 3*g + 3*v - 18 = 0, 5*g - v = 6 - 0. Suppose a - 3*t - 6 = g*a, k*a + 4 = -2*t. Which is smaller: a or -1?
-1
Suppose -5*q + 10*q + 479 = 4*y, 0 = -y + 2*q + 119. Is 121 at least y?
True
Let g = -41 + 22. Which is smaller: 2 or g?
g
Let h(r) = r**2 + 3*r + 4. Let w be h(-3). Suppose -4*l + 3*t = l, 0 = 2*l + t - 11. Are w and l nonequal?
True
Let r(q) = q**3 + 4*q**2 - 5*q - 1. Let f be r(-5). Suppose 0 = 2*p - 3*g + 5, 0 = 3*p - 5*p + 4*g - 8. Let c be (1/(-3))/(p/4). Is c at most as big as f?
False
Let j(y) = 26*y + 207. Let t be j(-8). Let o be ((-2)/(-45))/((-1)/(-6)). Is t at most o?
True
Suppose 8*b - 3*j = 5*b - 6, 4*j - 8 = 0. Let x(y) = -y**2 + y - 5. Let i be x(b). Let f be (-10)/i - 5/2. Is f less than 0?
True
Let d = -2 - -1. Let s = -0.12 - 0.88. Are d and s nonequal?
False
Suppose 4 = -4*z + 36. Let x be ((-6)/z)/(108/96). Which is greater: 6 or x?
6
Let n(i) = -3*i**3 + 1. Let a = -2 + 4. Suppose 0 = -3*w - a - 1. Let q be n(w). Is 4 bigger than q?
False
Suppose 0 = -s, -4*p - 5 = -s + 3. Let h be 6/(-1) - 9/(9/2). Let r be 15/p*h/12. Which is smaller: 6 or r?
r
Let j = 0.008 - 2.108. Is j not equal to -0.1?
True
Let m be (-2)/8 - (-9)/(-12). Let v = m + -2. Let r(d) = d**2 - 8*d - 1. Let z be r(8). Which is smaller: v or z?
v
Let j be (16/(-24))/(1/(-6)). Let p be (-51)/(-9) + j/(-6). Is p at least 5?
True
Let c = -3 + 2.99. Let d = c - -0.11. Which is greater: -1/9 or d?
d
Let h be 0 + 0 + (6 - 4). Suppose h*v - 1 = -l + 3, 2 = v. Is -2/27 less than or equal to l?
True
Let d = 182/3 + -61. Suppose 11 = -h - 5*s, 0*s = 2*h + 2*s + 6. Let x be (-1 + 1)/(2/h). Which is smaller: d or x?
d
Let n = 2 - 1. Is 6 at least as big as n?
True
Let t = 112/9 + -1250/99. Let y(q) be the second derivative of q**5/20 - q**4/3 - 5*q**3/6 - q**2/2 + 6*q. Let d be y(5). Do d and t have the same value?
False
Suppose -z + 72 = 198. Let i be (-26)/z + 16/72. Suppose 3 + 4 = -2*k - 3*p, 2*p = k - 7. Which is bigger: i or k?
k
Let s be (-1)/3 + (-5)/(-9). Let i = -33 + 32.5. Is i at least as big as s?
False
Let u be (0 + 1 + -1)/(-2). Let j = -1 + u. Let n be (-4 - -1) + (1 - -2). Which is greater: n or j?
n
Let u = -0.02 - -0.1. Let d = u + 0.02. Is 1 at most d?
False
Let p = 227/7924 - -2/283. Is 1 < p?
False
Let n(m) = 3*m**2 + m - 3. Let b be n(-3). Let q = b - 36. Let z be (-9)/(-6) - q/(-12). Which is smaller: z or 0?
0
Let i = -25/2 + 13. Which is greater: 