t equal to -2/3?
True
Let h be ((-38)/(-8))/((-1)/4). Let a be (0 + 4 + h)/(-8). Which is smaller: 1 or a?
1
Suppose 2*p - 3*p + 51 = 0. Let f be (-3)/408 - 6/p. Is f smaller than 0?
True
Let q = 40 - 39. Is 11/9 at least as big as q?
True
Let w(g) = -g**3 + 5*g - 2. Let p be w(2). Which is bigger: 1/22 or p?
1/22
Let x = 0.3 - 0.4. Let d = x - 0.9. Let f be (-1)/(((-27)/(-6))/(-3)). Are f and d equal?
False
Let n(m) = -m**3 + m. Let s(k) = -3*k**3 - 9*k**2 + 5*k - 13. Let y(z) = 4*n(z) - s(z). Let x be y(9). Let o be (-3)/(-2)*x/6. Which is smaller: o or -1?
-1
Let a be -4 - (-6)/63*57. Is 0 bigger than a?
False
Suppose -3*n + 8 = 2*b + 1, 3*n - 3*b - 12 = 0. Let z = -2 + n. Let i = -2 - -2. Which is bigger: z or i?
z
Let q(w) = -3*w + 1. Let i be q(1). Let o be i/5 - (-32)/(-20). Suppose 0*n - 3*n = -2*f - 15, -5*n = 5*f. Is o at least f?
True
Suppose g = 2*m - 24, -5*m + 3*g = -g - 57. Is 35/3 at most m?
True
Suppose 3*m - 1 = -7, 3*m + 6 = z. Are z and 3 nonequal?
True
Let b = 39 - 32. Is 6 != b?
True
Let g = -54 + 56.1. Which is smaller: 0.1 or g?
0.1
Suppose 20 = -4*u + 5*s, -2 - 2 = u - s. Suppose i - 3*i + 5*x = 3, -x = -2*i + 1. Let v = i - 1. Is u > v?
False
Let v(s) = -s**3 - 8*s**2 - 11*s + 6. Let w be v(-6). Which is bigger: 2/99 or w?
2/99
Let i = -0.1 - -1.1. Let s = 1.9 - 0.9. Let y = s + i. Which is greater: -1 or y?
y
Let p = 2572.99 + -2554. Let w = 19 - p. Is w smaller than 0.1?
True
Let y = 46 - 16. Is y != 29?
True
Let a = -29 - -32. Which is smaller: -7 or a?
-7
Let h be -3*2/(-9)*3. Suppose -h*v - 2*v = t + 17, -2*v - 16 = -2*t. Which is smaller: 4 or t?
t
Let x = 1.2 - 0.9. Which is bigger: x or 3?
3
Let c be 4/(-2) + (-1886)/(-154). Let j = c + -73/7. Let h(x) = x - 8. Let g be h(8). Which is greater: g or j?
g
Suppose -2*c + 18 = -3*v + 6, -2*c = -6. Let w(y) = -y**3 - 5*y**2 - 6*y - 4. Let l be w(-4). Suppose 0 = 2*o + l. Are v and o equal?
True
Let v be -39 - (0 + (0 - -1)). Let t be (-216)/v + 2/(-5). Which is greater: t or 11/2?
11/2
Let c = -190/9 - -21. Let f(w) = -w**3 - 2*w**2 + 2*w - 3. Let r be f(-3). Is r not equal to c?
True
Suppose -k - k + 4 = 0. Let b = 0 + k. Let j = 13 + -41/3. Which is bigger: j or b?
b
Let d be (-29)/3*28/(-3). Let v be (-30)/7*(3 + -24). Let b = d - v. Is b smaller than 1?
True
Let o = 1.04 + -0.64. Is o smaller than 4?
True
Let o(g) = -4*g - 23. Let a be o(-6). Is 1/31 greater than a?
False
Suppose 0 = 4*g - u + 1, -3*u + 0 + 12 = -3*g. Does g = 2/25?
False
Suppose -7 = 4*b - 39. Suppose -2*m - b = -4*m. Is m <= 2?
False
Let q = 9 + -5. Suppose q*f = 10 + 6. Let y = 0.07 + -0.17. Is y <= f?
True
Let u(a) = -a**3 - 9*a**2 - 14*a - 6. Let h be u(-7). Is h at most as big as 2?
True
Let i = -5 - -6. Let q(c) = -c**2 + 6*c - 2. Let g be q(5). Let f = i - g. Which is greater: f or -1?
-1
Suppose 5*i = -3*y - 4, 5*y + 20 - 2 = 3*i. Let h be 0 + (3 - i) + 1. Suppose -p = -2 + h. Which is smaller: -1/5 or p?
p
Let t = 26 - 105/4. Is -1 at most t?
True
Let g(l) = -l**2 - 5*l - 3. Let o be g(-5). Let a be 1 - 2 - (8 + o). Which is smaller: a or -8?
-8
Let l = 0.01 + -0.13. Let p = 0.02 + l. Is 3 less than or equal to p?
False
Let h = -0.2 - 0.1. Let j be 2/(-16)*1*2. Is h <= j?
True
Suppose -52 = -4*y - 4*k, -2*y = -y + 5*k - 1. Let g = -10 + y. Suppose -3*z = 2*t + 2*t + 8, 0 = 2*t + 4*z - g. Is -4 <= t?
False
Let y = -1.3 - -0.3. Suppose -3*o - b = 8, 3*o + 2 = 2*b + 9. Is o less than or equal to y?
True
Let r = 13 - 9. Which is smaller: -2 or r?
-2
Let r(d) = d**3 + 8*d**2 + 7*d - 1. Let h be r(-7). Let o = 3347/15 + -223. Is o less than or equal to h?
False
Let c = 38 - 26. Suppose 1 = -z, -z = -2*q + 1 + c. Which is smaller: 7 or q?
q
Let d = 9 + -8.1. Let j = -1.6 + d. Let n = 3.3 - j. Which is smaller: 1 or n?
1
Let z be (0/(-2))/(20/10). Let n be (-5)/(35/(-6))*1. Which is smaller: z or n?
z
Let l = -11.9 - -14. Is l != -0.2?
True
Let d = -0.3 + 0.309. Let g = d + 5.081. Let s = -0.09 + g. Which is smaller: s or -0.1?
-0.1
Let s = -55/107 + 11177/34026. Let l = s - -1/53. Does l = 1?
False
Let u = -6 - -14. Let q = 6 - u. Which is smaller: q or 0?
q
Let z = -2726/3 - -2836/3. Let x = 9866/37 + -178918/777. Let w = x - z. Which is greater: -2/3 or w?
w
Suppose -3*v = -4*v + 4. Suppose 2*d - v*p + p = -6, -p = -5*d - 2. Let i be 4 - (3 + 15/10). Which is greater: i or d?
d
Suppose -a = 4*a. Which is bigger: 9/7 or a?
9/7
Let y = -3.1 + 0.1. Is y smaller than -0.1?
True
Let g = 41 - -34. Is g at least 75?
True
Let x = 2.11 + -0.11. Let q = 0.01 - -0.39. Let g = 0.5 - q. Which is bigger: g or x?
x
Let k = 22 - 14. Suppose 3*s + 3*x = -3 - 9, 4*x = -k. Which is greater: s or -3/2?
-3/2
Let o = 0.07 + -6.07. Let j = o + 6.8. Let y = 0.83 - j. Is 1 <= y?
False
Suppose -2*i - 25 = -0*i - 5*u, 0 = i - 3*u + 15. Let n be 4/(-6) - (-34)/6. Suppose 0 = -4*g - n*w + 9, -g + w = -i*w. Are g and 0 non-equal?
True
Let a be 3/((-3)/(-4)) - (-1711)/(-472). Let u(o) = o**2 + 6*o + 4. Let b be u(-5). Which is smaller: b or a?
b
Let i = 4 + -3. Suppose 0 + i = u. Which is smaller: u or -0.03?
-0.03
Suppose 0 = -25*w + 20*w - 15. Let c(b) = -5*b + 7. Let k(l) = 6*l - 8. Let u(q) = 5*c(q) + 4*k(q). Let t be u(6). Is w < t?
False
Let s = -1 + -2. Let m be (5/s)/5*-3. Which is smaller: 5/6 or m?
5/6
Let n = 11 + -14. Is n smaller than -1?
True
Let n = -33 + 37. Is -7 > n?
False
Let p = 1 + -14. Which is smaller: -12 or p?
p
Let d(o) = o**3 - 2*o**2 - 2*o - 6. Let g be d(3). Which is greater: -4 or g?
g
Suppose -g - 3*q - 36 = 2*g, -5*g - 52 = 3*q. Let n be 124/g + (-1)/(-2). Let h be ((-2)/n)/((-2)/12). Is h less than -1?
False
Let y = 0.035 - -0.965. Which is smaller: -29/4 or y?
-29/4
Let s(v) = 66*v**2 - 7*v - 7. Let l be s(-1). Does -1 = l?
False
Let w = 2 + 1. Suppose -5*q + 6 = -s, w*q + 0*q = -s + 18. Is 9 >= s?
True
Let a(s) = -5*s - 3. Let t be a(3). Let p = -3 - t. Suppose 4*y - 2*r = -3*r + p, -3*r = 3. Are 5 and y nonequal?
True
Let w(u) = 5*u**2 - u. Let a be w(1). Let i be 27/(-63)*2/a. Which is smaller: 0 or i?
i
Let d(t) = 4*t + 19. Let i be d(3). Is 29 <= i?
True
Let y be 6/10 + (-2 - -2). Let d = 1.4 + -1.4. Which is greater: d or y?
y
Let p = -0.044 + -1.956. Is p less than -67?
False
Suppose 3*n + 0*n = 6. Let w be (-2)/n*(-3)/(-3). Let i = -1/58 + -109/406. Do w and i have the same value?
False
Let j(h) = -h**2 - 5*h + 5. Let b be j(-5). Let a be (b + -2)/(6/4). Is 4 less than or equal to a?
False
Suppose 1 = l + 13. Is -12 at least l?
True
Suppose -4 = -3*p + 2*p. Suppose -8 = p*h + 4*m, 0 = -3*h + 5*m - 2 + 4. Is h bigger than -1/3?
False
Suppose -11 = -4*q + 17. Let o = 5 - q. Which is smaller: -1 or o?
o
Suppose -5*s - 5 = -p, 4*s - 3*p = 2 - 17. Which is smaller: s or -1?
-1
Let v(n) = -4*n - 2*n - 8 - n + n**2. Let b be v(8). Do b and -2/9 have the same value?
False
Let j = 78 + -111. Is j greater than or equal to -33?
True
Let g = 76 + -381/5. Which is greater: g or -1?
g
Let u = 1 - -3. Let k = -1 + u. Which is smaller: k or 2/7?
2/7
Let o(f) = -10*f + 44. Let i be o(6). Which is greater: -17 or i?
i
Let c = 3 + -21. Is -18 at most as big as c?
True
Let f = 6 + 8. Let b = 3.8 + -3.8. Which is bigger: f or b?
f
Let f = 0.25 + -4.25. Is f at most as big as -0.2?
True
Let k be (-3 - 81/(-12))*-4. Let d be (-11)/15 - 6/k. Which is smaller: d or 3?
d
Let v = -18.1 - -17.9. Let l = -0.1 - -0.2. Let d = -0.1 + l. Which is smaller: v or d?
v
Let i = 4 + -2. Let j = 3 - i. Let n be 4/j + (5 - 7). Does n = 2?
True
Suppose -p = -3*p - 10. Let b = -1 - p. Suppose -5*t + y + b = 17, -5*y - 10 = 0. Which is smaller: 1/2 or t?
t
Let p be 6/(-4)*(-4 - 150/(-36)). Is -2.1 smaller than p?
True
Let n be -3 - (2/11 - 140/44). Is n < 2/21?
True
Let t = 0 + -0.05. Let q be 3/1 - (1 - 4). Let u be (((-4)/q)/2)/1. Is t greater than u?
True
Let f(s) = s**2 - s + 24. Let c be f(0). Suppose 5*i = -20, i + 3*i = 5*h + c. Let m = h + 7. Which is smaller: m or 1/4?
m
Suppose 3*u + 14 + 0 = -4*p, -2*u - p - 1 = 0. Let d = -2 + u. Let f(i) = i**2 - 5*i + 3. Let t be f(4). Is t less than d?
True
Let z be (-39328)/(-12) + 2/3. Let r be z/(-42) - (-4)/(-14). Let j = r - -77. Is 0 at most as big as j?
False
Suppose t = -2*m - 8, 3*t + 3*m + 16 = t. Let d = -3 - t. Let s be 14/(-8)*(4 - d). Which is greater: 1