j be c/(-4)*56/21. Which is smaller: j or -0.1?
-0.1
Suppose b + b + 12 = 0. Let i = b - -4. Does i = -2?
True
Suppose 0 = -6*j + 11 + 25. Is 6 at least j?
True
Let l = -0.39 - -0.36. Let p = 13.13 - 13. Let g = p + l. Is g > -1?
True
Let a be (0/(-4) - -1)/(-25). Let l = 107/175 + a. Do 1 and l have the same value?
False
Let c = 2 + -2. Let b = 0 - c. Suppose -5*i - 4 = -i. Which is greater: i or b?
b
Let y = 29 + -27.9. Let w = y - 1.2. Is w greater than -1?
True
Let o be (1 - -1) + (1 - 3). Suppose o = 5*q - 5 - 0. Let y be 28/(-33) - (-2)/3. Does y = q?
False
Let x = 4 + -3. Let b be (4 - 25)*x/3. Let k(v) = -v - 3. Let a be k(b). Is a less than or equal to -2/5?
False
Let f be 7/2 + (-12)/(-8). Let u(l) = l**2 - 6*l. Let y be u(f). Which is smaller: y or -9/2?
y
Let b = 8 + -9. Suppose -n - 3*n = 2*x - 16, 2*x - 3*n = -5. Is b bigger than x?
False
Suppose -8 = -w - 4. Suppose d - 2 = -w. Which is smaller: -8/3 or d?
-8/3
Let u = -1.2 + 4.5. Are 2/5 and u unequal?
True
Let o(d) = d + 7. Let j be 5 + -2 - (2 - -8). Let a be o(j). Which is smaller: -1/4 or a?
-1/4
Let z be 12/(-4)*3/(-27). Which is bigger: z or 1?
1
Let w(u) = -u**3 + 5*u**2 + 8*u - 4. Let c be w(6). Suppose 0 = -5*h - 4*o + c + 18, -5*h + o + 6 = 0. Is 2 < h?
False
Let k(i) = -i**2 - 7*i - 7. Suppose a + 2 = -4. Let j be k(a). Let f be (-1 - j)*1 - 1. Which is smaller: f or 1/5?
f
Let y = 39 + -40. Which is smaller: 0.11 or y?
y
Suppose 10 = k - 2*p, k - 4*p = 6*k + 20. Which is bigger: k or -3/19?
k
Let f = -91 + 100. Is f not equal to -2/5?
True
Let k(j) = -j**3 - 4*j**2 + 3*j - 4. Let s be k(-5). Let h be s/21 - (-9)/21. Which is smaller: 1 or h?
h
Let o be 4*((-33)/12 + 2). Is -3 greater than o?
False
Suppose a - 4920 = 4*a. Let j = a - -4865/3. Let z = j + 18. Is z >= -1?
True
Let f(s) = 14*s**2. Let l be f(1). Suppose 2*p = p + l. Let n be p/(-44) + 4/(-22). Is n less than -1?
False
Suppose 0 = -4*z + z - 6. Is z at least as big as 1/5?
False
Let d be 1 - (-2 + 192/68). Which is smaller: 1 or d?
d
Let d = 6 + -1. Let u = 7 - d. Let n be 21/(-14) + 2/u. Does n = -1?
False
Let x(z) = -5*z - 16. Let q be x(-3). Which is bigger: -2/189 or q?
-2/189
Let f be 1 + 1 + 52/(-16). Which is greater: -1 or f?
-1
Suppose 7*s = 2*s + 15. Suppose 5*u = -17 - s. Let q be u/6 - (-77)/21. Which is smaller: q or 3/2?
3/2
Let a = 3 - 9. Which is smaller: -3 or a?
a
Let i(x) = 2*x - 16. Let r be i(7). Is r < -38?
False
Let u = -42 - -53. Is 1 equal to u?
False
Suppose m = 2*n + 3*m - 6, 4*m = -3*n + 6. Let b be -3*4*4/(-6). Let j = n - b. Do 1 and j have different values?
True
Let z = -0.1 - 0.9. Let j = 0.15 + -0.14. Let c = j - 0.11. Which is smaller: z or c?
z
Let b be 99/21 - 1/7*-2. Let r = 3 + -1. Which is greater: r or b?
b
Let r = -29/35 - -2/5. Let v = 2/21 + r. Which is smaller: v or 2/3?
v
Let j(s) = -s**2 + 9*s. Let o be j(9). Let w(r) = r**2 + r - 1. Let t be w(-3). Suppose 3*h = t*h. Is h >= o?
True
Let h = 1.32 - -0.08. Let a = -0.5 + -0.1. Let d = a - h. Which is bigger: d or -2/3?
-2/3
Let q = 7 + -5. Suppose j + n - 7 = -q, -j - 2*n = 0. Let w be ((-1)/j)/((-2)/(-5)). Is 1 greater than w?
True
Let m(j) = 5*j**2 + j. Let z be m(1). Are z and 5 non-equal?
True
Let w = 63 - 54. Which is smaller: w or 11?
w
Let p = -5.1 - -4.6. Let z = 0.1 - -2.9. Let f = z + -3. Is f at least p?
True
Let t = -357 + 246. Which is bigger: t or -110?
-110
Let p be (7 + -1)/(6/76). Let l = -379/5 + p. Do 0 and l have the same value?
False
Suppose 0 = -4*m + 37 - 61. Which is smaller: 0 or m?
m
Let l be -2 - -2 - (4 + -9). Suppose -i + 10 = l*s, 0*s = -s - 4*i + 21. Let g = 5/2 + -47/18. Do s and g have different values?
True
Let r be 6*((-165)/(-40) + -4). Let h = -0.1 - 0.1. Which is bigger: h or r?
r
Let k = 1.1 - -3.9. Let t = k - 3. Let n = t - 1. Is n at most as big as -2?
False
Let s = 5 - -7. Let x be (-12)/63*s/(-8). Let a = 0 + 1. Are x and a non-equal?
True
Let k = 36 - 19. Suppose 4*m = w + 52, -186 = 5*w - m + k. Let b = w + 198/5. Is b greater than 1?
False
Let r = -139/35 - -22/5. Let t(l) = 19*l + 57. Let h be t(-3). Which is bigger: h or r?
r
Let w be 12/14*(320/(-24))/(-8). Is w greater than -2?
True
Let v(c) be the second derivative of c**5/20 - 3*c**4/4 - 3*c**3/2 - 9*c**2/2 - 2*c. Let u be v(10). Are u and 1/27 unequal?
True
Let f(b) = b**2 + 8*b - 10. Let y be f(-9). Let l be 1*(-2)/4*50. Let p be (-1)/10*l/10. Which is smaller: p or y?
y
Let m = 6 - -2. Let f be m/6*(-8 + 5). Is f at most -1?
True
Let b = -10 - -10. Suppose -4*d + b = -28. Are 8 and d unequal?
True
Suppose -5*u = -2 - 3. Let m = 194 + -84. Let a be 8/m*5/(-2). Which is smaller: a or u?
a
Let u = -49.4 + 48. Let l be (1 + -2)/(-1) + -1. Do u and l have the same value?
False
Let g be (422/8)/((-6)/(-8)). Let c = 69 - g. Let q = -9 + 8. Which is smaller: c or q?
c
Let l(a) = -a**3 + a - 1. Let q be (-15)/9 - (-2)/3. Let n be q*(3 + -1) - -2. Let d be l(n). Does 1/3 = d?
False
Let g(f) = f**2 + 11*f + 8. Let p be g(-10). Let j be p/(-6) + 2/(-24). Is 0 greater than j?
False
Let i = -457 + 457. Let t be ((-4)/(-6))/(7/3). Is t smaller than i?
False
Let i be -2 - -2*(-1)/(-2). Let k = -2 - i. Let y = 235/3 + -79. Is k >= y?
False
Let o = 98 + -98.1. Is 0.5 > o?
True
Let u = 1/23 - 49/69. Which is bigger: u or 3?
3
Suppose -9*h + 3*v - 18 = -4*h, 5*v = 2*h - 8. Which is bigger: h or -2?
-2
Suppose 8*i - 3*i - 30 = 0. Let y(m) = -m + 6. Let u be y(i). Which is smaller: u or 3/7?
u
Suppose 5*f + 7 + 3 = 0. Let k = -1 - -2. Are f and k equal?
False
Let w = -7 - 0. Which is greater: -5 or w?
-5
Let n = -8 + 7. Suppose 8*o - 25 = 3*o, 4*v + 2*o - 18 = 0. Let g be 0 + v - (-2 - -3). Which is smaller: g or n?
n
Let r be (224/(-12))/(-7)*18/(-4). Are r and -12 non-equal?
False
Let n(o) = -o**2 + 8*o - 1. Suppose 5*c = z - 2, 3*z + 4 = 2*z + 2*c. Let r be (z/5)/((-1)/5). Let y be n(r). Is y greater than -2?
True
Let s = 10 + -9. Let y be (3/3)/(s/1). Is y > 4?
False
Let c be (-4 - 1)/((-3)/3). Let g be (c/(-7) - -1)/1. Suppose 0 = 2*o - 0 - 2. Is g at least o?
False
Let g = 4.9 + -22.9. Is g not equal to -1?
True
Let i = -0.9 + 0.1. Let m = 0.5 + i. Are m and -0.2 nonequal?
True
Let k = 28/183 + -1075/10614. Which is smaller: -1 or k?
-1
Let d = -13 - -13.1. Let r = d - 0. Are r and -4/11 non-equal?
True
Let j = 34 + -34. Let s(m) = 2*m**2 + 3*m + 1. Let z be s(-3). Suppose 4*t + 4*u = 40, t - u - 2*u + z = j. Which is smaller: -0.1 or t?
-0.1
Let p = 1.043 + 0.147. Which is smaller: -0.1 or p?
-0.1
Let l = 445 + -17357/39. Which is bigger: 0 or l?
0
Let a = -2 - -1. Let w = 0.25 - -0.05. Which is bigger: w or a?
w
Suppose -6*u - 3 - 15 = 0. Let z(r) = -3*r - 1. Let q be z(-1). Suppose 2*a - 3*a = q. Do u and a have the same value?
False
Suppose j + 4*y - 3 - 2 = 0, -13 = -j + 4*y. Let k be (-2)/(-7) + j/(-7). Which is greater: 2/9 or k?
2/9
Let i(f) = f**2 - 12*f + 1. Suppose 4*h - 37 = 15. Let n be i(h). Which is smaller: 13 or n?
13
Let o = 33/100 + -2/25. Are o and 19 nonequal?
True
Suppose -5*v - 2*t = -6, -3*t - 10 = -2*v - 0*t. Suppose 2*i = n, 3*n = 4*i - v*i. Are -6/17 and i equal?
False
Let m = -7 + 5. Let o = m + 3/2. Which is bigger: 0 or o?
0
Suppose -3*f - 1 = h, 0*f - 4*h = -5*f + 4. Let a be (f - -2)/(-2 + 0). Is a at least as big as -1/3?
False
Suppose 0 = r + r. Which is bigger: -4/3 or r?
r
Let k be 1*-1*2/(-7). Do k and 21 have the same value?
False
Suppose -3*v = -4*n - v - 4, 0 = 4*n - 3*v. Let x be 30/n*6/(-15). Which is smaller: 1 or x?
1
Let l(t) = -40*t**2 + 1. Let n be l(1). Is n less than -38?
True
Suppose 4*y + 24 = h, 2*h - 16 = 3*h + 4*y. Is h greater than or equal to 4?
True
Let k(u) = -u - 2. Let g be k(-7). Which is greater: 6 or g?
6
Let z be (-5)/7*4/(-5). Suppose -5*t + 34 = -16. Let c = t + -8. Is z equal to c?
False
Suppose 0 = -m - 0*u - u - 5, -5*m = 3*u + 19. Let i be (-4)/(-3)*9/m. Let f be (1/(-3))/(2/i). Is -1 > f?
False
Let b = 7 + -6. Let t be (5/50)/(b/12). Is t < 0?
False
Suppose -3*y = -3 - 0. Let j be (-9)/2*3/(-27). Which is smaller: y or j?
j
Suppose -3*d = 2*m + 2*m - 20, 0 = 4*d - 4*m - 8. Which is smaller: -1 or d?
-1
Let y = -67/473 - -10/43. Which is smaller: y or 1?
y
Let k = 144.94 - 139. Let j = 6 - k. Let w = 0.08 - j. Does w = 0?
False
Suppose 0 = -4*r + 