-1). Suppose -j*i + 2 = -2*i. Suppose -v - i = -0. Is v less than or equal to -2?
True
Suppose 10 = 2*j + 2*j + h, 0 = 5*h - 10. Let m = j - 2. Are -4/5 and m unequal?
True
Let b(v) = -v**2 - 10*v - 4. Let h be b(-5). Let l be ((-2)/h)/(1/3). Which is smaller: l or 0.02?
l
Let w = -1 + 2. Which is smaller: w or -0.04?
-0.04
Let v(d) be the third derivative of d**5/60 - d**4/12 - 3*d**2. Let j be v(2). Which is bigger: -2/11 or j?
j
Let c = -2/7 - -81/14. Is 6 at most as big as c?
False
Let w = -365 - 99. Let c be w*2/14 + 1. Let v = c + 65. Are v and 0 non-equal?
True
Let q be -6 + 0 - (1 - 0). Which is bigger: -5 or q?
-5
Let n = 0.07 - 9.07. Let r = -8 - n. Are 6 and r non-equal?
True
Let n = -11 + 26. Let i be (-5)/(-15)*n*-1. Do -3 and i have the same value?
False
Let f = 13 + -8. Suppose -3*c = -c + 6, -f*c = 5*g + 15. Suppose 0*v - 5*v = g. Is 0 < v?
False
Let h(p) = -46*p**3 - p**2 - p + 1. Let a be h(1). Suppose -5*c + 2*c = 3*s + 60, -4*s = -4*c + 96. Let g be a/77 + (-4)/s. Which is smaller: g or -1?
-1
Let a = 11 - 14. Which is greater: 3 or a?
3
Suppose 7*i - 20 = 1. Is 4 <= i?
False
Let s be ((-90)/27)/(1/(-6)). Let c be ((-6)/s)/(6/(-5)). Which is smaller: c or 1?
c
Suppose 5*x - 2*d = -0*d + 13, 3*x - 2*d - 11 = 0. Let r = -0.2 - 0. Is r greater than x?
False
Let u = -1.1 + 2.1. Let k be (2/(-8))/(6/8). Are k and u non-equal?
True
Let h = 2 + -1.98. Let s = -2.12 + 1.1. Let x = h + s. Is x bigger than 3/2?
False
Let k = -55 - 41. Let b = k + 674/7. Let c = 1 - 3/2. Is c smaller than b?
True
Suppose 4*b = 2*b - 2. Let r be 2 + b + (-21)/18. Is r equal to 0?
False
Let d = -1009/4 + 251. Is -1 < d?
False
Let y = -6 + 15. Let w = 9 - y. Suppose 0 = -0*r + 5*r + 20. Is w at least as big as r?
True
Suppose 0 = 2*f - 13 - 3. Which is smaller: 5 or f?
5
Let i = 10 + -9.8. Let f = -3.9 - 0.1. Is f at most as big as i?
True
Suppose 0 = 4*s - 11*s - 14. Suppose m + 0 = 1. Let y be -1*(0 + 3) + m. Is y < s?
False
Let o = 3 - 7. Let h be o/(-9)*9/(-6). Is h >= 0?
False
Let y = -8 + 13. Is y <= 5?
True
Let j be -5*(6/9)/(10/(-15)). Which is smaller: j or -7?
-7
Let k(d) = 8*d**2 + 4*d**3 - 13*d - 4*d**3 + 6 + d**3 + 4*d. Let h be k(-9). Does 6 = h?
True
Let t = -12 + 10. Which is smaller: -5 or t?
-5
Let g be 2/3 + 8/6. Suppose a + 5 = -u - 3, g*u = 3*a + 9. Is -8/3 > u?
True
Let n(q) = -2*q - q**2 - 3*q - 3*q. Let t be n(-8). Let a be (-3)/(-12) + (-17)/36. Which is smaller: t or a?
a
Let n = 19 + -16. Let r = -9.12 + 0.12. Let h = n + r. Which is bigger: h or 1?
1
Let l = -5 + 14. Is 8 less than l?
True
Let b(v) = 2*v**2 - 3*v + 1. Let l be b(3). Which is bigger: 1 or l?
l
Suppose 0*x - 3*x + 27 = 0. Suppose 0 = x*f - 13*f. Which is smaller: 2 or f?
f
Let w be (-20)/432*-2 - 2/12. Is w equal to 1?
False
Let q be (-2 - -2) + 20 + 2. Let t be 2/11 + (-180)/q. Is t at least as big as -8?
True
Suppose -3*c + 57 + 12 = 0. Which is bigger: c or 2/3?
c
Suppose -x + 1 = -1. Suppose -x*u + 0*u + 2*s - 10 = 0, -s - 1 = 5*u. Is u > -2/25?
False
Suppose -4*q - 8 = 4*w, -2*q = 4*w - 0*q + 2. Are w and -8/5 nonequal?
True
Let n = -114 + 4. Is n at least as big as -110?
True
Let h = 2029/2 + -1035. Let t = h - -21. Is t != 0?
True
Suppose 0 = -w + 4*w + 3*c - 6, -2*w - 5*c = -10. Suppose -4*q + 1 = -5*m + 8, w = -2*m - q + 8. Is 3 at least m?
True
Suppose 0*r = -2*r - 22. Let u be (-2)/12*(r - -7). Is u greater than or equal to -1?
True
Let j(k) = k + 7. Let h be j(-5). Suppose -29*f + 34 = -24. Is f greater than h?
False
Let g = -0.05 - -7.05. Let f = 5 - g. Is f > -3?
True
Let p = 11 + -12. Is -2/7 > p?
True
Let d(w) = w**2 + w - 1. Let z be d(-3). Suppose r - 2 = 0, -2 - 4 = z*n - 3*r. Is 2/9 equal to n?
False
Let m be 2 + (6 - 5) + 20/(-6). Let w = -1 + 2. Which is smaller: w or m?
m
Suppose n + 1 = -7. Let y = n + 12. Suppose -3*o - y = -t + o, -5*t = -o - 1. Is t equal to 3/5?
False
Suppose 2*v + q - 2 + 0 = 0, 0 = -3*q + 6. Suppose v = 3*u - u + 2. Is -2/3 greater than or equal to u?
True
Let v = 15 - 20. Is v at least as big as -6?
True
Let c be (-1)/1 + (-94)/8. Let b = c + 257/20. Which is smaller: b or 1?
b
Suppose 3*f + 2*f = 15. Which is greater: f or 11/3?
11/3
Let w(n) = -n**3 + 8*n**2 - 8*n + 6. Let b be w(7). Is b greater than 2/15?
False
Suppose 5*n + 2 = u, n + 8 = 4*u - 0. Suppose -2*z - u = -3*z. Let h be (2/(-6))/(1/(-3)). Which is greater: h or z?
z
Let o = 47/1428 + 1/68. Is o >= -1?
True
Suppose 8 = 4*d - 0. Let j be (-159)/330 - d/(-11). Do -1 and j have different values?
True
Let l = -3.006 + 0.006. Is 2 not equal to l?
True
Let c be ((-2)/(-45))/(7/(-35)). Is 2/9 <= c?
False
Let o = -7.4 - -10.3. Let b = 3 - o. Let h = 1 - 3. Which is smaller: b or h?
h
Let c = 37 + -27. Is c greater than 3?
True
Let l = -4 + 5. Let a = -6.02 - -0.02. Is a less than l?
True
Let g = -0.38 + -0.32. Let w = -6.7 - -6. Let s = g - w. Is 5 <= s?
False
Let q(y) = y**2 - 5*y - 2. Let j = -8 - -11. Let p be q(j). Let x be p/(-12) - (-8)/6. Which is smaller: 4/7 or x?
4/7
Let l be (-4)/6 + (-3)/9. Let p be l - (0 - 1)*2. Let z = 17 - 17. Which is greater: z or p?
p
Suppose -1 = -4*i - 21. Let k = -6 + 4. Is i smaller than k?
True
Let y = 49 - 38. Is y bigger than 6?
True
Let z(r) be the third derivative of r**2 + 0 + 1/24*r**4 + 0*r + 0*r**3. Let a be z(0). Is 1/4 not equal to a?
True
Suppose 0*t - 2 = -t. Let f be (-1 + t)*3/(-3). Let h = -2858/11 + 260. Which is smaller: f or h?
f
Let p be (51/63)/(1/1). Let l = p - 15/7. Let t be ((-1)/3)/((-2)/(-6)). Is l less than t?
True
Let j(n) = n**2 + 11*n + 9. Let a(o) = 2*o + 5. Let l be a(-4). Let k be 29/(-3) - (-1)/l. Let s be j(k). Is s smaller than 2/11?
True
Suppose 14 + 61 = -5*w. Let c be 5/w + 7/12. Let b = 3 + -4. Which is smaller: b or c?
b
Let m be (-6)/21 - (-6)/21. Suppose 2*o - 10 = 2*p, 2*o + 3*p + 15 = -m*o. Is 3/13 <= o?
False
Let f be 34/(-10)*(2 + -1). Suppose -s = -0*s + 3. Which is bigger: f or s?
s
Let x = -676/5 + 136. Is -5 < x?
True
Let a = -1.013 - 0.037. Let b = a + 0.05. Is 4 < b?
False
Let c be -1 + ((-3)/(-5))/1. Suppose -2*m = 2*m + 8. Are c and m equal?
False
Let z(f) = f**3 + 3*f**2 + 1. Let t be z(-3). Let r be t*((-10)/(-12) - 1). Is r at least as big as -1?
True
Let b = -0.1 + 3.9. Let m = -4 + b. Let g = 0.3 - 0.3. Which is greater: m or g?
g
Suppose 0 = 9*b + 14 + 4. Is b less than -9?
False
Let k = -38 + 39. Which is smaller: -2/113 or k?
-2/113
Let f = 10 + -11. Let x = -221 - -4419/20. Is x equal to f?
False
Let q(d) = d + 2. Let o be q(0). Suppose o*y - 3 = y. Which is bigger: y or 2?
y
Let l(y) = y**2 - 7*y + 4. Let q be l(7). Let d = q - 1. Suppose 4*i = w - 5, 0*w - i = -2*w + d. Is 0 greater than or equal to w?
False
Let f = -38 + 44. Is 1.8 > f?
False
Let c be (-72)/30 + (-3)/5. Is c at most 3?
True
Suppose 2*a + 8 = -2*a, 0 = -n + a + 8. Which is smaller: 5 or n?
5
Let v(a) = -a**2 - 6*a - 12. Let y be v(-8). Is y < -27?
True
Suppose 12 = 6*x + 30. Which is greater: -33/8 or x?
x
Let m be 1 + (-1)/(-1)*-5. Which is smaller: m or -3?
m
Let b(u) = -u**2 + 1. Let w be b(0). Is w greater than 4?
False
Let t be 194/((76/173)/(-2)). Let k = t + 883. Which is greater: k or 1?
1
Suppose 6 = -5*d - 9. Let n = -1 + d. Let t = n + 3. Is -2/7 at most as big as t?
False
Let v(x) = x + 28. Let b be v(0). Suppose -2*o = b - 6. Which is bigger: o or 1/4?
1/4
Suppose 4 = n, -n = -0*o - o + 3. Suppose 3*p + o = -z, 4*p = -2*z + 4*z - 6. Is z != -1?
False
Let y = -80 + 142. Let l = 308/5 - y. Is l greater than 0.3?
False
Let z = -41 - -41. Is -4 equal to z?
False
Let a be 2/8 - 99/(-36). Suppose 2*x + a*x = 5*d - 20, -18 = 2*x - 4*d. Which is smaller: x or 6/13?
6/13
Let b(k) = -k**2 + 6*k + 8. Suppose -3*d - 2*y + 2 = 0, 2*d - 4*y + 8 = -12. Let j = 5 - d. Let v be b(j). Is v != 2?
True
Let f(r) = -r**2 - 5*r + 2. Let h be f(-4). Let l be -1 - 2/(h/(-3)). Suppose l = -2*s + 4*s + 2*q, 5*q = 0. Is -2/13 less than s?
True
Suppose 0*b = b. Let c be (-6)/10 - 130/(-175). Which is bigger: b or c?
c
Let j = 0.21 - 0.31. Which is bigger: 11 or j?
11
Let i be (-2 + 1)/4 + 1. Which is smaller: i or 2?
i
Let z = 11 + -17. Is z at least as big as -5?
False
Let c be ((-1)/2)/(1/2). Let i(a) = 4*a**2 + 11*a + 11. Let x(z) = z**2 + z + 1. Let j(n) = i(n) - 5*x(n). Let v be j(7). Is v at