 -2/5 or c?
-2/5
Let g = 0.1 - -0.04. Let d = -0.14 + g. Let a = -0.3 + 0.1. Is a at least d?
False
Let f be (-25)/(-9) + (-12)/(-54). Let x be (3 + 0 + 0)/f. Let u = -9 + 11. Is u at most x?
False
Suppose 4*j + 2*q + 42 = 0, -2*q = 3*j - 2*j + 18. Let y be (2/j)/((-20)/32). Let z = -1.18 - -0.18. Which is greater: z or y?
y
Let x(n) = n**3 - 5*n**2 - 6*n - 3. Let b be x(6). Let k = -5 + 3. Are b and k non-equal?
True
Let l = 50/141 - 1/47. Suppose 2*q + 2*q - m = 39, 0 = 3*m + 9. Let g = -8 + q. Is l <= g?
True
Let b be (1/(8/6))/3. Let a = 0 - 3. Let j = -4 - a. Which is smaller: b or j?
j
Let r = -20 + 19.1. Let l = r + 0.8. Is l not equal to -1?
True
Let w be -3 - (3940/325)/(-4). Which is greater: -1 or w?
w
Let z = -79 + 238/3. Let v = 1 + -3. Is z <= v?
False
Let x(a) = a**2 - 5*a + 4. Let i be 1*3 + 0/(-12). Let v be x(i). Are v and -4 unequal?
True
Suppose -z + 6 = -p + 2, 3*z + 2*p = 27. Suppose 5*b - z*b + 6 = 0. Is 3/2 smaller than b?
True
Let q = 79/4 - 20. Let c(n) = n**3 - 8*n**2 - 10*n + 3. Let o be c(9). Let m = o - -5. Which is smaller: q or m?
m
Let z be ((-7)/3)/((-3)/9). Let g = z + -10. Which is bigger: g or -1?
-1
Let d = -7/2 + 81/22. Suppose -u = 3*u. Let f be (u + (0 - 0))/(-2). Is d <= f?
False
Let j be ((-126)/(-5))/7 + -5. Let l be ((-1)/5)/((-4)/(-10)). Are j and l equal?
False
Suppose 40 = -12*r + 14*r. Let b = r - 24. Do b and -3 have the same value?
False
Suppose 3*y + 5*y - 40 = 0. Which is smaller: y or 36/7?
y
Let v(b) be the first derivative of -b**3/3 + 3*b**2/2 + 3*b - 2. Let p be v(4). Which is bigger: p or -3/11?
-3/11
Suppose 51 + 12 = -9*z. Is 0.1 < z?
False
Let w(g) = 3*g**2 - 12*g - 2. Let q(r) = 4*r**2 - 12*r - 2. Let d(j) = 4*q(j) - 5*w(j). Let n be d(-12). Let v be -3 - 10/(-8)*n. Is v >= 0.2?
False
Let i = -16 + 17. Are 0.1 and i unequal?
True
Suppose 0 = -2*k - 2 - 2. Let d be k/(-3)*(-5 - -2). Is d smaller than -3/5?
True
Let o be 1 + 0/3 + 3. Suppose -8 = 4*r, 0 = 3*k + o*r + 2 + 9. Are k and 2/7 equal?
False
Suppose -3*f = c, -2*f + 13 = -4*f - 5*c. Which is bigger: f or 2/41?
f
Let u be (14/4)/(3/6). Let k = -6 + u. Which is smaller: k or 2/11?
2/11
Let n = -5.06 - -0.06. Let s = n - -9. Let o = s + -4.2. Which is greater: o or -1?
o
Let j be (-2)/(-1)*(-1 - 0). Let i = -3 - j. Which is bigger: -6/7 or i?
-6/7
Suppose -4*j = -16, -3 = -3*h + 3*j - 15. Let l be 3 - (5 + -3 + h). Is 2/9 at most as big as l?
True
Let d = 1 + 5. Let t(f) = 2*f + 21. Let s be t(-8). Is s at least d?
False
Let h = 13 + -10. Suppose h*l + 0*z + 23 = z, 0 = -z + 2. Is -9 != l?
True
Let q = -9734/959 + 71/7. Is q greater than or equal to 1?
False
Suppose -k - 8 = -3*z, 4*k + 8 = 5*z - 10. Let b be -7 + z + (1 - 0). Let x be (3/b)/(3/(-12)). Which is greater: x or 4?
4
Suppose -2*l + s + 11 = 0, 4*l + l = s + 23. Which is greater: l or -0.1?
l
Let b = 36/203 - 1/29. Which is greater: b or 1?
1
Let f = 524 - 2612/5. Which is greater: f or 2?
2
Let n = 14 - 6. Suppose -85 = -4*h - 81. Which is greater: n or h?
n
Let p(i) = -9*i + 3 - 10*i**2 + 5*i**2 + 4*i**2. Let s be p(-9). Suppose 5*y = -4*f + 1, 2 = 2*y + s*f - 4. Does -2 = y?
False
Let d(s) = s - 1. Let i = -5 + 4. Let l(n) = -n**2 - 6*n + 10. Let t(y) = i*l(y) - 6*d(y). Let v be t(-3). Which is bigger: 4 or v?
v
Let r = 342284 + -5132446/15. Let l = 121 - r. Is 1 > l?
True
Let j(d) = 2*d**2 + 2*d. Let z be j(-2). Suppose 0 = u - z*u + 3. Let x = u + 0. Is -2/5 at most as big as x?
True
Let b be 34/51 + (-40)/6. Do b and -6 have different values?
False
Let g = 0 + 1.7. Is g greater than or equal to -0.1?
True
Suppose 2*t - 2 = 28. Is 15 greater than or equal to t?
True
Let r = -19 - -19.1. Which is smaller: r or 34?
r
Let g be (1 - 2)*-1 - -1. Is g <= 9/8?
False
Let c be -2 + 0 + 3 + -2. Which is smaller: c or -5/7?
c
Suppose 0 = -2*w + 3*w. Suppose w = 3*m - 2*m + 2. Which is greater: -3 or m?
m
Let z = -14 + 5. Let s = z + 8.9. Which is greater: 0.02 or s?
0.02
Let o = 1.5 + -4.2. Let n = -3 - o. Let p = 0.3 + n. Which is smaller: -3 or p?
-3
Let v = 18 + -3. Suppose -3*k = 2*k - v. Let m = 7 - 4. Is k smaller than m?
False
Suppose 0*x + 5 = -5*x. Which is smaller: -3/46 or x?
x
Let b be (-6)/15 - 18/(-20). Suppose -3*l - 8 = 4*g, 4*l - 2 + 6 = -2*g. Suppose l = 3*m - m. Is m at most as big as b?
True
Let z = 4 + -3. Let g = -7/5 + z. Which is smaller: -2/15 or g?
g
Let v be -2 - 79/(-56) - 2/16. Which is bigger: -1 or v?
v
Let i = 3 - -1. Suppose 2*l = -i*h + 16, -4*l + 11 - 5 = -5*h. Suppose -2*g = h*g + 8. Is g less than -1?
True
Let y = -28 + 40. Let o be (3/1)/(9/y). Suppose 0*h = o*h. Which is greater: -1/3 or h?
h
Let f be 30/5 - 2*1. Suppose 0 = 4*y + 5*d + 10, 2*d + f = 3*y - 0. Is -4/7 at least y?
False
Let m(b) = b + 11. Let a be m(-5). Let u = 6 - a. Let w = -147/5 + 1014/35. Which is bigger: w or u?
u
Suppose -6*g - 18 = -2*c - 2*g, 4*g = -c - 9. Suppose -u + c*u = 4. Is 6/7 < u?
True
Let x = -56 + 54. Are x and -0.19 non-equal?
True
Let y = -1268/5 + 253. Let n = 0 + 0.1. Are n and y unequal?
True
Let h = 68 - 67.961. Which is bigger: -1/3 or h?
h
Let c = -32/71 - 1661/568. Is -3 at most as big as c?
False
Let m be 3/18 - 98/12. Let x be (-8)/(((-6)/2)/(-3)). Are x and m unequal?
False
Let j(r) = r - 10. Let d be j(9). Suppose -4*g + 4 = -0. Is d != g?
True
Let f(z) = z**2 - 11*z + 1. Let a be f(11). Let s = 5 - a. Is s smaller than 4?
False
Let h = 1 - -3. Let t = 6 - h. Let o = 3 - t. Is o greater than 3?
False
Let y(a) = -2*a + 1. Let p be y(-5). Let u = 7 - p. Is u not equal to -3?
True
Let u be 0/(-2) - 6*-1. Suppose 4*l + 0*l + 5 = -5*h, 13 = h - 2*l. Suppose b - u = -h. Is 3 less than or equal to b?
True
Let t = 0.23 + 17.77. Is t less than -1?
False
Suppose 0 = -19*z - 39 + 96. Let i be (-4 - 0/2)*-1. Which is smaller: z or i?
z
Let f = -13 + 18. Let c = 5.89 + 0.11. Let k = f - c. Which is greater: k or -1/3?
-1/3
Suppose 0*a - 8 = 4*a. Let m be 10*a/8*-2. Which is greater: 2/5 or m?
m
Let a be (0 - 52)*123/82. Which is smaller: -77 or a?
a
Let y(v) = v - 1. Let g be y(1). Let m = -2.07 + 2. Let k = 0.13 - m. Which is smaller: k or g?
g
Let f = 55 + -57. Is -0.02 not equal to f?
True
Let z be (1 + 2)*((-12)/3 + 3). Are z and -2/5 equal?
False
Let g(h) = -h**2 - h + 2. Suppose -5*o + 2*k = 4*k + 21, -4*o + k = 9. Let w be g(o). Let n be (2/(-3))/(8/48). Is n greater than or equal to w?
True
Let i be 0 + -2*(-1)/2. Let k be -1 - (-2 - (-303)/924). Let p = k + 6/77. Which is bigger: i or p?
i
Let v be ((-2)/(-4)*-5)/(-5)*-2. Which is smaller: v or -2/27?
v
Let f = 11 - 16. Suppose 2*c = -c - 27. Let l = 4 + c. Is l less than or equal to f?
True
Suppose 0 = -5*m + m - 12. Let n be (m - (-3 - -1))*-2. Let x be (9/(-6))/((-1)/n). Which is smaller: x or 5/2?
5/2
Let k(i) = i - 13. Let v be k(13). Let y = -2171 - -112871/52. Let d = y + 2/13. Is d <= v?
True
Let r(u) = -u**3 + 7*u**2 - 7*u + 1. Let l be 1 - (0 + -4 - 0). Suppose 7 - 37 = -l*w. Let h be r(w). Which is bigger: h or -4?
-4
Let a = -57 + 229/4. Let o(v) = v - 9. Let z be o(10). Is z at least a?
True
Let a = -20 + 45. Let z = a + -24. Is 8/7 > z?
True
Suppose -r = q - 12 - 2, q - 2*r = 5. Let y be q/5 - 4/20. Let h = y - 0. Is 2 bigger than h?
False
Let u be (4/(-8))/(1/32). Is u greater than or equal to -17?
True
Let c(x) = x. Let p be c(9). Do 10 and p have the same value?
False
Let k be (23/(-2))/(9/(-2) - -4). Is 24 greater than k?
True
Let t(l) = l**3 + 11*l**2 + l - 3. Let o be t(-11). Which is smaller: -10 or o?
o
Let x = 3.7 + -3.8. Let n = -5 - -9. Which is smaller: n or x?
x
Let u be -3*1*(-2)/3. Let f = -4 - u. Let n be (1 - 1)/(f - -4). Is -1 > n?
False
Let z = 8 - 5. Let s be z/(-2)*(-4)/(-2). Let k = s - -1. Which is smaller: k or -2/3?
k
Let u(i) = i - 5. Let n be u(8). Let g be -5 - n/(-9)*-3. Is -6 bigger than g?
False
Let a be ((-6)/9)/(4/(-6)). Let t(k) = k**2 + 0*k**2 - 3 - 7*k + 10. Let u be t(6). Is a at least as big as u?
True
Suppose 3*k - 11 = 7*k - i, -15 = 3*k - 3*i. Let a = k + 2. Let d = 83/261 - 6/29. Is d at least as big as a?
True
Let d = -484/7 + 528/7. Let k = 169/28 - d. Let b(j) = j**3 - j**2 - 3*j - 2. Let c be b(-1). Is k smaller than c?
False
Suppose i - 5*s - 1 = 0, 5*i + s = 2*s + 29. Are -1 and i non-equal?
True
Let w = 8/1381 + -11874/157