 - w. Let y = g + 0. Is 0.2 bigger than y?
False
Let k be (38/4)/(5/10). Which is smaller: 18 or k?
18
Let q(u) = -2*u**2 - u. Let d be q(-1). Let n be (-164)/21 + (-16)/(-24). Let x = n - -7. Is x < d?
False
Let o = -9 + 9.1. Do o and -10 have the same value?
False
Let i = 3 - -2. Let w = -6 + i. Let p = -5 - -5. Is w < p?
True
Let c be ((-2)/(-5))/((-1)/5). Is -2 greater than or equal to c?
True
Let j = -26 - -29. Suppose -7*m + 3*m - 12 = 0. Is j < m?
False
Let s = -14/5 - -37/15. Let z(d) = -d**3 + 6*d**2 + 7*d - 3. Let w be z(7). Let j be (2/w)/((-2)/3). Which is bigger: j or s?
j
Let f = -0.54 - -6.44. Let d = -7.6 + 1.6. Let x = f + d. Which is smaller: -1 or x?
-1
Let x be ((-1)/3)/((-13)/(-78)). Suppose -c - 11 = -3. Let a be 0*x*2/c. Is a bigger than -1?
True
Let v = 21 - 13. Let d be 4/(-14) + v/(-168). Does -1 = d?
False
Let o = -0.11 + -0.09. Which is greater: o or -1?
o
Let v(z) = z**3 - z**2 + z + 2. Let g be v(0). Let j be (12/18)/(g/3). Is j at most as big as 4/5?
False
Let b = 4.6 + -5. Let t = b - -0.4. Is -2 at most as big as t?
True
Let c = 302/5 - 61. Let o = 3 - 5. Let f = 2 + o. Is c at least as big as f?
False
Suppose 5 = 3*j - 7. Suppose 37 = j*q - 3. Is 9 != q?
True
Let i be (-3)/4*(-168)/(-14). Let w(s) = s**3 + 8*s**2 - 10*s - 10. Let o be w(i). Let f = -1/132 - 27/308. Are f and o unequal?
True
Suppose p = 5*p. Let z be (-20)/6 - 3*-1. Let q = 1/15 - z. Does q = p?
False
Let h(d) = d**2 + 12*d + 11. Let t be h(-9). Let f be (-10)/t + 6 + -7. Is 1 bigger than f?
True
Let k = 2 - -1. Let p = -8 + 6. Let r = p + k. Is r less than or equal to -1/5?
False
Let g be (-3)/9*2*-1. Let n = 4 - 4. Let x = n + 3. Which is greater: g or x?
x
Let n be 2/(-12) - 1001/42. Let k be n/5 - 5/25. Let x = 3 + k. Which is smaller: -3 or x?
-3
Let q = -36/5 + 118/15. Suppose 0 = -2*j - g + 9, 2*j + 0*g - 19 = -3*g. Which is smaller: j or q?
q
Suppose 5*o - 5 + 0 = 0. Is 2/7 less than or equal to o?
True
Suppose h = 5*b - 9, 2*b - 4*h = -9*h - 18. Which is smaller: b or 0?
0
Let y = 0.1 - -0.9. Let g(s) = s**3 + 9*s**2 + 6*s - 1. Let f be g(-8). Let j be f/12 + (-2 - 0). Which is smaller: y or j?
j
Let y be 3*-1*2/6. Let o = -766/5 - -153. Is y at least o?
False
Let v(i) = i**2 + 6*i. Let c be v(-6). Let b = -2.94 + -0.06. Which is greater: c or b?
c
Suppose 0 = -0*c + 3*c - 6. Let q be (c + -1)*(-8)/100. Is 0 at least q?
True
Let j = 33 - 32. Which is bigger: j or -2/7?
j
Let w be (-8)/2*(52/16 - 3). Is w equal to -1/17?
False
Let h = -6 - -9. Suppose -h*l + 2*l = 0. Let j = -141/4 + 35. Which is bigger: j or l?
l
Let j = -21.98 - -22. Which is greater: j or -1?
j
Let l be (2 - 3)*(-4)/(-6). Suppose 5*a + 6 - 11 = 0. Suppose a + 2 = -3*o. Is o at most as big as l?
True
Let v be 2/(-1)*62/(-4). Let o be (-8)/v*(-3)/4. Let k = o + -80/93. Is -0.2 less than or equal to k?
False
Let k = 125 + -76. Which is smaller: 48 or k?
48
Let c(o) = 7*o + 4. Let a be c(-1). Which is bigger: a or 0?
0
Let t = 27 - 29. Which is greater: t or -1/6?
-1/6
Let h be (-7 - -10) + 254/(-64) - -1. Are 0.1 and h nonequal?
True
Let j = 2197 - 1567. Let a be 1/(2 - j/317). Let t = -80 + a. Is -1 bigger than t?
False
Let z be (8/20)/(3/(-5)). Which is bigger: z or 2/3?
2/3
Suppose 0 = 7*v - 10*v - 12. Which is smaller: -6 or v?
-6
Let j(d) be the first derivative of -d**4/4 + 5*d**3/3 + d**2/2 - 4*d - 2. Let o be j(5). Are o and 0.2 nonequal?
True
Let k(u) = -15*u. Let n be k(-1). Let d(y) = y**3 - 14*y**2 - 16*y + 15. Let c be d(n). Which is smaller: 8 or c?
c
Let i = 13 + -14. Which is smaller: i or 1/7?
i
Let s be 5/(-10)*8*5/8. Suppose -4*m + p = 11, -4 = 3*m + p - 1. Do m and s have the same value?
False
Let a = 338/105 - 62/21. Which is smaller: -1 or a?
-1
Let v = -15/22 - -2/11. Do -1 and v have different values?
True
Let s = -4.3 + -0.7. Let m = -4.8 - s. Let k = -0.1 + m. Is k at most as big as -3?
False
Suppose -5*r = -7*r - 26. Which is greater: r or -12?
-12
Let g be (-2)/5 - 390/(-600). Which is smaller: g or -7/2?
-7/2
Let t = -38 - -34. Let z = 0.1 - 0.3. Are z and t non-equal?
True
Suppose -2*a - 1 - 1 = 0. Is a equal to -3/8?
False
Let q(r) = r**3 - 3*r**2 - 3*r - 4. Let n be (-1 - -1)*(-2)/(-4). Suppose x - 6*x + 20 = n. Let s be q(x). Is s at least as big as -4/3?
True
Let o(h) = 3*h + 11. Let r be o(-4). Which is greater: r or -3/23?
-3/23
Suppose 0*m - 4 = 2*s + 2*m, -3*m = -2*s + 11. Suppose g = -s + 2. Let z(b) = b + 3. Let o be z(-3). Does g = o?
False
Let u = -35.3 - -23.4. Let y = 12 + u. Is 0 less than y?
True
Let h(u) = -u + 3. Let v be h(3). Suppose 5*x - 10 + v = 0. Suppose x*k - 6 = -2*r, 2*r = -k + 4*k + 1. Which is bigger: k or 2/7?
k
Let p = 4 + 0. Let v be 2*(3 - 1/2). Which is smaller: p or v?
p
Let b = 51 - 52. Let w be 11/90*(-10)/4. Let f = w + -4/9. Is f bigger than b?
True
Let u be 2/8*(-256)/(-352). Let w = -2 + 2. Which is bigger: u or w?
u
Suppose -5*j = -10 + 5. Suppose s + 2*s = 9, k + 27 = -4*s. Let w be 3/k*(3 + -1). Which is greater: w or j?
j
Suppose 0 = 12*j - 10*j - 24. Which is bigger: 14 or j?
14
Let o = 90 + -991/11. Let c(n) = -n**3 + 8*n**2 - 11*n - 7. Let j be c(6). Is j != o?
True
Let t = 0 + -0.1. Let h = -9/17 + 47/153. Is h > t?
False
Let q be (1/3)/(3/18). Suppose -5*k - 4 = 6*f - 4*f, -4*k = q*f + 2. Does -2 = k?
True
Suppose 28*y - 30*y = 2. Which is smaller: 3/46 or y?
y
Let r(y) = -4*y - 15. Let i be r(-6). Suppose -n + i = -4*n. Is -5 equal to n?
False
Let f(c) = c**2 - 6*c + 8. Let h be f(7). Suppose h = 2*l + 3*l. Let p(w) = -w + 10. Let q be p(8). Which is bigger: l or q?
l
Let l = 3 - 5. Let s(d) be the second derivative of -d**5/20 + 5*d**4/12 + 7*d**3/6 - 4*d**2 - 2*d. Let k be s(6). Is k smaller than l?
False
Suppose 2*c + 20 = 7*c. Suppose -5*q - 5*u + 121 = 1091, -c*u + 20 = 0. Let x = -992/5 - q. Which is greater: 0 or x?
x
Let z be (-1)/(-5) - 1/5. Let a be 9/22*16/12. Which is smaller: z or a?
z
Let d = 0.7 + -0.76. Let i = d + -0.14. Which is smaller: i or -1?
-1
Let d = -241 + 1191/5. Which is smaller: -4 or d?
-4
Suppose 0 = -27*q + 26*q + 3. Let o = -4 + 8. Which is smaller: o or q?
q
Let t(z) = -z**3 + 2*z**2 + 3*z - 4. Let d(b) = -b + 1. Let p be d(-2). Let h be t(p). Let k be 1*-2 - h/(-4). Which is smaller: -4 or k?
-4
Let z be 14/6*(-104)/(-182). Is z greater than 2?
False
Let u = -1 + 4. Suppose 0 = u*r - 13 + 4. Which is smaller: r or 2?
2
Let s(i) = -i**3 + 5*i**2 + i - 3. Let b be s(5). Suppose -4*u - 16 = 3*c, c - b*u = -c + 8. Which is smaller: c or 3/4?
c
Let i = 2.65 + 0.25. Let r = 3 - i. Let m = -0.2 + r. Is -2 at least as big as m?
False
Let v = -706 - -4931/7. Which is greater: v or -3?
v
Let k = -7 - -6.44. Let f = k + 0.06. Which is greater: f or 0.1?
0.1
Let v = 16 + -16. Let w = v - -0.1. Which is smaller: w or 6?
w
Suppose -6 = -y + 5. Let t(k) = 2*k**2 - 4*k + 4. Let z be t(4). Let v = y - z. Are -9 and v equal?
True
Suppose -24 = -x + 5. Let d be x/9 - 2/9. Let n be 5/d*6/(-15). Is n less than 0?
True
Suppose h = 5*h - 44. Is h less than 13?
True
Let j(u) = u + 9. Let h be j(-9). Suppose 2*f + 4*n - 26 + 10 = 0, h = n - 4. Let w = 1/9 - 4/9. Is f smaller than w?
False
Let z = 2139/1708 - 1/427. Do 2 and z have the same value?
False
Let t = -3 + 8. Let n = 50.9 + -51. Which is smaller: t or n?
n
Let v(z) = -19*z**3 + 2*z**2 - 3*z + 1. Let t be v(1). Let w = -24 - t. Which is bigger: w or -2?
-2
Let m = 1.18 + -0.18. Which is smaller: 8 or m?
m
Suppose 5*p - 5*r = -35, -4*p + p + 5*r = 25. Let b = 4 - 8. Is p <= b?
True
Let t = -10 - -10.19. Which is smaller: t or 0.2?
t
Let w be (-12 - -11)*(-1 + 3). Let i be (1/(w/6))/2. Are -1 and i non-equal?
True
Let m = -0.46 - -0.39. Which is greater: m or 6?
6
Let s = -1.024 + 0.024. Which is greater: s or 1.5?
1.5
Suppose -4*c + 16 = -3*c. Suppose -8 = -2*o + 2*z, -5*z - c = -o - z. Which is greater: 2 or o?
2
Let g be 0 + 1/(-2)*1. Let a be (-1 - (2 + -6))*2. Suppose 22 = -2*i + 4*q, -2*i + a*q = q + 27. Is g equal to i?
False
Suppose 4*f - 4 = -0. Let j be 2 + -1 + (1 - f). Is j not equal to 2/3?
True
Let n(y) = 4*y + 3. Let s be n(4). Suppose 5*z - s = -4. Suppose -2 - 1 = -z*w. Is w < 0?
False
Let s be (-6)/8*2/(-3). Let d be 2/(1036/(-1028) + 1). Let a = -1281/5 - d. Which is greater: s or a?
a
Let y be ((-72