ger than b?
False
Let s = -0.3 - -0.2. Let g be (-20)/15*(-1)/4. Which is greater: g or s?
g
Let n be (-1 + 3/(-3))/(-1). Let y be 4/6*(5 - n). Is y smaller than -2?
False
Let w = 1229/494 - 48/19. Are w and -1 nonequal?
True
Suppose -x + 2*c + 5 = 0, 2*x - 2*c - 17 = -3*x. Suppose 4*f - 20 = 0, -2*f = x*y - f - 8. Let p be (0 + y)/(1 - 5). Which is bigger: p or 1?
1
Let a = 1.94 + 0.06. Let c = 2 - 1. Let y = c - a. Which is bigger: y or -2?
y
Suppose -2*k = -0*k + 26. Let j = k + 17. Is 2 at least as big as j?
False
Let t = -36 + 42. Which is smaller: 23/5 or t?
23/5
Suppose -3*t - 34 = -4*y, 4*t + 59 = 5*y + 13. Which is bigger: -15 or t?
t
Let n(r) = r**3 - 13*r**2 - 15*r + 7. Let i be n(14). Is i smaller than -6?
True
Let t(u) = -5*u + 5. Let n(w) = 4*w - 4. Suppose j + 25 = 3*b + 6*j, b + j - 7 = 0. Let h(x) = b*t(x) + 6*n(x). Let s be h(4). Is -2 bigger than s?
True
Let s be (-3 - -3)/(-1 - 0). Suppose s = 5*y - 6*y. Let u be 9/(-6)*(-4)/21. Which is greater: u or y?
u
Let h = 7 - 7.1. Which is smaller: h or 1/6?
h
Let d be (-6)/(-10) + 123/(-30). Which is greater: d or -4?
d
Let g be -24*(4/(-24) - (-3)/90). Suppose -3*w = -w + 8, 3*h = w + 16. Which is bigger: h or g?
h
Suppose -6 = -3*l - 0. Let r = -1 + 3. Suppose -2*k + 3*n + 13 = 0, -4*k + n + r*n = -17. Is l bigger than k?
False
Suppose -2*o - 29 = -x + 3*o, -2*x = -4*o - 28. Let c = x - 12. Let u = 2.9 + -3. Is c not equal to u?
True
Suppose -7 = 3*f - 0*h - h, 3*f - 4*h = 8. Let i be 7/(f*2/(-8)). Is 0.2 > i?
False
Let d = 9 + -9.3. Let w be (-4)/14 - (-2192)/616. Let n = 133/44 - w. Is n bigger than d?
True
Let w = -9 + 12. Suppose 2*l = -w*l + 50. Is 12 > l?
True
Let v(r) = r**3 - 4*r**2 + 6*r - 7. Let f be v(3). Is f at least -6?
True
Let q be 3 + ((-4)/1)/2. Do 2/135 and q have different values?
True
Let l be 3/(-2)*4/6. Let m = -2/83 + -160/249. Which is smaller: m or l?
l
Let m(v) = -5*v + 10. Let y be m(4). Let k be 0 + -1 + (-4)/y. Which is greater: -3 or k?
k
Suppose 8*l + 6 = 2*l. Suppose 4*k = 9 - 21. Which is greater: k or l?
l
Suppose 0 = -4*c - 5*r - 4, -3*r = -4*c - 2*r + 20. Suppose c = -3*o - 2. Is -2 bigger than o?
False
Suppose v + 27 = -2*v - 3*t, -t - 4 = 0. Let l = -1 - v. Suppose -3*q + 2*a - 11 = 0, q + 1 - 16 = -l*a. Is q smaller than -1?
False
Let l = 16 + -14. Suppose l*q = -0 + 22. Do 12 and q have different values?
True
Let y = 0.3 + -0.2. Let d = 0.9 + y. Let o = -289/65 - -23/5. Is o at least as big as d?
False
Let i = -19 - 11. Let f be (10/i)/(2/12). Which is greater: f or -1?
-1
Let s = 15/58 + -1219/5162. Let p = -277/445 + s. Which is bigger: 0 or p?
0
Let l be 2/(-6) - 255/(-9). Suppose -l = -3*r - r. Suppose -2*c - r = 2*w + 5, 5*c - 4*w = -3. Is -3 less than c?
False
Suppose 5*b = 2*b. Let x = -201 - -2213/11. Is b at least as big as x?
False
Let z be 16/4 + 204/(-52). Does z = -1?
False
Suppose -x = -5*t - 16 - 17, 4*x - 2*t - 42 = 0. Let m = x + -6. Let r be (-4)/(-3)*(-12)/(-8). Does r = m?
True
Let y(h) = -h - 1. Let d be y(8). Let v = d + 9. Is v greater than or equal to -0.05?
True
Let k(m) = m + 3. Let f be k(-3). Suppose g + 4*g - 5 = f. Which is greater: -1/6 or g?
g
Let q be ((-9)/21)/((-2)/7). Let t be 5/3*6/30. Which is smaller: t or q?
t
Let q = -160 - -159. Are -2 and q unequal?
True
Suppose 0 = 3*z + 5*h - 34, -4*z = 5*h - 25 - 12. Suppose l = -2*l - 6. Let i be -2*(-1)/(-2)*l. Which is greater: z or i?
z
Let g = -4 - -11. Let i = 71.1 + -71. Which is smaller: i or g?
i
Let i(j) = -2*j - 1. Let n be i(-1). Let d(r) = 2*r - 1. Let b be d(5). Let s be (b/12)/(6/4). Which is greater: n or s?
n
Let b(m) = -m**2 + 8*m + 5. Let w(s) = s**2 - 8*s - 5. Let f(z) = 5*b(z) + 6*w(z). Let q be f(8). Is q smaller than -3?
True
Let b be -1*(0 - (-1 + 1)). Which is smaller: b or -1/4?
-1/4
Let r = 1 + -5. Let h be (-16)/3*6/r. Is h at least as big as 7?
True
Let g = 30 + -17. Which is greater: g or 14?
14
Let n be (6/2)/(5/((-20)/6)). Is n >= -20/9?
True
Suppose -4*v - 17 = -t - 0*t, -4*t - 37 = 5*v. Let q(c) = 2*c**2 + 5*c + 3. Let n be q(t). Suppose -4*k + 14 = -2*k. Which is bigger: n or k?
k
Suppose 0 = 3*i + 2*f - 8, -5*f = -i + 3*i + 2. Let o be 4 + -6 + i/1. Suppose -11 = -3*r - o. Is 4 < r?
False
Let o = 6 + 3. Is o <= 10?
True
Suppose 5*c = 2*c. Let n be (-6 + 6)/(2 + 0). Let b = n + c. Which is bigger: b or 4/11?
4/11
Let t = 9730/19 + -512. Is -2 < t?
True
Let d(m) = -m**3 + 4*m**2 - 5. Let z be d(4). Let p = z - -7. Which is smaller: p or 1?
1
Let l be ((-20)/(-75))/(-2) + (-248)/(-1905). Is l > -1?
True
Let a = 2 + -1. Let l(v) = 3*v**3 - v**2. Let s be ((-4)/6)/((-4)/6). Let b be l(s). Is b > a?
True
Suppose -2*j - 3 = 3. Let g = 165 - 169. Is g less than or equal to j?
True
Let i be 3*3*6/(-27). Let c be 6*1 + i + 1. Suppose -3*p - c*b = -10, 8 = p + 5*b - 12. Is -4 greater than p?
True
Let j = -2 - -1. Let c(f) = f**2 + 7*f - 5. Let d be c(-7). Let o be (d/((-15)/6))/j. Which is greater: -1 or o?
-1
Let k = 6 - 4. Let h be ((-190)/25 - -8)*(-14)/(-4). Which is greater: h or k?
k
Suppose 5*x - 37 = -5*u + 18, 3*u + 5*x = 43. Let z = 11 - u. Suppose 0 = -4*v + z*v + 2. Is 0 at most v?
False
Let h(g) = 3*g**2 + 6 - 4*g**2 - 11 + 4*g. Let u be h(4). Is -6 not equal to u?
True
Let s be ((-5)/(-35))/(6/(-4)). Is 1 != s?
True
Suppose -p + 78 = 81. Let x be 1/(-2) - (-1)/2. Which is smaller: x or p?
p
Let a = 202 - 202.13. Which is bigger: a or -6?
a
Let m = 0.34 + -3.26. Let o = 0.08 - m. Let g = -2.8 + o. Which is greater: 1/2 or g?
1/2
Suppose 0*d - 20 = 4*q + 3*d, -5*d + 10 = -2*q. Is -3 greater than or equal to q?
True
Suppose 5 = -5*b + 4*d + 2, 0 = 4*d - 8. Which is bigger: b or -4/9?
b
Let p = -5 + 8. Let c = -1 + 2. Let a = c + -0.9. Which is greater: p or a?
p
Suppose -14*s = -616 - 378. Does 72 = s?
False
Suppose -17 = -4*q - 5. Suppose 0 = 2*c - q*c. Which is smaller: c or 1?
c
Let o = 16.52 + -17. Let y = 0.08 + o. Which is smaller: 1 or y?
y
Let t(m) = 2*m - 5. Let b(q) = q - 3. Let l be 5 - (-2)/(0 + 1). Let c be b(l). Let y be t(c). Is y != 3/2?
True
Let n(h) = 2*h - 2. Let r be n(7). Suppose -3*m + 2*q - 9 = 5*q, -4*m + 2*q + r = 0. Which is smaller: -1 or m?
-1
Let h = 34 + -34. Which is bigger: h or -1?
h
Let o = 0.07 - 1.07. Let d = 5 + -3. Which is bigger: o or d?
d
Let n = -255 + 3823/15. Let w = -3 - -2.9. Is w at least as big as n?
True
Let b = -0.055 + 7.055. Let z = 7.1 - 7. Which is bigger: b or z?
b
Let m be 2 + -1 + 132 + -1. Let o be 2/(-12) - 20414/m. Let c = -155 - o. Are c and 1 equal?
False
Let i(g) = g**2 + 2*g - 5. Let a be i(0). Is -5 greater than a?
False
Let i be (-4)/8 + 10/(-4). Let f be i/4*(-9 - -17). Which is bigger: f or -5?
-5
Suppose 2*y = -h - 6 - 2, 0 = 4*h + 3*y + 7. Suppose 2*r = r - h. Is r <= -3?
False
Suppose -3 = 4*d + 37. Let y be (-2)/4 + d/(-8). Which is greater: -1 or y?
y
Let n = -0.1 - 4.9. Is n bigger than 3?
False
Let l = -105 + 225/2. Which is greater: 9 or l?
9
Let x(k) = k - 2. Let j be x(4). Let u = j + 1. Which is smaller: u or 4?
u
Let t be (0/1)/((-6)/(-3)). Suppose t + 2 = 2*h. Which is bigger: h or 1/7?
h
Let h = -23 - -22.7. Do h and -1/5 have different values?
True
Suppose 12 = 4*w + 4. Suppose -2*m + 3 + 5 = w*s, 30 = 5*s + 3*m. Let n(o) = -o**3 + 10*o**2 - 10*o + 7. Let c be n(s). Is c not equal to 2?
True
Let w = 3 + -9. Let z(h) = -h**3 - 6*h**2 + 8*h + 2. Let v be z(-7). Which is greater: w or v?
v
Let k be 12/18 - (164/3)/4. Are 2 and k non-equal?
True
Suppose -3*o - 76 - 14 = 0. Let v be -3*(o/9 + 3). Let y(j) = j**3 + 3*j**2 - 2. Let q be y(-2). Which is smaller: v or q?
v
Suppose 2*j + 52 = 58. Which is greater: 40/11 or j?
40/11
Suppose h + 21 = 5*o - 3, 0 = -5*h + o - 24. Let z be (-4)/8*(-6)/h. Which is bigger: z or -2?
z
Let r(w) = 2*w**3 - 4*w**2 - 3*w + 3. Let h(u) = u**3 - 4*u**2 - 2*u + 2. Let v(m) = -3*h(m) + 2*r(m). Let q be v(-4). Is q <= -2?
False
Let b = -3/56 - -407/280. Is b greater than 1?
True
Suppose 25 = u + 23. Which is smaller: u or 4/3?
4/3
Let m be (3/9)/((-1)/(-3)). Let c(n) = n**2 - 2*n - 5. Let s be c(-8). Let i = -523/7 + s. Which is bigger: i or m?
m
Let c = -10 - -12. Let t = -1.9 + c. Which is smaller: 0 or t?
0
Suppose -h = h - 10. Suppose -h*s - 55 = -10. Let n be (-2)/s - (-24)/(-27). Are n and -1/4 equal?
False
S