Which is greater: -2/25 or r?
-2/25
Let j = -6.14 - -0.14. Let a = j - -5. Is a at least 2/7?
False
Let z be 2/(-2) - (2 - (-36)/(-10)). Is z less than or equal to 3?
True
Suppose 4 = -2*m - 2*m. Let p be m - (4/5 - 1). Which is bigger: -1 or p?
p
Let g = 49 + -33. Is 15 at least as big as g?
False
Let x be (-8)/(-6)*(-15)/(-10). Is 0.1 < x?
True
Let r(a) = a**2 + a - 5. Let l be r(-5). Suppose 0*k = 5*k - l. Suppose k*z - 5 = -2*z. Which is greater: z or 1/4?
z
Suppose 0 = 8*h + 3 - 11. Is h smaller than 2/9?
False
Let w be 8/9 - 3/3. Let c = 1 - 0. Suppose -2*m = -c - 1. Is m less than w?
False
Let b be 5 + -3 + (-1)/2. Let d be (-1)/3 - 16/6. Let s = d - -4. Is b at least as big as s?
True
Suppose 5*c = c, -4*b = -2*c + 12. Let n = b - -3. Are -8 and n equal?
False
Let i be (-69)/15 + 6/10. Let u = i - -41/11. Is 1 greater than or equal to u?
True
Let l = 56 - 59.1. Let g = -3 - l. Let c be 22/8 - 2/(-8). Is c greater than g?
True
Let c be (-1826)/2288 + 2/(-16). Which is bigger: c or -1?
c
Let k be ((-3)/(-3))/(5/8) + -2. Is k < -3?
False
Let u(h) = h**3 - 4*h**2. Let q be u(4). Let x be (-2)/(-6)*(0 - 1). Is q at least x?
True
Let s(k) = -4*k**2 + k - 1. Let d be s(2). Let r be 0/(-1) + 6/d. Let x = 3.7 - 4. Which is greater: x or r?
x
Let s(d) be the first derivative of -d**2/2 + 14*d + 1. Let q be s(8). Let j be 4/q*5/10. Which is bigger: j or 0?
j
Let f be 2 - 2*(-171)/(-10). Let l = f - -32. Suppose 0*o = 5*o. Is o >= l?
True
Let t = 275 - 272.93. Let k = t + -0.07. Does k = -1/3?
False
Suppose x = -x - 10, -4*d + 22 = -2*x. Which is smaller: d or 25/6?
d
Let t(o) = o**2 - 3*o - 2. Let g be t(4). Suppose 0 = 4*u + 5*w - 13, -g*u + 4*w - 8 = -4*u. Is -1 at least as big as u?
False
Let d(g) = -g**2 - 14*g + 12. Let m be d(-15). Do m and -2 have the same value?
False
Suppose 0*s = -4*r - 2*s + 18, -5*r - 2*s + 22 = 0. Suppose 5*p + 2*x = 4*x, 0 = r*p - x + 3. Is p > 6?
False
Let w = 2 - 4. Let i = 3 + w. Let g = -0.8 + i. Which is smaller: g or 0?
0
Let d = 11.3 + -11. Let i(x) = -x**3 - 5*x**2 + 7*x + 6. Let r be i(-6). Let k = 1 - r. Is d not equal to k?
True
Let c(t) = t**2 + 4*t. Let g be -2*6/8*8. Let q be 46/(-11) + g/(-66). Let w be c(q). Is -1 smaller than w?
True
Let f = 30 - 32. Let b be -3*((-21)/(-9) - 2). Which is greater: f or b?
b
Let g(z) = 10*z**2 - z - 1. Let j be g(-1). Suppose 0 = 2*n + 3*n - j. Which is smaller: n or 5/6?
5/6
Let j be (8/66)/(2 + (-104)/6). Which is greater: -1 or j?
j
Let y = 1.5 - 10.5. Let x = -2.5 + 2.5. Is y equal to x?
False
Let r = 48 - 58. Is r greater than or equal to -10?
True
Let j = 6 - 9. Let b be 2/j + (7 - 10). Is -4 != b?
True
Let r(i) = 4*i - 3. Let g be r(2). Let y be 12/75*g/(-6). Let o(f) = -f + 5. Let z be o(6). Is z at least as big as y?
False
Let y = 0.09 - 0.19. Let o = y + -0.9. Is o greater than -2?
True
Let n be 9 + -7 - 7/3. Let p = -853/348 + 29/12. Let j = p - 53/145. Which is smaller: j or n?
j
Let u = -646 - -643.886. Let r = 0.014 + u. Let m = -2 - r. Is m <= -2?
False
Let f = 4/113 + -964/1695. Which is greater: f or 1?
1
Let w(j) = -j**3 + 4*j**2 + 3*j + 10. Let i be w(5). Is -1/3 smaller than i?
True
Let t = -1 + -4. Let b = -4.9 - t. Suppose m - 3*m = 2. Is b less than m?
False
Let p(x) = -x**3 - 12*x**2 + 13*x + 2. Let d be p(-13). Let j be (1 + 0)/(d/18). Are j and 2 nonequal?
True
Let q = 7.4 + -8. Let a = q + 0.7. Are -0.3 and a non-equal?
True
Suppose 0 = 2*n + 1 + 1. Let i = -0.1 + -0.2. Let t = 1.3 + i. Which is greater: n or t?
t
Suppose j - 2 = -s - 0, -3*j + 6 = -s. Let c = -546 + 328. Let q = -5448/25 - c. Is q at most as big as s?
False
Let w = -5 - -10. Let y be (1*-3)/(6/(-4)). Suppose y*c = w*c. Is c bigger than -2/5?
True
Let b be 1 + 4/(3/3). Let o be (-52)/(-10) - b/25. Suppose 3*f - o*f + 4 = 0. Which is bigger: f or 1?
f
Let l = 8 + 5. Let p = 12 - l. Is p less than or equal to -1?
True
Let d(m) = m - 4. Let t be ((-2)/6)/(1/(-9)). Let r be d(t). Suppose 56*y = 62*y. Which is smaller: y or r?
r
Suppose 3*p + 7 = 10*p. Which is smaller: p or 5/3?
p
Let f be 852/(-54) + (-4)/18. Let m = 28 + f. Let t be ((-6)/2)/(m/(-8)). Are 3 and t non-equal?
True
Let r = 27 - 27. Is r >= 2/19?
False
Let p be (-1)/3 + (-56)/12. Suppose 0 = 2*n - 2*h + 6, -3*n - 2*h - 26 = -n. Let q = -12 - n. Which is bigger: q or p?
q
Suppose -h + 0*h - 1 = -4*n, -3*h - 12 = -3*n. Let t be (-15)/h - (-47)/(-15). Is 0 bigger than t?
True
Let k = 3.1 + -3. Suppose 2*y - m = 3*y - 1, 0 = 2*y - 2*m - 2. Which is smaller: y or k?
k
Let z be (-1 - 1)*1/(-2). Suppose 5*l = z - 51. Is -10 equal to l?
True
Let y be ((-6)/(-4))/((-9)/(-12)). Let k = y - 2. Suppose 3*x = -k*x - 6. Is -3/4 > x?
True
Suppose v = 9*y - 7*y - 2, 5*y = -2*v + 32. Is 9 >= v?
True
Let b(r) = -r**3 + r**2 - r. Let t be b(0). Suppose 4*j - j - 21 = -5*y, 4*j + 3*y = 17. Which is smaller: j or t?
t
Let r be 122/12 + 1 + -2. Let h = -17/2 + r. Which is smaller: h or 1?
h
Let b(w) = w**3 + 9*w**2 + 10*w + 15. Let g be b(-8). Which is greater: g or -2/17?
-2/17
Let t(w) = -w**3 + 6*w**2 - 5*w + 1. Let u be t(5). Let j be u + -3*24/(-9). Let v be 8/(-66)*j/(-6). Which is greater: v or -1?
v
Let g = 3/31 - 2/31. Let z = g + 28/93. Suppose i - 6 = -k - k, 4*k - 8 = -i. Which is smaller: z or k?
z
Let g(f) = -3*f**2 - 6*f + 6. Let d(a) = 2*a**2 + 6*a - 6. Let p(r) = 4*d(r) + 3*g(r). Let n be p(5). Which is smaller: -3/8 or n?
n
Suppose 0 = 4*h + h + 50. Is h > -12?
True
Let x = -0.15 - -0.1. Let t = -0.07 + 0.02. Let a = t + x. Which is smaller: a or -1?
-1
Let x = 9 - 4. Is x bigger than 6?
False
Let o = -10 + 7. Suppose 3*g - 5*z = 2 + 63, 2*g - 2*z - 42 = 0. Suppose 5*v + 0 + g = 0. Is v < o?
True
Let m = -4 + 5. Is m != -45?
True
Suppose -3*m = -8 + 20, 0 = -4*u + m + 24. Suppose a = -a. Suppose -5*l + a = -u. Is l greater than or equal to -1/8?
True
Let c = 584 + -9952/17. Let z = c - -134/119. Is z at most 1?
True
Let j = -3 - -11. Suppose -z + 4*v - j - 4 = 0, 5*z + 2*v = -38. Is z < -7?
True
Let m(o) = -o**2 + 3*o + 4. Let d be m(4). Let s be 12/4 - (d + 0). Is 3 <= s?
True
Let j be 3/(-9)*-9 - -1. Which is smaller: 50/11 or j?
j
Suppose 4*o - 27 = 1. Let l(g) = g**2 - 7*g + 5. Let r be l(o). Suppose 0 = 2*j + r*s - 22, 4*s = 3*j + 2*j + 11. Is 0 at least as big as j?
False
Let n(b) = -b**3 - 6*b**2 - b - 3. Let j be n(-6). Let o(g) = g - 8. Let p be o(12). Suppose p*s = 4*v + 12, -3*s - 1 = -4*v - 9. Which is smaller: j or s?
j
Let b(n) = n**3 - 7*n**2 - 18*n. Let s be b(9). Which is bigger: 4/5 or s?
4/5
Let g be ((1 - 2)*13)/4. Let u be 3*-1 - (-7)/20. Let k = u - g. Which is smaller: k or -1?
-1
Let p(x) = x + 4. Let r be p(-7). Let d = 4 + r. Let l(f) = -f**2 - 6*f - 8. Let j be l(-4). Which is greater: d or j?
d
Let o = -1.3 + 0.3. Let y = -49.05 + 48. Let a = y - -1. Is o smaller than a?
True
Suppose -7*f + 24 = -2*f - 4*o, 5*o + 17 = 3*f. Which is smaller: 2/3 or f?
2/3
Let m = 9.91 + -10. Let o = -18 - -18.09. Let t = m + o. Which is smaller: t or 4?
t
Let b = -4 + -4. Let f = b - -9. Let d = -2.02 - -0.02. Is f at least as big as d?
True
Suppose -2*j - 5 = -3*j. Let n = -3 - -6. Which is smaller: n or j?
n
Let r be (-3)/(-4) + ((-10)/(-4))/(-5). Let b = 5.3 - 5. Let u = b - 0.4. Is u <= r?
True
Let j be (9/(-3))/(1 + -2). Suppose j*v - 2*v = 0. Do -2 and v have the same value?
False
Let u(o) = -o - 10. Let z be u(-7). Let c = z + 3. Suppose 4*n = p - c*p - 5, n + 1 = 0. Is 1 >= p?
True
Let w = -17 + 19. Is 0 at most w?
True
Let z be 8/(-1 - -3) - (9 - 5). Let a(s) = 3*s**3 - s. Let p be a(-1). Let k be (-1)/(p + (-1)/(-1)). Is z greater than k?
False
Let p be 0*4*3/12. Suppose w = 2*h - 2, -5*h + 1 + 14 = 0. Suppose p = -y + 2 + w. Is y at most 5?
False
Let f be (-1 - 0)*2 - -1. Let z be ((-56)/(-12))/((-2)/(-69)). Let l = -1773/11 + z. Which is greater: l or f?
l
Let t = 4.64 + -0.64. Is t greater than or equal to 2/7?
True
Let w = 8 - 8.2. Let f = w + 0.1. Which is smaller: 3 or f?
f
Let x = -573 + 13181/23. Which is bigger: x or 1?
1
Let m = -3.1 + 0.1. Let q = -3.2 - m. Which is bigger: 0 or q?
0
Let i = 481/32 + -15. Are i and 1 nonequal?
True
Let o = -45 + 136/3. Is o bigger than -1?
True
Let g = -1/26 + 57/130. Is g less than or equal to 10?
True
Let p be (3 + -22)*(0 + -1). Suppose 0 = 5*o 