(-2)*(-5)/195. Is 1 less than a?
False
Let j be (-2 - (-4)/2) + -12. Is -9 at least as big as j?
True
Suppose -4 = -2*t - 4*c - 22, 4*t = 3*c - 3. Is t at least as big as 0.39?
False
Let b = -105.051 - -105. Are -1 and b nonequal?
True
Let l be (-6)/4 + (-628)/(-408). Which is smaller: l or 1?
l
Let y = -2.7 + -12.3. Let r = y + 17. Are 2 and r non-equal?
False
Suppose -3*g = -5*q + 43, -4*g - 34 = -4*q - 2*g. Which is smaller: 11 or q?
q
Suppose 0*u - 2*d - 23 = -3*u, 3*d = -2*u + 24. Suppose 0 = u*h - 14*h + 10. Which is smaller: 8/5 or h?
8/5
Let d be (-1 - -3)/(3/2). Let g = 32/15 - d. Suppose -3*y = -v - 2*v, 4*y + 5*v = 0. Which is smaller: g or y?
y
Let b = -0.54 + 0.6. Let p = -0.34 - b. Let j = 1.6 - 0.6. Which is bigger: p or j?
j
Suppose 2*n + 2*d = 8, 7 = -5*n + 4*d - 9. Which is greater: -47 or n?
n
Let p = -13 + 16. Let f = -3.05 + 0.05. Let b = f + p. Is -0.1 != b?
True
Let m be 3/(10/(-4) + 1). Let z = 5 - -2. Suppose -3*o + l + 1 = 0, 4*l = o - 0*l + z. Is o < m?
False
Let m = 6 + -4. Suppose -4*g + 2*f + 56 = 0, 2*f - 3*f = -2. Suppose 0 = 2*x + t + 3, t - g = -m*x + 6*t. Is x at most -1?
False
Suppose 32 = 4*j + 12. Suppose -j*s - l = -3*l + 15, l = -3*s + 2. Is s != -1?
False
Suppose -r - 25 - 13 = 0. Which is smaller: r or -37?
r
Let g(i) = i**2 - 7*i - 2. Let r(x) = x**3 - 5*x**2 - 4*x - 4. Let q be r(6). Let l be g(q). Let a = l - 7. Is a greater than -1?
False
Suppose -3*c = 4 - 16. Suppose 0 = 3*a + a - c. Do -3/10 and a have the same value?
False
Suppose -6 = -4*y - 2*l, 2*y + 2*y - 3 = -5*l. Suppose -3*n + 1 = -y. Which is smaller: n or -1?
-1
Suppose 0 = -2*u + 4*o + 14, -2*o - 3*o + 7 = u. Suppose 3*q = u*q. Suppose -4*b - 5*m = -3*b + 25, q = 3*b + 5*m + 35. Which is bigger: b or -4?
-4
Suppose s = -5*l, -5*l = -10*l - 5*s - 20. Let h be (-2)/(-16) - 2/(-8). Is h less than or equal to l?
True
Let t(y) = y + 5. Let n be t(-6). Let q = 953/8 - 119. Are q and n non-equal?
True
Suppose 3*f + 11 = -4, 3*u + 3*f = -9. Let l be u/4 - 28/(-8). Is l equal to 0.1?
False
Let o = -2 + 3. Let t = 0.035 - 0.135. Which is greater: t or o?
o
Suppose d - 6*d = 10. Let s = -21/2 + 10. Is s at most as big as d?
False
Let t = 0.11 - 5.11. Which is greater: 1 or t?
1
Let x = -34 - -54. Are x and 0 non-equal?
True
Let s(c) = c**2 - 5*c - 4. Let i be s(6). Suppose -4*h - 14 = -i*o + h, -3*h = -4*o. Let f = o + 1. Is 0.2 < f?
False
Suppose 5*f - 57 = 4*k, -4*f + 41 + 1 = -2*k. Suppose -5*x + f*x - 4 = 0. Which is greater: 1/4 or x?
x
Let a(g) = -g**3 + 2*g**2 - 4*g + 2. Let p be a(3). Which is bigger: -0.1 or p?
-0.1
Let h = 101303691/272853350 + -1/189350. Let v be 2/(-4)*4/(-262). Let l = v - h. Which is bigger: 0 or l?
0
Let u(y) = 2*y**2 - 3*y - 8. Let m be u(-3). Is 18 equal to m?
False
Suppose b = 5*b + 12. Let t be -1 - -1 - b/3. Let n = 0 + t. Which is greater: 2 or n?
2
Let f = 16 - 17.6. Let k = f - -1.7. Which is smaller: 1 or k?
k
Let w(z) = -z + 3. Let d be w(3). Which is greater: d or -2/23?
d
Let o = -36.97 - -37. Which is smaller: 5/3 or o?
o
Let x(r) = 3*r**2 + r - 2. Let s(p) = -7*p**2 - 3*p + 5. Let b(m) = -2*s(m) - 5*x(m). Let c be b(2). Does -1 = c?
False
Let b = 6 - 12. Which is bigger: 1 or b?
1
Suppose -2*y - 3*y - 5*x + 30 = 0, 5*x = -2*y + 24. Let a = 5 + -4. Which is smaller: y or a?
a
Suppose 0*b - 3 = -b. Suppose 3*l - 9 = 2*x + 1, l - 15 = b*x. Does l = 1?
False
Let n = 1/16 - -7/16. Let w(c) = -8*c + 4. Let o be w(3). Let q be (-5)/o + 1/(-4). Which is smaller: n or q?
q
Let w = 4 + -16. Let v be 3*2*(-8)/w. Is v equal to 4?
True
Let q = -5 - -5. Let b(y) = 1 - 3 + q - y. Let a be b(-3). Which is greater: 1/3 or a?
a
Suppose 3*v - 14 = 5*v + 3*d, 5*d = -3*v - 23. Which is smaller: v or -2/53?
v
Let x = -5.7 + -1.3. Let a = x - -7.1. Which is smaller: a or 6?
a
Let m = 73 + -37. Is m != 37?
True
Suppose -3*c + 2*s = 5 - 3, 5*s + 6 = 2*c. Let t(o) = -o**3 - 9*o**2 + 10*o + 6. Let y be t(-10). Suppose 4*i = 2 - y. Which is smaller: i or c?
c
Let k = -56.051 - -0.051. Which is greater: k or 0?
0
Let q = 0 + 1. Let h = q + 1. Suppose -4*c = -h*f - 2*c - 8, -3*f - 2 = -c. Which is bigger: f or 0.1?
f
Let j = -198 + 180.9. Let t = 17 + j. Are -7 and t nonequal?
True
Let p = 1/19 + -41/57. Let j = 0.2 - 0.26. Which is smaller: p or j?
p
Let p be ((-4)/2)/(2/(-3)). Suppose -8 = 4*t, 5*s - p*t = -0*t + 31. Suppose 3*q - 6 - 16 = -2*c, 0 = s*q + c - 32. Is 7 at most as big as q?
False
Suppose 0 = b - 0*b. Suppose b*w + 5*w = 10. Suppose 2*k = -k + 6. Is k less than w?
False
Suppose 0 = 2*p - 10 - 0. Suppose -p*g + 6*g - 3 = 0. Which is smaller: 4 or g?
g
Let o = 71 + -1067/15. Is -2 equal to o?
False
Suppose 2*q + 0 = 2. Which is smaller: 0 or q?
0
Let q = 328/2479 - 6/37. Let a = -329/201 + q. Suppose 2*n - 2 = 3*n. Are a and n equal?
False
Suppose 30 = 5*d - 5*c, -2*d + 4*c = -c - 15. Is d at most 5?
True
Let w be 9 + (4 - 9) + 2. Let f be w/2 - (-19)/(-6). Which is greater: 1 or f?
1
Suppose 7*v - 12 = 3*v, -n = 4*v - 14. Let o = 17 + -12. Suppose o*i = 1 + 9. Is i at most n?
True
Suppose 0*t + 4 = -2*t. Let h be (3 - 1) + (t - 2). Is h > -1?
False
Let m = 14291/5 - 2870. Let p = m - -398/35. Which is smaller: p or -1?
-1
Suppose 2*u + 27 = 5*k, u - k + 1 = -5. Let a = u - 2. Is a less than -3?
False
Let q = 62 - 64. Which is greater: q or 3?
3
Let j = -400/9362413 - 21532791337347/4849729934. Let y = -4440 - j. Let f = y - 1007/15022. Which is smaller: f or 1?
f
Suppose -l - 4 = 0, 5*y - 2*y - 3*l - 21 = 0. Which is smaller: y or 5?
y
Let t = -122 - -130.3. Let h = t + 0.7. Is h at most 2/3?
False
Suppose -2*m = -7 + 9. Is 3/14 < m?
False
Let z = -1344 - -17482/13. Which is greater: z or 2?
2
Let b(w) = 2*w - 2. Let q be b(9). Let c = q - 16. Is c at most 6/5?
True
Let j = -53 - -65. Is j < 12?
False
Suppose 0 = k + 5, c - 7 = -5*k + 8*k. Let y be -1 - 4 - (1 - -1). Which is smaller: y or c?
c
Let q = -8 - 4. Is 0.1 at most q?
False
Let n = 0.319 - 0.009. Let j = -0.01 + n. Let h = 0.3 - j. Is h equal to 3?
False
Let p = 32468/35739 + 2/3249. Which is smaller: 1 or p?
p
Let q(k) = -k**3 - 5*k**2 - 4*k + 1. Let l be q(-4). Which is greater: l or 2/13?
l
Suppose -d + 4*b = -11, 5*d + 0*d = -2*b - 11. Is d bigger than -2?
True
Suppose 4*w - m - 4*m + 34 = 0, 3*w = m - 20. Let l(k) = 6*k - k**2 + 2*k**2 - 2 + 1. Let d be l(w). Which is greater: d or -2/3?
-2/3
Let a = 105 + -92.8. Let i = 12 - a. Which is greater: -1/4 or i?
i
Let p = -1 + 0. Let g be 9/(-12) - (-45)/(-20). Let u = g - p. Is u bigger than -3?
True
Suppose 0 = 5*o - 3*o - 30. Let b(u) = -u**2 - 11*u + 16. Let i be b(-11). Is o at least i?
False
Let u(f) = f**3 - 4*f**2 + 3*f - 1. Suppose -r - 5 - 1 = 0. Let h be (1/(-2))/(1/r). Let o be u(h). Is -1 < o?
False
Suppose -3*z - 21 = -2*z. Let l be 1 - (-12)/z - 1. Is l at most -1?
False
Suppose 4*o + 2*f - 18 = 0, 2*o + 16 = 6*f - 2*f. Suppose -o = -0*h + h. Let u = 2 + h. Which is smaller: 1 or u?
u
Let s = -6.9 - -8. Let q = 0.1 - s. Is q smaller than 5?
True
Suppose 0*m + 4*m = 0. Let q(d) = d**2 - 5*d - 6. Suppose -2*z - z = -18. Let y be q(z). Do m and y have the same value?
True
Suppose -4*s + 8 = o, -o + 17 = s + 3*o. Suppose -2*j + 19 = s. Let y be 1/(-1 + j/6). Is 4/5 less than y?
True
Let y = 1.3 - -6.7. Let o = -3.13 + 3. Let v = o + 0.03. Is y at least as big as v?
True
Let u(j) = -j + 9. Let f be u(8). Let i be -3*f/(-8)*3. Let x = i - 29/40. Is -1 equal to x?
False
Suppose -7*a = -2*a + 190. Is -73/2 bigger than a?
True
Suppose -3*c - 2 = -c. Let d be 1 + 102/1 - 0. Let a = d + -415/4. Is a bigger than c?
True
Suppose 2*c + 42 = 4*c. Let m be (-6)/c - (-40)/91. Which is smaller: -2 or m?
-2
Let q(n) = -n + 2. Suppose -4*a = 7*i - 3*i - 20, -a + i - 1 = 0. Let y be q(a). Which is greater: 2 or y?
2
Let i be -3 + 8 - (2 - 1). Let q(p) = -i - 2 + 4 - p. Let b be q(-1). Which is bigger: 2 or b?
2
Suppose -5*q + 5*w = -45, 2*q - 5*w - 16 = 2. Is 11 > q?
True
Let r = 12 - 9. Let k be (-1)/(-1)*(-3)/r. Let w = k + 0. Which is bigger: w or 3/5?
3/5
Suppose 3*j - 8 = -4*l, -4*j + 3*j - 2 = -l. Let d(f) = -2*f**3 + 4*f**2 - 2*f - 2. Let w be d(l). Let g be 2/6*(-3)/w. Which is bigger: g or 1?
1
Let u be (-15)/(-12)*(-33)/(-55). Suppose 5*n = 2*n. Suppose -2*o - 3*o = n. Are o and u equal?
False
Le