et q = 2 - 1.9. Let g = 3 + -3. Let y = g - -2. Which is bigger: q or y?
y
Let s be ((-3)/27)/((-1)/(-3)). Is s > 7/8?
False
Suppose 3*x + 0*x - 15 = 0. Let b(s) = s - 8. Let d be b(x). Is d smaller than -1/3?
True
Let x = -10 - -9.99. Let r = x + 2.01. Do r and 0 have the same value?
False
Suppose 0 = 2*m - 4, -5*i - 7*m - 105 = -2*m. Let g = -22 - i. Is -3/8 > g?
False
Let a(y) = y**3 + 5*y**2 + 1. Let h be a(-5). Let j be (0/(h + 1))/(-2). Which is greater: j or 1?
1
Let g be (0 - 2) + 3 - -13. Is 14 smaller than g?
False
Suppose 6*z - 30 = 3*z. Let n = 10 - z. Which is smaller: n or 4?
n
Suppose 0 = 5*l + d - 15, 3*d - 7 - 10 = -l. Suppose -2*q = -0*q - l. Is q less than or equal to 5/6?
False
Let z be (-12)/(38/14 + -3). Let c = -124/3 + z. Which is smaller: 1 or c?
c
Let c be 4/6*18/12. Let x be c + 2 - 2/(-2). Which is smaller: x or 3?
3
Let o = -67 + 61. Suppose 0 = 2*x - 5*l + 15, -8 = -5*x - l - 32. Which is smaller: o or x?
o
Let u be (0 + 4/20)/(-1). Which is bigger: 0 or u?
0
Let z be -2*(33/(-6) + 2). Is 8 greater than z?
True
Suppose 15 - 39 = 4*h. Let v be 1*15/(h/2). Let z = v - -8. Is z greater than 2?
True
Let h(u) = -u**3 - 1. Let j be h(0). Let p be j/((-14)/32) - 2. Which is bigger: p or -1?
p
Let k = 3/16 + -1/16. Is k <= -6?
False
Let y(q) = 3 - 7 - 3 - q. Let r be y(-6). Suppose 4*n + n = 0. Which is greater: r or n?
n
Let p(b) = 2*b. Let u(t) = 17*t + 5. Let h(a) = 18*p(a) - 2*u(a). Let f be h(7). Is f at most as big as 3?
False
Let l be 0/(4*(-1)/2). Suppose -5*g + 3*r = 4 + 2, -2*g + 3*r - 6 = l. Are g and 0 equal?
True
Let h(q) = -q**2 - 5*q - 6. Let k be h(-5). Let u = -3 - k. Let s = -3 + u. Are s and -1 non-equal?
True
Let m be 15/(-30)*1*-21. Which is smaller: m or 10?
10
Let f(z) be the first derivative of z**2/2 - 8*z + 1. Let l be f(9). Do 1 and l have the same value?
True
Let x = -23 + 24. Let v = -5873/19 + 309. Is x greater than v?
True
Suppose 3*m = -7 - 44. Let t = -12 - m. Let i = 5 - t. Which is smaller: 1/6 or i?
i
Let z = 10 - 5. Suppose 4 = z*i - 31. Is 6 at most as big as i?
True
Let n = -40 + 38.7. Is -2 greater than n?
False
Let s = 3 + 4. Let w = 11 - s. Let m be 6/(-15)*(-5)/7. Is m >= w?
False
Let t be (-1 - -11) + -1*2. Suppose -6*a + a - 29 = -m, t = 2*m. Let i be ((-8)/(-12))/(a/(-3)). Which is smaller: i or 1/2?
i
Let o be (-2)/(-10) - (-48)/160. Let r = 8 - 11. Which is smaller: r or o?
r
Let i be (656/123)/((-1)/3*-2). Which is greater: i or 7?
i
Let n be (9/(-9489))/(3/2). Let k = n + 291002/9489. Let a = -30 + k. Is 0 equal to a?
False
Let p = 5.3 - 0.3. Let r = -4.6 + p. Let l = -0.3 - -0.2. Which is smaller: l or r?
l
Let w = -0.5 + 0.8. Let p = -0.3 + 0.5. Let t = w - p. Which is greater: t or -0.1?
t
Suppose -4 = 2*l, 4*a + 3 - 11 = 4*l. Let r(v) = -4*v**3 + v**2. Let f be r(-1). Suppose 4*b - f*b - 1 = a. Is -1 < b?
False
Let s = 4 + 1. Suppose 4*r + s = u, 3*u + 0*u + 2*r + 13 = 0. Is u not equal to -2?
True
Let i = 23.07 - 23. Is -0.1 greater than i?
False
Let k = -3385 - -13447/4. Let z = k + 23. Which is greater: 0 or z?
0
Let a be -2 + -2*2/(-4). Suppose -h - h - g - 15 = 0, 3*g - 11 = h. Let v be (2/h)/(7/(-8)). Is v greater than or equal to a?
True
Let p be 5/(-75) - -1 - 1. Let j(o) = 2*o**2 - 1. Let z be j(-1). Which is greater: z or p?
z
Let t be 5/15*((-6)/73)/1. Which is smaller: t or -1?
-1
Suppose 0 = -2*w + 3*q, -19 = -3*w - q - 4*q. Suppose 67 = 3*b + 3*f - f, -3*f = -3*b + 57. Suppose -3*t - b = -0*g - 3*g, -4*g = 4*t + 12. Is w not equal to g?
True
Let k = 67 - 75. Is k not equal to -9?
True
Let f = 0.12 + 6.88. Let v = -6.8 + f. Let l = v - 0.2. Which is greater: l or -2?
l
Let c = 62 - 62. Which is bigger: c or -1/5?
c
Suppose 3*m = 5*y - 11, 3*y + 0*y + 3*m - 21 = 0. Let c be -5 + y - 18/(-14). Which is smaller: c or 0.3?
c
Let p be (1/(-2))/(-1)*-2. Which is smaller: 2/47 or p?
p
Let d(j) be the first derivative of j**3/3 - j**2/2 - 3*j - 1. Let i be d(2). Which is smaller: i or 2/9?
i
Let d be 5/(10/(-8)) + 4. Which is greater: d or -1?
d
Let k be 21 + 2 + -2 + -1. Let c be 8/k - 4/10. Let h be (2/6)/(-2 + 1). Is h != c?
True
Let m = 1 + 0. Let y = -43.6 + 40. Let a = y + 4. Which is greater: m or a?
m
Let t = 2240663/1843530 + -1/28362. Let d = -21/13 + t. Which is smaller: 0 or d?
d
Let v = -2 + 8. Let n = v - 9. Which is smaller: 0.1 or n?
n
Suppose -138 = 2*i - 8*p + 6*p, -5*p - 215 = 3*i. Let w be (-4)/5*i/(-182). Is 0 greater than or equal to w?
True
Let z be (-1)/(-1) - 3/5. Suppose 5*d = -5*f + 15, -3*f + 0 + 7 = 5*d. Which is bigger: z or d?
z
Let a = -28858199/105508095 - 7/91349. Let s = a - 2/165. Let n be 0/1*(0 - -1). Is s greater than or equal to n?
False
Let y(a) = -a - 3. Suppose 4*h + 17 = -7. Let f be y(h). Let i = -3 - -7. Which is smaller: f or i?
f
Let s = 133.15 - 138. Let c = s - -5. Let d = 0.05 + c. Is 1/2 at least d?
True
Let c be 2 + 1 - (-4 + 5). Let r(x) = -x**3 - x**3 - x**2 - c + x**3. Let i be r(-2). Which is smaller: 0 or i?
0
Let h = -13 + 18. Suppose -s - 10 = h*r, 2*r + s = 2 - 3. Let m be (-15)/(0 - r) - -2. Is -2 greater than m?
True
Suppose 0 = -3*c - 10 + 19. Which is smaller: -18/7 or c?
-18/7
Let x(d) = d - 3. Let k be x(4). Which is greater: k or 2/3?
k
Let n = -41.7 + 34. Let v = n - -8. Let x = v + -0.4. Which is smaller: -2/3 or x?
-2/3
Let d be 1/(-6)*-3*2. Suppose -y = -0*y + d. Let h = -0.5 - -3.5. Which is smaller: y or h?
y
Let w = -97/51 + 7/102. Let n be (14/(-4))/7*2. Which is greater: w or n?
n
Let h(a) = a - 13. Let w be h(12). Let y = -241/66 - -42/11. Which is greater: y or w?
y
Let i = -15 - -11. Let c(y) = -2*y**2 + 8*y - 11. Let f be c(3). Are f and i nonequal?
True
Let c = -1212534/233 + 5204. Do 0 and c have the same value?
False
Let w = -29/28 + 3/4. Let c = 0 - -1. Let d = 4 - c. Are w and d equal?
False
Let l be ((-24)/20)/(2/(-5)). Suppose l*c - 14 = 2*q, 3*c = 3*q - 11 + 29. Suppose -4*w + 5*o + 29 = 0, 2*o + 15 = -5*w - c*o. Which is smaller: 1/4 or w?
1/4
Suppose 5*k - k = -5*n - 19, k - 4*n - 11 = 0. Let d = k + 2. Let o = -1 + d. Which is smaller: -1 or o?
-1
Let q be 14/2*(5 + -3). Let w = q - -14. Let v be (6/w)/((-1)/(-2)). Is -1 equal to v?
False
Let c(k) = k**3 - 12*k**2 - 11*k - 26. Let w be c(13). Do w and -2/3 have the same value?
False
Let z = 19 - 12. Suppose 0 = i - 0*o + 3*o - 2, -3*o + z = -4*i. Let v = -11 + 10. Is v < i?
False
Let v(c) = c - 8. Let i(l) = l**2. Let s be i(2). Let o be v(s). Is o bigger than -4?
False
Suppose 4*k + 3*l = -25, -4 = 2*k + l + 7. Let h = -12 + 7. Let p = 1 + h. Is k > p?
False
Let a = 21 - 30. Let d = 15/4 + -4. Which is greater: a or d?
d
Let m = -0.6 - -0.3. Let d = 0.2 - m. Let n = -0.3 + d. Are -2 and n unequal?
True
Let r = -114 + 79. Which is smaller: -71/2 or r?
-71/2
Let c(o) = -o**3 - 3*o**2 + 3*o - 3. Let b be c(-3). Is -12 >= b?
True
Let s be (-2)/(15/9 + -1). Suppose 7*b - 4*b - 18 = 0. Let c be (s + b/2)/1. Which is greater: c or 1/21?
1/21
Let m = -930 + 402. Let c = m - -3702/7. Does c = 0?
False
Suppose -3 = c - 4. Suppose -2*o = -8 + 4. Are o and c nonequal?
True
Let b = -7.1 - -7. Let m = 3 - -15. Let f = -107/6 + m. Is b equal to f?
False
Suppose 3 = -0*q + q. Let p(t) = t - 2. Let v be p(2). Let m(a) = -a + 2. Let y be m(v). Do y and q have different values?
True
Let s be -1 - (62/58)/(-1). Suppose -3*v + 9 = 0, -5*o + v - 3 = -4*o. Which is greater: o or s?
s
Let c(s) = s. Let r be c(0). Let n = 1/2 - r. Is 2 > n?
True
Let v(f) = -f - 3. Let b(x) be the second derivative of x**5/20 + x**4/4 + x**3/6 - x**2 + 2*x. Let u be b(-2). Let r be v(u). Which is smaller: -2 or r?
r
Let p = 0.11 + 3.89. Does -3/2 = p?
False
Suppose -4*p - 28 = 4*l, 2*l - l + 5*p - 1 = 0. Let x be (-1 - -2 - 10) + (7 - 8). Is l less than or equal to x?
False
Let i = 7.1 + -0.1. Let h = i - 7.03. Is h bigger than 0?
False
Let c(j) be the first derivative of -j**2/2 - 6*j + 1. Let u(q) = -q**3 + 3*q**2 - 3*q. Let x be u(3). Let f be c(x). Which is bigger: 2 or f?
f
Let p(l) = 2*l - 24. Let o(d) = -3*d + 25. Let g(w) = 5*o(w) + 6*p(w). Let r be g(-13). Let b be 8/r + (-7)/(-20). Which is smaller: 2 or b?
b
Let o = 3 + -1. Suppose o = l + 3. Let z = 1 + l. Is z < -3/5?
False
Let g(t) = t**3 - 3*t**2 + 2*t - 2. Let c be g(2). Let n = -6 + 7. Let i =