?
True
Suppose 0 = -4*s - 1 - 11. Is s <= -3?
True
Let a = 1.28 - 1.1. Let j = a + 6.82. Is j equal to -1?
False
Let c = -24 + 27. Is 5 less than or equal to c?
False
Suppose -2*k = k. Suppose -3*y - l + 23 = -k*l, -4*y + 39 = 3*l. Let f = 18 + -13. Are y and f equal?
False
Suppose 2*v - 5*v - 3 = 0. Let w = v - 0. Let k = -1 - -1. Is w greater than or equal to k?
False
Let j = -0.12 - -0.2. Which is bigger: j or 2?
2
Let q(i) = 0*i**2 + 2*i - 1 + 0*i**2 - i**2 + i. Let r be q(2). Is r equal to 2?
False
Let j be 30/4*104/18. Let h = j - 511/12. Which is bigger: 2 or h?
2
Suppose 2*t = 5*t - 6. Let q be (0/t)/3 - -1. Is 2 less than q?
False
Let z be (8 + 1)/(-3 - 9/(-6)). Do z and -13/2 have the same value?
False
Suppose 4*d = 8 + 4. Let z(g) = g**3 - 3*g**2 + 3*g - 2. Let c be z(d). Let a(t) = -t**2 + 8*t - 3. Let m be a(c). Which is smaller: 3 or m?
3
Let a(g) = g**2 + 3*g. Let l be a(-3). Is 7/6 greater than or equal to l?
True
Let n be (-160)/28 - 10/(-2). Is n at most 0?
True
Suppose -4 = -4*d + 2*d. Let w be (-3)/(3/(-6) + d). Is -3 >= w?
False
Let b be (4/(-3))/(4/18). Let y = -3.1 - -3. Is y greater than b?
True
Let h = -17 + 16. Is h bigger than 0.06?
False
Suppose 4*u + 32 = -3*g - 21, 4*u + 55 = -g. Is u at most as big as -17?
False
Let x = 31.42 - 33. Let v = x - 0.12. Let y = v + -0.3. Do y and -1/3 have different values?
True
Let z(r) = 2*r - 2. Let i be z(1). Is i smaller than 2/19?
True
Suppose -5*q + 5*k + 10 = 0, -5*q - 2*k + 5*k + 6 = 0. Suppose q = -6*u + u. Let n be (-30)/(-200) - (-2)/8. Which is greater: n or u?
n
Let m be 2033/(-76) + (0 - (-1)/(-4)). Which is bigger: -28 or m?
m
Let g(k) = k**3 - 4*k**2 - 6*k + 4. Let a be g(5). Let n = -4 - -3.1. Let s = 1.1 - n. Which is greater: s or a?
s
Let f be 4/10 + 144/40. Suppose -4*l - 17 = -5*c - l, f*c = l + 8. Suppose 14 + 0 = -p + 4*w, 0 = -p + 5*w - 18. Is c less than p?
True
Let c be -1 - (1 + (0 - -1)). Let b = c + 9. Suppose -2*y + b*y = 4. Is 0 greater than or equal to y?
False
Let a = -0.04 + -0.96. Let m = 0.9 + a. Which is greater: m or 2/3?
2/3
Let l = -81 - -242/3. Which is smaller: l or -1?
-1
Let h = 19 + -15. Which is smaller: h or -2/5?
-2/5
Let b(n) = -53*n - 3. Let y be b(-1). Is y at least as big as 50?
True
Suppose m + 5*w = 23, -4*m = -9*m + 4*w - 30. Let u = m - -3. Let y = -4.4 + 4. Which is greater: u or y?
u
Let i = 8 - 8. Suppose 3*f + 72 = -i*f. Let b be (-123)/f - 2 - 3. Is 0 bigger than b?
False
Let o(r) = r**3 + 4*r**2 - 8*r - 3. Let d be o(-5). Suppose -3*m = 4*y + d, m - 3*y = -2*m + 9. Which is bigger: m or 1/4?
1/4
Suppose 41 = -5*i - 24. Is -14 > i?
False
Let k = 31 - 33. Which is greater: k or -5/7?
-5/7
Let c be (20/(-12) - -2) + (-2)/6. Which is smaller: 2/257 or c?
c
Let v(n) = -2*n**3 + 3*n**2 - 2. Let a(x) = -x. Let q be a(-2). Let y be v(q). Let b be ((-3)/6)/((-3)/y). Which is bigger: b or 3/8?
3/8
Suppose 3*l = -2*l + 150. Let p be (-12)/16*16/l. Which is smaller: p or 3?
p
Suppose 4*d - 8 = 4*w, 2*w - 4*d + 8 = 4*w. Let k = -0.5 + 0. Let u = k - -0.4. Is u at least w?
False
Let o be 8/44 - 1638/55. Let u = 29 + o. Which is greater: u or 0.2?
0.2
Suppose 2*l = l. Let z = -3 - -2. Is z at most as big as l?
True
Let c(f) = -f**3 + 13*f**2 + 15*f - 10. Let q be c(14). Suppose i + q = 2*z, -z - 2*i + 10 = 4*z. Is z at least as big as 2?
True
Let k(h) = 2*h - 3. Let c be k(3). Suppose -c*x - 5*p = 2*x + 5, -16 = -2*x + 4*p. Let n(j) = -55*j - 380. Let t be n(-7). Which is smaller: x or t?
x
Let f = 16.1 + -17. Let p = -0.1 + f. Let d = -0.9 - p. Is d <= 2/3?
True
Let u be 0 - 5 - (-6)/2. Let l = u + -1. Which is bigger: -4 or l?
l
Let g(a) = a**3 + 8*a**2 + 5*a - 8. Let t be g(-7). Let w(r) = r**2 - r - 14. Let s be w(5). Is s bigger than t?
False
Suppose 16 = -q - 4*v, -3*v = q + q + 12. Which is smaller: q or 4/25?
q
Let r = -102 - -104. Is 5 less than or equal to r?
False
Suppose 5*a = -61 - 164. Let v be (-6)/a*1 + 0. Let m = 3 + -3. Which is smaller: v or m?
m
Let t(d) = -d**2 - 8*d - 11. Let c be t(-6). Let h be 1/2*2*2. Which is greater: c or h?
h
Let r be (2 - (-4)/(-2)) + 5. Suppose r*i = -0*i. Is -1/2 < i?
True
Let i = 47 - 38. Which is bigger: i or 11?
11
Suppose 3*p + 0*p = 3*j - 12, -2*p = -5*j + 20. Is 0 bigger than p?
False
Let b be ((-3)/(-8))/((-12)/(-8)). Let g = -9 - -8. Let l = g + 1. Is b != l?
True
Let q(j) = j**2 + 15*j + 23. Let w be q(-14). Is w < 2?
False
Let p(u) = u**2 + 8*u + 3. Let d = 1 - 10. Let t be p(d). Let q be (t/9)/((-4)/(-6)). Which is smaller: 0 or q?
0
Suppose 9*y = 4*y - 30. Let o = 33 - 12. Let g be 7/o + 8/y. Is g < -2?
False
Let n = 13 + -13.1. Suppose -5*k + 10*k = 10. Let j = k + -7/4. Are n and j equal?
False
Let r = 13/33 - -3/11. Is 0 < r?
True
Suppose -5*a - 140 = 4*v, 0 = 2*v + 2*v - a + 164. Let j be (-1)/2 + v/(-56). Which is bigger: 1 or j?
1
Let c = -30 + 19. Let m = c - -16. Let i be (-2)/(0 - 4/6). Which is bigger: i or m?
m
Let l(k) = k**3 - 6*k**2 - 6*k - 5. Let b be l(7). Suppose 5*r - y - 9 = 4, r + b*y = -4. Let c be (-4)/r + (7 - 5). Which is bigger: -1 or c?
c
Let f = -4.06 - -0.06. Let i = 0 - f. Let q be 165/(-225) + 1/3. Is q less than or equal to i?
True
Suppose -16 = -2*y + v - 5*v, 4*y - 4*v - 8 = 0. Let z be y/(-16)*(-2)/1. Is 0.11 not equal to z?
True
Let c = -7.6 + 8. Let d = 0.3 - c. Are 5 and d non-equal?
True
Let r = 11 - 7. Let x be r/(-14) - 2/(-7). Suppose -4*o + g - 12 = x, -3*o - 2 = 3*g + 22. Do -2 and o have the same value?
False
Suppose -8 = -5*r + 2. Suppose 5*g + 47 = d, -d + 6*d = -2*g - 35. Let k be (6/(-105))/(1/g). Which is bigger: r or k?
r
Let h(w) = 0 + 8*w - 3 - 2*w**2 + 9*w**2 - w**3. Let y be h(8). Which is bigger: y or -2?
-2
Let j be ((-2)/(-8))/(2/(-4)). Let t = -33 + 33. Which is greater: j or t?
t
Let c = 0 - -0.2. Let l = -0.5 + 2.5. Let u = l + -1.9. Which is greater: u or c?
c
Let k be (396/21)/((-1)/(-7)). Let v = k + -1186/9. Is 1 <= v?
False
Let g = -8 - -5. Let r(i) = i**3 + 3*i**2 - 2*i - 4. Let o be r(g). Which is bigger: -1 or o?
o
Let q be (-4)/(-24) + (-71)/(-6). Which is bigger: q or 11?
q
Let l(p) = 5*p**2 - p + 6*p - 4*p**2. Let z be l(-5). Let m be 1/(-3) + 8/(-12). Which is bigger: m or z?
z
Let x = -49 + 35. Let r = 10 + x. Is 0 less than r?
False
Suppose 0 = 7*f - 10*f. Suppose f = -d + 3*d - 2. Is 2/7 < d?
True
Let n be (-327)/(-12) - (-2)/8. Let m = -28 + n. Which is smaller: m or -3?
-3
Let g = 80 + -479/6. Is 5 at least as big as g?
True
Let u = -24 + 23. Which is smaller: -18 or u?
-18
Suppose 5*g - 9 = -4*h, 5*g - 1 = 4*g. Is h bigger than 3?
False
Let n be 2 + -1 + 35/(-10). Let i = n - -19/8. Let b(p) = -p**3 - 2*p**2. Let t be b(-2). Is i at most as big as t?
True
Let n be 10/(-275)*(-20)/32. Is n <= -1?
False
Let b = -4.2 - 1.8. Which is smaller: 0.1 or b?
b
Let q be (0 - 0) + 0 + 0. Suppose -5*y + 5*o - 55 = q, -3*y + o - 43 = -4*o. Let g be (-2)/y*(-3)/(-1). Which is bigger: g or -1/11?
g
Let d = -15115/6 + 1436303/570. Let i = 5/19 - d. Let h = -3 - -4. Is h less than i?
False
Let f be 2*(0 - (-9)/6). Let q(i) = -2 - 4*i**3 + f + 0*i**2 + 3*i**3 + 6*i**2. Let a be q(6). Is 0.1 bigger than a?
False
Let g = -2 + 7. Suppose 3*b - 1 = 4*w - 7, -w + 5 = b. Which is bigger: w or g?
g
Let v be (8/(-3) + 1)*-6. Let i be 11/v*4 + -3. Is i >= 2?
False
Suppose -t - 2*s - 19 = 0, s - 49 + 6 = 3*t. Is t smaller than 0?
True
Suppose -10 = n - 6*n. Suppose -4*m + 32 = 5*d, n*d + 3*m - 1 = 4*d. Is d > 4?
False
Let u = 12 + -11.72. Let x = u - 0.08. Suppose 8*l = 4*l. Which is bigger: l or x?
x
Let y be (15/2)/((-3)/4). Let q(b) = b + 14. Let f be q(y). Suppose k - 10 = -f*k. Is 2 at least k?
True
Suppose -517 = 2*y + 9*y. Is y > -49?
True
Suppose -3*g + 20 = 2*g. Suppose -4*d + 0 = 3*m - 31, g*m - 24 = -d. Let s be 0/(0 - (d - 2)). Which is bigger: s or -1?
s
Let m = -68.11 + 68. Which is smaller: m or -1?
-1
Let t(i) = i**2 - i - 1. Let j be t(-1). Suppose -48 = -4*s + s. Suppose -6*h + s = -2*h. Is h < j?
False
Let n = -43/70 - -9/10. Let g(m) be the second derivative of m**3/6 + 7*m**2/2 + 4*m. Let x be g(-6). Is x smaller than n?
False
Suppose 20 = -0*s + 5*s. Which is greater: s or 13/3?
13/3
Let t = -4 + 4. Let s = -0.02 - 2.98. Let x = t + s. Is -1 > x?
True
Let b(a) = -a**2 - 9*a + 12. Let l be b(-9). Suppo