 = -3 + y. Is a less than -4?
False
Let p(y) = 2*y**2 + 3*y + 1. Let c be p(-3). Which is greater: c or 11?
11
Suppose 0 = 2*s - l - 0*l + 1, 5*l + 19 = 2*s. Suppose -4*d - 4 = 4. Which is smaller: d or s?
s
Let w = -0.53 - 1.47. Is -0.2 bigger than w?
True
Let j = -43/147 + -2/49. Suppose 3*x - x = 4. Suppose 0 = x*s + 3*g - 6, -g + 8 = s + 3*g. Which is smaller: s or j?
j
Let y = 0.16 + -4.66. Let v = 4 + y. Let q = v - -0.4. Are -0.4 and q non-equal?
True
Suppose 5*m + 79 = -4*l, 0*m = -3*l - 2*m - 68. Let s be l/1*2/4. Let w = s - -66/5. Is w at least 0?
True
Let y = 7522/33 + -228. Let r = -2 - -3. Which is smaller: r or y?
y
Let r = -16 - -18. Which is smaller: 1 or r?
1
Let b be -2 - (48/4)/(-2). Suppose -b*g - g = 5. Which is greater: g or 1/9?
1/9
Let f = 0 + 0.17. Let h = f + -0.07. Are h and -4 equal?
False
Let w = -2 - 14. Let o be 2/w*18/(-6). Are 1/4 and o equal?
False
Let m(w) = w**3 + 3*w**2 - 3*w - 2. Let n be m(-4). Let f be 12/27*(-9)/n. Let l(i) = i + 4. Let j be l(-2). Which is greater: f or j?
j
Let j(t) = -t**3 - 2*t**2 - t - 1. Let f be j(-2). Let s be (-12)/9*(-1)/(-6). Are s and f unequal?
True
Let l be (-2)/6 - (-2)/6. Let v be (4/(-27))/(104/12). Let z = v + -212/1287. Is l smaller than z?
False
Let x = -977/10 - -98. Suppose 0*a = 2*a. Is x greater than or equal to a?
True
Let z = -5.69 + 6. Let o = -0.11 + z. Which is smaller: o or 0.01?
0.01
Let b = 12 + -7. Suppose -3 + b = 2*f. Which is greater: f or 2?
2
Suppose 0*l = 2*l - 4. Which is greater: l or 3?
3
Let v = -4/45 + 2/15. Which is greater: 1 or v?
1
Let k be ((-3)/4986)/(9/(-120)). Let l = 25073/52353 - k. Let j = l + -5/27. Which is smaller: 1 or j?
j
Let o = 0.1 - 5.1. Let a = o - -6. Which is smaller: a or -0.1?
-0.1
Suppose -2*o + 5*o = 24. Let m be (-1)/(1/(o/(-92))). Which is smaller: 0 or m?
0
Suppose 11*z = 8*z - 54. Do -16 and z have the same value?
False
Let h(c) = c - 4. Let k be h(8). Suppose -4*w = -w - 9. Which is bigger: k or w?
k
Let c = -87.9 + 84. Let q = c - 0.1. Let t = q + 5. Is t less than 1?
False
Let f = 95 + -94.9. Which is smaller: f or 0.19?
f
Let a = 89 - 85. Which is smaller: a or -5?
-5
Let v(z) = 2*z. Let u be v(-1). Let n = 6 + -8. Is u smaller than n?
False
Let g = -14 + 14.2. Is g at least 2/5?
False
Let d be (-1)/(-2) - 400/(-32). Suppose d*w - 10*w = 6. Let y be (3/(-2))/((-10)/4). Do w and y have the same value?
False
Let t = -4 + 2. Let c = 230 - 228. Which is greater: c or t?
c
Let q(h) = h**2 - 5*h - 6. Let t be q(6). Let g be (8/(-42))/(8/12). Is g at least t?
False
Let z = -0.1 - 0.9. Which is smaller: -1/4 or z?
z
Let j be (-10)/(-4)*(-422)/(-20). Let u = -53 + j. Is u smaller than 1?
True
Suppose -5*v + 12 = 4*c, -c = -v - 1 - 2. Is c smaller than 1?
False
Let t = 38 + -35. Which is bigger: t or 5/3?
t
Let g = 13 + -9. Let v = -3 + g. Is 0.2 < v?
True
Suppose 0 = 3*h + 4 + 5. Which is greater: -0.08 or h?
-0.08
Let o(c) = c**3 - 7*c**2 - c + 4. Let m be o(7). Let t = m - -2. Let d = -34 + 135/4. Which is smaller: t or d?
t
Let d be (-10)/(-80)*(-2 + -1). Which is smaller: d or -1?
-1
Let n = 10 - 7. Let w = 0 - 7. Let z = w + n. Is z <= -4?
True
Let y(s) = -17*s - 8. Let o be y(-7). Let z = o - 998/9. Which is greater: z or 0?
z
Let a be 0/3 - (-24)/5. Which is smaller: a or 2/3?
2/3
Let o = 2/13 + 9/26. Which is smaller: o or -0.32?
-0.32
Let k be (-2 - 1) + (-8)/16. Which is smaller: -3 or k?
k
Let x be (-12)/2*(-4)/30. Let n be (3 + -3)*(-8)/16. Which is smaller: x or n?
n
Let h = -0.3 + 0.2. Let q = h - 0.1. Let l = q + 1.2. Which is bigger: l or -1?
l
Let k be 8/6*33/1474. Which is bigger: -1 or k?
k
Let d = 35 + -45. Which is greater: d or -37/4?
-37/4
Let d(u) = 5*u**2 - 1. Let s be d(-1). Let i be 21/12 + 1/s. Let w = -138 + 136. Is w != i?
True
Suppose w - 12 = -3*w. Let x be -3*(-1 - 8/(-18)). Which is smaller: x or w?
x
Let b = -31 - -19. Let a = 18 + b. Which is greater: 2 or a?
a
Let n be 6/(-4)*(-2 + (-202)/(-102)). Which is greater: n or 1?
1
Let x be (-1 + -1)*(-2 - -1). Is x at most as big as 4/3?
False
Suppose 5*n = -8 - 32. Is n not equal to -6?
True
Let n = -17557/44 + 399. Is n bigger than -1?
True
Let a(k) = -k + 2. Let u be a(2). Suppose -4*f + u*w = 2*w + 14, 2*f - 2*w = -10. Let n be 2/(-8)*f/3. Is n at most -1?
False
Let h be 10/4 - (-1 + 3). Let n = 2/159 + 308/795. Is h greater than n?
True
Suppose -3*m = -7*m. Let i be (-3)/34*-58 + (-163 - -158). Which is greater: m or i?
i
Let w = -10 - -15. Let z = 3 + w. Suppose 0 = -4*s - 0*s + z. Is 1 < s?
True
Let f be (3/(-6))/(3/54). Is -10 at most as big as f?
True
Suppose 3*a = 7*a - 12. Suppose -3 = -f + 5*y, -5*y = 4*f - 2*f - 6. Is f at most a?
True
Let f(j) = j**3 + 6*j**2 + 5*j + 1. Let g be f(-5). Are g and 1 equal?
True
Let n(l) = l**2 + 5*l - 2. Let x be n(-6). Let q = x + -7. Let a = 9.9 + -10. Which is smaller: a or q?
q
Let v be ((-2)/(-22))/((-6)/18). Is 1 greater than or equal to v?
True
Let s(k) = k - 2. Let c be s(5). Let h = 8 - c. Suppose 2*p = -4*y - 4, 5*y + h*p = -0 - 10. Does -2/13 = y?
False
Let j = 85 - -7. Let l be (-4)/14 - j/(-224). Which is bigger: l or -1?
l
Let m = -20 - -14. Let x(h) = -3*h - 4. Let g be x(-8). Let a be ((-6)/g)/(m/(-5)). Which is greater: 1 or a?
1
Let b be 2/3 - (-42)/(-36). Let f = 77 - 77.17. Which is bigger: f or b?
f
Let w = -5 + 7. Let t = w - 0. Is t at least as big as 1?
True
Let w be 12/(-15)*(-6170)/28. Let b = 176 - w. Let v = 20 + -98/5. Which is smaller: b or v?
b
Let n = 5 + -11. Let o = 0 - 6. Are o and n non-equal?
False
Let k = 0.02 - 2.02. Is -1/9 less than k?
False
Suppose -f + 9 = -0. Let s = 10 - f. Which is smaller: s or -2?
-2
Suppose 245 = 17*i - 12*i. Is i less than 49?
False
Let j(n) = -n**3 + 15*n**2 - 13*n - 16. Let u be j(14). Let r be -15*-4*u/8. Is r >= -15?
True
Let g be -2*-1*(-7)/2. Which is greater: -9 or g?
g
Let r(z) = 5*z. Let q be r(-1). Let i be -4 - (4/(-22) - (-10)/55). Which is bigger: q or i?
i
Let c(t) = t**3 - t - 3. Let g be c(0). Let u be (g/2)/(75/(-40)). Is 1 greater than u?
True
Let k be 4 + -1 + (-2 - -1). Let x = k + -1. Suppose 2 + x = 3*r. Which is bigger: 2/9 or r?
r
Let j be (4 + -3)*16 - 4. Is j <= 11?
False
Suppose -3*q = -d - 0*d + 12, 0 = -3*d + 3*q + 6. Let p be 0 + 0 - (2 - 2). Which is smaller: p or d?
d
Let y be ((-4)/(-6))/((-56)/(-42)). Which is smaller: y or -5?
-5
Let r be (-5 + 6)*63/(-3). Let s = r - -22. Is 0 bigger than s?
False
Suppose 3*o - 4*o + 11 = 5*p, o - 2*p + 10 = 0. Let g = o + 4. Let f = g + -1. Which is bigger: 0.1 or f?
0.1
Let d = -10 + 14. Is 4 bigger than d?
False
Let o = 6 - 13. Let a = o + 10. Suppose a*t + 13 = 5*l, -3*l + 8*l - 5 = -5*t. Does t = -5/3?
False
Let p = -5/13 - -38/65. Which is smaller: -1 or p?
-1
Let i(f) = -12*f - 1. Let a be i(-1). Let r be ((-1)/2)/(a/2). Suppose 0 = 2*y - 2*l, -3*y = -l + 3*l - 5. Which is bigger: r or y?
y
Let r be 0 + (1960/2)/(-4). Let t = r + 1721/7. Which is greater: 1 or t?
1
Let l(i) = i**3 - 6*i**2 + 6*i - 1. Let k be l(5). Let g be ((-6)/(-4))/((-2)/k). Is g at least as big as -2?
False
Let z = 28 - 21. Do 8 and z have the same value?
False
Suppose -10 = -t - 4*t + x, -15 = -3*x. Let g(h) = -h**2 + 3*h + 5. Suppose 17 = 3*y - 5*m - 15, 0 = -2*y - 2*m. Let q be g(y). Which is greater: t or q?
t
Let k = 40 - 83/2. Which is bigger: -2 or k?
k
Let r = -2 + -1. Let s(q) = q**2 + q. Let v be s(r). Suppose -5*z + 3*i - 3 = v, 12 = 5*z + 4*i. Which is smaller: z or 3/8?
z
Let v be ((-20)/(-6))/((-598)/(-246)). Let x = 99/71 + -4265/1633. Let w = x + v. Is 0 equal to w?
False
Let t = -3657/14 + 261. Are 1 and t non-equal?
True
Let h = 1 + 10. Suppose 0 = 2*j + h + 5. Is -7 less than j?
False
Let x = 9 - 9. Which is greater: 1 or x?
1
Let l(p) = p**3 + 6*p**2 - p - 8. Let h be l(-6). Which is smaller: h or -0.3?
h
Let b = -4.9 - -5. Is -0.1 equal to b?
False
Let x be (-4)/3 - 1/(-3). Let l = -15 - -31. Suppose -a = -0*a - 3*c + 10, -4*a + 4*c - l = 0. Is x > a?
False
Let v = 37 + -53. Is 0.1 bigger than v?
True
Suppose -4*l - 2*m = 0, l + m = -m - 6. Suppose l*o = -o. Suppose 0 - 2 = -2*b. Which is smaller: b or o?
o
Let o = -22 + 21. Let d = 0.2 + 1.8. Let u = d - 1. Which is greater: u or o?
u
Let q = 2 - 2. Which is greater: q or 2/15?
2/15
Let y = 1.6 + -1.4.