 Which is bigger: -4 or f?
f
Let m(l) = 8*l - 4. Let y be m(3). Let t(f) = f**3 + 5*f**2 - 5*f. Let u be t(-5). Let x be u/y + 1/(-4). Is x < 1?
False
Let s(h) = h - 3. Let c(j) = -6*j + 14. Let y(n) = 3*c(n) + 16*s(n). Let q be y(-6). Let i(u) = u**3 - 5*u**2 - 6*u + 1. Let t be i(q). Is t < 0.3?
False
Let s = 28 + -25. Which is bigger: 7 or s?
7
Let z be (0 - -1)*(0 - 1). Suppose 2 = -3*p - 2*m, 3*m = 2*p + 3*p + 16. Are z and p nonequal?
True
Let n be 3 + ((-9)/2)/(141/90). Are 1/3 and n nonequal?
True
Suppose z = m - 3, -2*z + 3*z = 1. Let d = 3 + m. Which is bigger: 6 or d?
d
Let i(w) = -w**3 - 12*w**2 + w + 12. Let m be i(-12). Which is greater: -4 or m?
m
Suppose b - 568 = -3*n - n, -142 = -n - 4*b. Which is smaller: n or 143?
n
Let n = -380/7 + 54. Suppose 4*y + 3*a + 1 = 0, 2*y - 2*a = 3*a + 19. Suppose 0 = y*j - 4*j. Are j and n equal?
False
Let o(y) = 6*y + 4*y**2 - 8 + 2 - 3*y**2. Let x be o(-7). Let v = -0.3 - -0.5. Which is smaller: x or v?
v
Suppose -5*g + 42 = -8*g. Is -14 greater than or equal to g?
True
Let d = 8.007 + -0.007. Is d at least 2/9?
True
Let q = -2003884939/1135 + 1765538. Let s = q + -2/227. Which is greater: 1 or s?
1
Let f be 31/8 - (-4)/32. Suppose -2*o - 2*v = f, -3*o + 4*o = v + 4. Which is bigger: o or 2/19?
o
Let v = 0.324 + -0.024. Are v and 3 non-equal?
True
Suppose -c + 3 = 13. Is -2 less than or equal to c?
False
Let d(y) = 2*y + 2. Let j be d(-2). Let a be (-8)/16 + j/(-8). Let i be ((-1)/(-2))/((-1)/2). Which is greater: a or i?
a
Suppose r = 2*s - 2, -3*s + 12 = s. Let w be (r/230)/((-4)/20). Is w at least as big as -1?
True
Let s(d) = d**3 - 2*d**2 + 3*d + 1. Let r be s(0). Suppose 5*u + 0 + 5 = 0. Let q be (1 - (0 - -1))/u. Which is smaller: q or r?
q
Let k = 32 - 98/3. Let h(y) = y**2 + 5*y + 4. Let x be h(-5). Suppose -2*w + 3*a - 8 = 4, -4*w = -x*a + 16. Is w greater than or equal to k?
True
Suppose 0 = 5*i + 2*n - 12, -3*i + 2*i - 3*n = -5. Let o be 2371/(-15) - 6/(-9). Let y = o + 158. Are y and i nonequal?
True
Let y(t) = t**2 - 5*t - 5. Let i be (-39)/(-7) + 3/7. Let b be y(i). Let k be 2*1/22 - 0. Which is smaller: b or k?
k
Let f be ((-1)/2)/(8/(-4)). Which is greater: f or -0.07?
f
Let h be (-2)/3 - (-1005)/(-45). Let s = h + 40. Which is smaller: 16 or s?
16
Let w(o) = o - 1. Let c(x) = -x**2 - 4*x + 7. Let y(d) = -c(d) - 6*w(d). Let g be y(3). Suppose 3 = 5*l - g*n, 0 = -4*n + 3*n + 1. Which is smaller: l or 2?
l
Suppose 3*j - 3*x = 0, -3*j + 2*j = x - 8. Suppose -4*r - j*o - 21 = -3*o, -5*o - 21 = -r. Which is greater: r or -3?
-3
Let s = -66 + 56. Is s at most 3?
True
Suppose -5 = 4*c - 13. Let m = 4 - c. Let q be 2/(-24)*-3*6. Which is smaller: q or m?
q
Let k = -3.8 - -4. Let l = k + -0.16. Let f = l + -0.34. Which is smaller: 0 or f?
f
Suppose q - x - 4*x - 26 = 0, 28 = 4*q - x. Let y be (q/(-10))/(7/5). Is y at least -1?
True
Suppose 0 = 5*d - 5. Let f be 2/220*150/12. Let u = f + -4/11. Which is greater: u or d?
d
Let s(z) = -z**3 - 7*z**2 - z - 9. Let m(a) = 8*a**3 - a. Let o be m(-1). Let c be s(o). Let v be (-2)/2 - (-1 + c). Which is bigger: v or 3/5?
v
Suppose 0 = 3*v - 5*v + 2. Let q = 0 + v. Let j be (-19)/(-36) + 4/18. Do j and q have different values?
True
Let t be (-2542)/(-18) + 5 + 141/(-27). Are 141 and t unequal?
False
Let n be (0 + 1)*(1 - 0). Suppose -n = 5*u - 6. Which is bigger: 3/2 or u?
3/2
Suppose -42 = -5*m - 12. Suppose v = 5*v - 5*i, 2*i = -5*v + 33. Which is bigger: v or m?
m
Suppose 0 = m + 12 - 3. Are m and -8 nonequal?
True
Suppose 2*f + 27 = 11*f. Let u be 2/48*3*-2. Which is smaller: u or f?
u
Suppose -v = 5*h + 16, -4*h = 3*v - 6*v + 9. Let f = -18 - -11. Let x = f + 6.6. Is x > v?
True
Let u(g) = -g**3 - 12*g**2 + g + 11. Let c be u(-12). Which is greater: c or -3?
c
Let q be (-2 + 1)*3/3. Let m be q*(99/(-3) - 2). Let b be (10/m)/(4/6). Is b bigger than 0?
True
Let v = 8.2 - 8.2. Which is bigger: v or 2/35?
2/35
Let m(t) = t**3 - 5*t**2 + 5*t - 2. Let q be m(3). Which is smaller: q or -4?
q
Let g(j) = -j**2 - 8*j - 7. Let f be g(-6). Let d be -3 + 6 + (-3)/3. Suppose d*z + 17 = -f*s, -4*s + z - 5 = 19. Which is smaller: 1 or s?
s
Suppose 2*c = 5*c + 3*z - 84, 0 = -5*c - z + 140. Which is smaller: 30 or c?
c
Let c = -0.335 + 0.035. Is -1 smaller than c?
True
Let k = 20 - 20.09. Let a = -0.01 + k. Is -4 at least a?
False
Let i = -0.1 + 0.2. Suppose 5*p + 2*m + 5 = 0, -5*p + 0*m + 5 = 4*m. Is i <= p?
False
Let p be (-3)/14*(-4)/18. Let i = -3/35 - p. Let t = -0.2 - -0.2. Which is smaller: i or t?
i
Let f be 4/12 - 22/(-24). Which is smaller: 0 or f?
0
Let b(v) = -v + 7. Suppose 10*q = 12*q - 12. Let o be b(q). Is o bigger than -1/19?
True
Let o(c) = -c - 6. Let l be o(-7). Suppose -2*q + l = 5*u, u + 3*u = -3*q - 2. Let h be q/(2 + 5/(-2)). Is h > 1?
True
Let p be ((-2)/(-3))/((-6)/9). Let s = -4 + 7. Suppose -2*u + 5 = s*u. Which is bigger: p or u?
u
Let g = 3 + -5. Let n = -0.8 + 7.8. Let q = n - 6. Is g at most q?
True
Let u = -0.63 - 1.35. Let w = 0.02 - u. Let c = -1 + w. Which is bigger: -1 or c?
c
Let n be (-8)/(-3)*11/12. Which is greater: 3 or n?
3
Let h be (12/8*-1)/((-3)/4). Let j be 2/(-10)*(726 + 1). Let g = 146 + j. Are g and h nonequal?
True
Let s = 0.07 + 0.23. Let x = 0.07 - 5.07. Let r = x + 6. Which is greater: r or s?
r
Let j = -2385/47 + -275857/423. Let x = j - -704. Is x > 1?
True
Suppose 0 = 5*o - 5*q + 35, -2*o + 4*q - 4 = 20. Are -0.2 and o non-equal?
True
Let m = -1/2 + 9/14. Let f be (-3)/(-15)*(-1 - 0). Is f bigger than m?
False
Let g(q) = -19*q**3 + 2*q**2 + q. Let l be g(-1). Is 21 less than l?
False
Suppose 0 = -2*m + 2*v + 66, -v = 2*m - 6*v - 63. Suppose -4*t + 70 = -2*z, 4*t + 4*z - 30 = m. Does 18 = t?
False
Let x(w) = -3*w - 3. Let t be x(-3). Let b be (-56)/90 - t/(-15). Suppose 0 = -4*q - 2*v, -2*v = -4*q - 6 + 14. Is b at most q?
True
Let d = -735/4 + 185. Let z = -0.2 - -0.3. Which is smaller: z or d?
z
Let j be 11/((-220)/(-1608)) - 1. Let s = -79 + j. Is 0.4 < s?
False
Let w = -142/5 - -1831/65. Which is smaller: w or 1?
w
Suppose 0 = -3*j - 0 + 3. Let s be -8 + -2 + (j - 1). Let c = -7 - s. Is 3 > c?
False
Let f(l) be the second derivative of 4*l**3/3 + 3*l. Let j be f(-1). Is -8 > j?
False
Let q(v) = v**3 + 8*v**2 + 6*v + 8. Let k be q(-8). Which is smaller: -41 or k?
-41
Let n = -198 + 196. Is 30 not equal to n?
True
Let c(z) = -z**2 - 9*z - 8. Let r = 16 - 24. Let n be c(r). Is n <= -2?
False
Let p = 8 + -2. Is 5 less than p?
True
Suppose -4*k + o + 0*o = -3, 5*k + 3*o = -9. Is k at most -1/5?
False
Suppose 3*v + 2 = 14, -14 = a - 3*v. Let w be (-3)/6*0/a. Are 2 and w non-equal?
True
Let v = -5.5 + 5. Let d = 3.5 - v. Which is bigger: 2 or d?
d
Let r(o) = -o**3 - 13*o**2 + o + 1. Let w be r(-13). Are w and -12 equal?
True
Let i = -2 + -7. Let x be (-7 + 2)*i/15. Suppose -x*a - a = -4. Which is greater: 2 or a?
2
Let q = 3 - 2. Is -1/7 at least q?
False
Suppose 0 = 4*r - 2*r + x + 3, 0 = -3*r - 3*x - 9. Suppose -g + 0*g - 2 = 0. Is g less than r?
True
Let g = 0 - 2. Let d(v) = -v**2 - 6*v + 10. Let m be d(-7). Let z be (g/m*-3)/4. Do z and -3/4 have different values?
True
Suppose -2*w + 18 = -5*a, -w - a + 9 = 3*a. Suppose o + 3*i + w = 0, 2*i + 1 - 3 = 2*o. Is -2 equal to o?
False
Let b be (-2 - (-5 + -2))/1. Let y be b/(3/(-3) - -2). Suppose 12 = 5*p - 2*p - 2*s, 0 = -2*p - 3*s - y. Which is smaller: 3 or p?
p
Suppose -20*w = -w + 646. Does w = -32?
False
Let s(m) = -7*m**2 + 6*m - 30. Let j(d) = -20*d**2 + 17*d - 89. Let w(k) = 6*j(k) - 17*s(k). Let g be w(0). Are -25 and g unequal?
True
Let y = 1.145 - 0.045. Which is bigger: y or 2?
2
Let t = 1 - 1. Suppose -15 = -k - t. Suppose 0 = 6*z - z - k. Is 3 at least z?
True
Let v = -136 - -94. Is v at least -2/7?
False
Let p = 0 - -1. Let j be -1*p/(1/1). Suppose -4*l - 5*o + 1 = 0, 5*o - 5 = -0*o. Is j at least as big as l?
True
Let g be ((-5)/15)/(2/42). Let x = 7 + g. Is -2/5 greater than x?
False
Suppose 0 = -0*m - 5*m + 2*g - 11, g + 11 = -3*m. Let j be ((3 + m)*1)/(-3). Which is smaller: -3/11 or j?
-3/11
Let w = 63/2 + -203/6. Is -3 > w?
False
Let t = 1 + -2. Let u be 2/(-9) + 7/(-36). Let w = 1/60 + u. Which is greater: t or w?
w
Let p be (24/(-15))/(-3 - 60/(-25)). Are p and 2 nonequal?
True
Let r be (4/5)/(1*-1). Let k = -5 + 8. Let u = k +