al to t?
False
Let u = 31 + -27. Suppose u*f - 6 = -26. Which is bigger: -6 or f?
f
Suppose -2*v + 5*v = 5*v. Suppose v = -4*z - 48 + 36. Is z less than -0.2?
True
Let m = -28 - -37. Let y = m + -9.2. Are y and -0.06 unequal?
True
Let f be 2/3 + 0 - (-100)/525. Are 4 and f unequal?
True
Let j(l) be the second derivative of l**3/6 + 13*l**2/2 - 23*l. Let b be j(-15). Suppose -2*n = 3*n. Do b and n have the same value?
False
Suppose 76 = 2*s - 28. Suppose 0 = -m + 5*m + s. Let t = m + 13. Which is smaller: 3/8 or t?
t
Suppose 2*l + 6 = -4*l. Let f be (l/3)/(-5 + 56/12). Does f = 10/19?
False
Suppose 5*d = 3*v + 36, 3*v + 3*d = 4*d - 24. Let o = 7 + v. Which is bigger: o or 3/5?
3/5
Suppose -2*c - 5*g + 13 = 0, -16*c + 2*g = -20*c + 2. Let y = -359/7 + 51. Is y at least as big as c?
True
Let w = -6.45 - 9.55. Is w bigger than -1?
False
Suppose 2 = -a + 2. Let c be 2 + (-1 - a)*3. Is c at most -5?
False
Let x be 3*(-92 + 19)*2/6. Is 0.3 <= x?
False
Let f = -333 + 332.7. Is -59 <= f?
True
Suppose -7*h - 748 + 615 = 0. Is -25 less than or equal to h?
True
Let z(d) = -d**3 - 7*d**2 + 1. Let r be z(-7). Let m be (-36)/51*r/(-3). Suppose -3 = 4*w + v, 5*w - 2*v = -1 - 6. Is w smaller than m?
True
Let n(l) = l**3 - 29*l**2 - 3*l + 86. Let f be n(29). Is 15/41 bigger than f?
True
Let u = 9 - -1. Suppose 132*y - 117 = 119*y. Is u not equal to y?
True
Let a(x) = -x**2 + 5*x + 5. Let m be a(5). Let u(s) = s - 15. Let v be u(15). Suppose v*i = m*i - 5. Which is smaller: 3/4 or i?
3/4
Suppose 5*z = 0, 5*a + 645*z = 640*z + 245. Is a at most as big as 49?
True
Let b = 5 + -3. Let w(x) = 3*x - 68*x**2 - 13 - 5*x + 39*x**2 + 30*x**2. Let t be w(-3). Do b and t have the same value?
True
Let x = 15 - -73. Let b = x + -171/2. Let i be -4 + 0 + 9 + -1. Which is greater: i or b?
i
Let c(b) = -b**3 + 5*b**2 + b. Let n be c(5). Suppose -12 = -8*g + n*g. Suppose -p + 2 + 1 = 0. Are g and p nonequal?
True
Let s = -237.0867 - -0.0867. Is s greater than or equal to -0.1?
False
Let a = 51 + -51.03. Let m = a + -0.01. Which is greater: -5/3 or m?
m
Let o = -12.4 - -12.9. Which is bigger: 7 or o?
7
Let p(q) = -4*q + 13. Suppose 0 = -0*n - 11*n + 33. Let j be p(n). Is j less than or equal to 2?
True
Let a = 0.0242 + -335.0242. Which is bigger: 1/2 or a?
1/2
Suppose -2*o = 3*m + m + 2, 5*o + 35 = 5*m. Suppose 27 = 2*y - 4*y + 5*g, m*g - 7 = -3*y. Is 4 equal to y?
False
Let q(r) = 6*r - 55. Let h be q(9). Which is bigger: -1/136 or h?
-1/136
Let y = -1.919 - -0.919. Is y less than 171?
True
Suppose -4*u + 1 = 5*i + 2, -u - i - 1 = 0. Let d be (-5320)/104 + u/(-26). Which is greater: d or -52?
d
Let g(w) = w + 17. Let y be g(-12). Let a be y*((-6)/(-105))/(-1). Suppose -2*n = -n. Do n and a have the same value?
False
Let r = 10/13 + -183/52. Let v = 76 + -78. Which is greater: v or r?
v
Let c be (3/(-6) - -2)/((-4)/(-280)). Are c and 103 equal?
False
Let k = 119 + -166. Which is greater: 2/3 or k?
2/3
Let l = -48 + 127. Suppose 5*s - 45 = -2*o + 2*s, 5*s = 4*o - l. Is 21 at least as big as o?
True
Let n = 0.81 - -4.19. Let x = 97 + -482/5. Is n less than or equal to x?
False
Suppose -181 + 165 = -4*c. Is c > 0?
True
Let m = -40 - -40. Let n = -4/23 + 82/207. Is n >= m?
True
Let l = 13 + -12.6. Let q = -0.32 + l. Let a = q - 1.08. Which is greater: 0.02 or a?
0.02
Suppose -2*n = g + 8, 3*n + 20 = -2*n - 3*g. Let t be n - -2 - (-76)/36. Let x = -2/9 - t. Which is bigger: x or -0.3?
-0.3
Suppose -8*c = -0*c - 56. Is -1 < c?
True
Suppose -11 - 1 = -a. Let i = a + -16. Let d be (-6)/i*(-6)/(-9). Which is bigger: -1 or d?
d
Let n = 39 - 41. Let v be (n/(-5))/((-5)/(-150)). Which is greater: 8 or v?
v
Suppose 16 = -4*x - 0*x. Let n be 2/x*26 - -1. Which is smaller: n or -14?
-14
Let o = -68 + 67.44. Let q = -0.07 + o. Are q and 0 non-equal?
True
Suppose 2*c + 7 = -3*h + 1, c + 3 = -4*h. Is 1/4 greater than or equal to c?
True
Suppose 4305 = 3*t + 1074. Let j = -44155/41 + t. Which is smaller: -1 or j?
-1
Let k = 0.0275 + -2.0625. Let o = k - -0.035. Is 10 at least as big as o?
True
Let y = -0.064 + 0.064. Which is greater: -2/3 or y?
y
Let q be (20/8 - 4)*(-68)/(-6). Is q < -0.1?
True
Let w = 438 + -366. Does 71 = w?
False
Let v be (-9)/27*24 + -1*24. Is -24 > v?
True
Let x = 25.957 + 0.043. Let l = -28 + x. Which is bigger: -14 or l?
l
Let p(l) = l**2 - l - 21. Let s be p(0). Let u(y) = y**3 - 7*y**2 + 8*y - 30. Let j be u(6). Let v = s - j. Which is greater: -4 or v?
v
Let r be (-72)/(-10)*50/(-15). Let p be ((-3)/(-6))/((-3)/r). Suppose -2*w + 2 = -5*m, p*w - 2 = -5*m + 2. Which is smaller: w or -1?
-1
Let r = -119 + 135. Is 17 bigger than r?
True
Let w = 4547 + -4551. Let f be 2/16*-1*22. Which is greater: w or f?
f
Suppose 555 = -17*c - 1978. Which is smaller: c or -150?
-150
Let y = -249.56 + 5.56. Let g = -218.1 - y. Let z = g + -26. Do z and -0.1 have the same value?
True
Let l = 0.1 - 1.1. Let g = -385.1 + 385. Is g smaller than l?
False
Let g = 7235374/875 + -8269. Which is smaller: -1 or g?
-1
Let c(j) = j**3 + 3*j**2 + 2*j + 5. Let o be c(-3). Suppose 5*r + 51 - 1 = 0. Let b be (-1 - -1)*r/(-30). Which is smaller: b or o?
o
Let h = -1521 - -1542. Which is bigger: h or 50?
50
Let j(g) be the first derivative of 3*g**2 - 40*g - 12. Let o be j(6). Which is bigger: -14/3 or o?
o
Let y(h) be the second derivative of -111*h**5/20 - h**3/3 - 3*h**2/2 - h - 1. Let o be y(-1). Is 109 greater than or equal to o?
False
Suppose 0*q = -5*q + 2*o - 29, -3*q - 9 = 3*o. Let l = q + 16/3. Is l less than or equal to -0.01?
False
Let w(a) = -a + 13. Let p be w(3). Suppose -6*d + p = -d. Which is smaller: d or 3?
d
Suppose a = -7*a + 1576. Which is greater: 196 or a?
a
Let b be (-28 + 280/14)*1/(-20). Are -354 and b nonequal?
True
Suppose k + 128 = -2*l, 786 = -4*k + 5*l + 300. Is -1 less than k?
False
Let x be (171/4902)/((-3)/(-8)). Is x less than -1/2?
False
Let y(h) = h**3 - 33*h**2 - 22*h - 6. Let d be y(32). Is d at most as big as -1733?
True
Let f = 5.021 - -0.079. Let v = f + 8.9. Is v bigger than -2?
True
Let d = -247 - -276. Is d at least 29?
True
Let g(k) = 4*k**2 - 2*k + 3. Let m be g(2). Suppose 0 = -3*b - 3*c + m, 0 = -2*b + 2*c + 2. Let n = -734 - -3671/5. Is n != b?
True
Let u = 67/3 + -21. Suppose -2*l - 34 = -6*s + 2*s, 4*s - 13 = -l. Let h = 9 + l. Which is smaller: h or u?
u
Let g(p) = p**3 + 5*p**2 + 6*p + 12. Let m be g(-5). Let w = 26 - m. Is 44 > w?
False
Let l = -730 + 906. Is 2/3 at least l?
False
Let u = -125/1169 - 6/167. Are u and -2 nonequal?
True
Let i be 85/(-2)*(-8)/50. Suppose 0 = 12*a - 10*a + 3*j - 22, 38 = 5*a - j. Do i and a have the same value?
False
Let d = 266 - -145. Let n be (-2)/(-8) + 2*d/(-24). Are n and -34 non-equal?
False
Let n be 46/(1 + (-20)/12). Let b = -72 - n. Is b less than -7?
False
Let c = -42.7 - -45. Let f = 2.1 - c. Do -0.3 and f have the same value?
False
Let g = 372 - 385. Do -7 and g have the same value?
False
Let w(f) = f**2 + 3*f + 4. Let u be w(0). Let p be (u/(-186))/(4/(4 - -8)). Is p != -1?
True
Let o(a) = 5*a**3 + 14*a**2 - 2*a + 3. Let m be o(-3). Which is smaller: m or 1/15?
m
Suppose 2*y = 3*b - 2*y + 29, -25 = -5*y. Let c be (3/(-2))/(b/(-4)). Which is smaller: c or -1?
c
Let b = -33.605 + 70.606. Let d = b - 0.001. Is 0.1 at most as big as d?
True
Let v be (2/(-36))/((-454)/796). Let y = v - 722318/6359859. Let x = 4/283 - y. Which is greater: x or 0?
x
Let r = 0.25 + 3.25. Let q = r + -3.5. Let t = 2.2 + -2. Which is greater: q or t?
t
Let t(z) = 2*z**2 - 37*z - 59. Let n be t(20). Are 46 and n nonequal?
True
Let s = -23669/17 - -1393. Which is bigger: s or 2?
2
Let z(o) = 24*o - 130. Let y be z(10). Which is greater: y or 0?
y
Let x(m) = 3*m - 3. Let b be x(5). Let j be 2/5*(-26)/b. Let p = 131/30 + j. Is 5 less than p?
False
Let i be 5/(45/6) - (-2379)/9. Do i and 266 have the same value?
False
Let m(n) = 12*n + 338. Let z be m(-31). Is z at least as big as -101/3?
False
Let h = 9 - 3. Suppose h*a = a. Does a = -3/29?
False
Let t = -534/5 - -4811/45. Which is smaller: 61 or t?
t
Let w = 23 + -19. Suppose 0 = 5*x + 3*m - 4, w*x - 3*m - 14 = -0*m. Let n be x/6 - 51/136. Which is greater: n or -1?
n
Let x(y) = -4*y**3 - 5*y**2 - 6*y - 4. Let o be x(-3). Suppose 13*w - 2*w = -o. Let i be 125/(-20) - (-1 + 1). Are w 