 (1 - 3)/(-1 + 3). Which is smaller: j or u?
u
Let f = -5 + 10. Suppose -k + 0*k = -f. Suppose 8 = -k*j + j. Is -7/4 bigger than j?
True
Let c be 3 - (-1)/((-3)/6). Let n = c - -3. Suppose v + n*v = 15. Which is smaller: v or 4?
v
Let f = -294 + 296.19. Let z = 0.19 - f. Is z not equal to -1/3?
True
Let d = -31 - -30. Which is smaller: d or -5/3?
-5/3
Suppose -3*q + 2*s + 6 - 1 = 0, s + 4 = 0. Let f(u) be the second derivative of u**4/12 + u**3/3 + 2*u. Let b be f(q). Is b < -1/9?
True
Suppose 0 = 4*h - v - 8, 0*h - v = -h + 5. Suppose -2*x + h = -3*x. Let o = 0 - x. Is o greater than 1/4?
True
Let a = 1 - -3. Let r be 1 - -6 - (3 - (0 - -1)). Suppose -r*c + c - a = 0. Is -4/7 at most as big as c?
False
Let w = 18 + -16. Which is bigger: w or -0.04?
w
Suppose -i = 2*h + 4, 8 = -i - 4*h + h. Let d = -16/7 + 67/14. Which is smaller: i or d?
d
Suppose y + 2*w + 8 = -y, 3*y - 3*w = 12. Which is greater: y or 3/22?
3/22
Let o be (-2 - -1)/((-5)/20). Is 5 >= o?
True
Suppose 3*k - 2 = k. Suppose -4 = 5*w + k. Let a be -3*(20/(-66))/(-5). Which is smaller: a or w?
w
Suppose -2*v + 6*v = -12, -4*s + 5 = 5*v. Suppose -n + 9 = 2*q, -q = 4*q - s*n. Suppose q*h + c + 1 = -c, h - 2*c = -3. Are h and 0 unequal?
True
Let b = -21.96 - -28. Let w = b - 6. Let z = -0.03 + 0.13. Is z != w?
True
Suppose -5*c + 3 = -17. Which is smaller: -2 or c?
-2
Let i = -2/13 + -8/117. Suppose q - 3*v - 2*v = -10, 4*q = -4*v + 8. Suppose -4*l - 4 = 3*j + 8, 3*l - j - 4 = q. Are i and l equal?
False
Suppose -2*f - 2*f + 3*a = 592, 3*a = -3*f - 444. Do f and -147 have the same value?
False
Suppose 6*f = 4*f + 16. Which is greater: 10 or f?
10
Suppose 0 = -7*y + y + 6. Let a be 3*(-3)/(-15) + -1. Is a at least as big as y?
False
Let m = 17 + -20. Is 0.3 > m?
True
Suppose 0*f - f + 2 = 0, 0 = -2*a + 4*f - 4. Let j = 1248/685 + -3/137. Is a not equal to j?
True
Let l be -1 + (-3 + 1 - 2). Let b(y) = -y**2 - y - 5. Let f be b(0). Is l bigger than f?
False
Let j = 57.9 - 73. Let s = j + 15. Is 0.3 not equal to s?
True
Let d = -23 - -23. Which is smaller: d or -1?
-1
Suppose -h - 2 = -1. Suppose -5*r + 3 = -2. Let s be (3/12)/h*r. Is 2/7 smaller than s?
False
Suppose 4*l - 5*g = -56, -l = 2*l - 2*g + 49. Are l and -20 non-equal?
True
Let r(b) = b**3 - 12*b**2 - 14*b + 5. Let c be r(13). Let f = 23/3 + c. Which is smaller: f or -1?
-1
Suppose -2*q + q + 7 = 0. Let p = -3 + q. Which is smaller: 3 or p?
3
Let s = -5 + 6. Let o be (1 + s)*3/(-2). Is o > -2?
False
Let o(n) = 5*n + 10. Let l(k) = k**3 + 6*k**2 + 4*k - 1. Let b be l(-5). Let q(t) = -3*t - 5. Let r(z) = b*o(z) + 7*q(z). Let g be r(9). Is -5 <= g?
True
Let d = 34 + -36. Suppose 2*i - 1 = 3*i. Is d != i?
True
Let m = -18 + -42. Let j be ((-2)/(-6))/(310/m). Are -1 and j nonequal?
True
Suppose -2*s + 2*i - 198 = 0, -2 - 2 = 2*i. Let a = -809/8 - s. Which is smaller: a or 1?
a
Let n = 6 + -13. Let k be 2*((-7)/(-2))/n. Which is greater: -2 or k?
k
Suppose -4*b - 2*h = -6, -2*b + 2*h - h = -5. Let l be (1 + 0)*(-1 + b). Is l greater than 2/7?
True
Let d be (4 - 2) + -1 + 3. Let b(g) = g**3 - 7*g**2 + 10. Let t be b(7). Let k = t - d. Does k = 6?
True
Let i = 18 + -18. Which is smaller: i or 0.13?
i
Let a = -63/2 + 31. Let u = 0.011 - 6.211. Let y = -1.2 - u. Are a and y nonequal?
True
Let j = 2.3 + -0.3. Which is greater: j or 0.1?
j
Suppose 4*i - 9 = 11, q + 3*i = 14. Suppose 22 = -f - 17. Let x = -119/3 - f. Which is smaller: q or x?
q
Let g be 29/(-2) + 3/(-2). Let p = 15 + g. Is p <= -6/11?
True
Suppose 3*c = -5*p - 22, -c + 1 = 5. Is p less than or equal to -1?
True
Let d = -110 + 437/4. Suppose 2*g = g. Are d and g unequal?
True
Let n = 3 - 2. Let z = -3.4 + -0.6. Let f = 5 + z. Is f > n?
False
Let v be (2/6)/((-33)/18). Let s be (4 - 2) + 3/(-3). Is v > s?
False
Suppose 4*k = y - 45, 0*y + k = -y + 55. Is y greater than 54?
False
Let b = -4.3 - -3.9. Let i be -1 + ((-63)/(-3))/3. Suppose -4 = 5*u + i. Which is smaller: b or u?
u
Suppose 24*f - 20*f - 44 = 0. Which is smaller: 8 or f?
8
Suppose -24 = 9*n - 7*n. Which is smaller: -13 or n?
-13
Suppose 8 = -4*k, 4*k + 99 = 5*s + 2*k. Is 19 less than or equal to s?
True
Suppose 3*u - 1 = 3*p + 11, 4*u = -3*p + 9. Is -9/8 >= p?
False
Suppose -2*q + 4 = -q - 3*t, -2*q - t + 1 = 0. Which is greater: -2 or q?
q
Let u = 0.37 - -0.03. Let o = -0.4 + u. Is 5 less than o?
False
Let o = 36.3 - 34. Let s = 6.7 + o. Which is smaller: s or 0?
0
Let j(n) = 129*n + 8. Let b be j(6). Let t be 1/4 - b/56. Let l = t - -761/56. Which is smaller: -0.1 or l?
l
Let h = 1.3 - 1. Let i = -8.4 - -8. Let k = h + i. Which is bigger: 0 or k?
0
Let w(b) = -b + 12. Let k(o) = 1. Let t(n) = -6*k(n) + w(n). Let i(l) = -l**3 - 3*l**2 + 4*l + 5. Let x be i(-4). Let s be t(x). Which is smaller: s or -0.1?
-0.1
Let s = 289/84 - 1/84. Let o = -113/35 + s. Which is smaller: o or 2/9?
o
Let y be 12/(-8)*(-16)/(-6). Which is smaller: -3 or y?
y
Let n = 0.1 + -1.1. Let o = n - -4. Let x = 5 - o. Are x and 1 nonequal?
True
Let b = -1.1 - -0.9. Is -4 at least b?
False
Let x = -14/225 + -4/25. Is x > 0?
False
Let z(c) = -6*c - 9. Let t(k) = k + 2. Let y(s) = -11*t(s) - 2*z(s). Let v be y(3). Which is smaller: v or -1/2?
v
Let x = -3.048 - -0.048. Which is smaller: x or 9?
x
Suppose -2*m = 3*x + 11, -3*m = 3*x - 4*x. Let v be m - 1 - (-200)/112. Which is smaller: -1 or v?
-1
Let g be (-1)/(-4) - 46/(-8). Let u(v) = -v**3 + 5*v**2 + 5*v + 3. Let n be u(g). Which is bigger: -1 or n?
-1
Let a = 1 + -1. Let k = -4 - -4. Is a smaller than k?
False
Let q = 1.98 + 0.02. Let i = -0.06 - -1.06. Let p = q - i. Which is smaller: -0.3 or p?
-0.3
Let x be -1 + 2 + (1 - -1). Let s = -54 + 54. Is x > s?
True
Let v(z) = -z. Let i(h) = -h**2 + 9*h + 1. Let k(x) = -i(x) - 3*v(x). Let m be k(6). Which is greater: m or 1?
1
Suppose 0 = 3*z - r - 230, -3*z + 2*z + 82 = 5*r. Let v be 1/(-1) + 70/z. Is v at least as big as 0?
False
Let x(m) = -m**2 - m + 7. Let d(o) = o - 1. Suppose 4*b = -2*r + 2 + 2, 3*b + 2*r = 1. Let w(z) = b*d(z) + x(z). Let t be w(3). Are 0 and t non-equal?
True
Let c = 3457/1265 - 32/115. Is c smaller than 1?
False
Suppose 3 = 3*n, 4*n = -2*l - 0*n + 26. Suppose -5*y - 5 = 5*d, -5*d + l = -y + 2*y. Let z be 1 - y/(-5) - 0. Which is smaller: z or -1?
-1
Let t = 12 - 8. Let p be -2 - ((-22)/t + 3). Which is greater: 2/13 or p?
p
Suppose 2*z - 28 = -4*k, 5*k - 41 = z - 5*z. Do -1 and z have the same value?
False
Let x = -5434 - -38128/7. Which is smaller: x or 14?
x
Let d(s) = s**3 - 8*s**2 + 6*s + 9. Let p = -4 + 11. Let z be d(p). Suppose z - 6 = -2*y. Is y at most as big as 2?
True
Let g = 34 + -22. Let x = g - 9. Which is smaller: 5 or x?
x
Let d = 898/7 + -128. Suppose 3*l + 12 = 0, -14 - 17 = 3*b + 4*l. Let o = b + 6. Is o != d?
True
Let t = 6 + -6. Suppose -c + 1 + 0 = t. Let q = c + 1. Are q and 1 nonequal?
True
Let p = 3 - 0. Suppose -p*v - 1 - 2 = 0. Which is greater: -2 or v?
v
Suppose -5*r + 14 = -3*v - 4, 5*v - 4*r = -17. Let z(h) = -h**2 + 3*h + 7. Let t be z(5). Which is bigger: v or t?
v
Let d = -37/135 - -2/27. Let m be 2/(-9) - 1800/(-81). Let a = m + -21. Which is bigger: a or d?
a
Let z(f) = -f**3 + 6*f**2 - f + 5. Let l be z(6). Suppose -10*d = -5*d - 160. Let t = -65/2 + d. Is l less than or equal to t?
True
Suppose -5*s - 25 = -0*m - 2*m, 4*m + 2*s = 38. Let v be (-7)/(-6) + m/(-5). Which is bigger: v or 1?
1
Suppose -4*l + 19 = 5*y - 2*y, 0 = -5*l + 5. Suppose 4*u + y - 1 = 0. Is u less than or equal to -7/4?
False
Let g be 6/33 - 18/(-22). Let y be g + (-57)/(-21) + -4. Do -2/7 and y have the same value?
True
Let g = -1341 + 36202/27. Does g = 0?
False
Let t be 3 - (4 + 0 - -3). Is t >= -13?
True
Let p(m) = m**3 + 4*m**2 - 5*m. Let r be p(-5). Suppose -i + 0*i - f - 5 = r, -4*f = 12. Is 1 < i?
False
Suppose 3*x + 0*x = -3. Is 1/4 bigger than x?
True
Suppose 4*l = 2*w + 38, w + 2*l + 3*l + 19 = 0. Which is greater: -88/5 or w?
-88/5
Let w be 4/10 + 84/(-135). Let o(q) be the second derivative of -q**4/12 + 3*q**3/2 - q**2/2 - 2*q. Let r be o(9). Does w = r?
False
Suppose 5*t - 5*x = 4*t + 3, 5*x + 35 = 5*t. Is 10 bigger than t?
True
Let n be (26/(-1365))/((-2)/(-40)). Which is bigger: n or 0?
0
Let c(z) = -4*z + 2. Suppose b = 6*b - 10. Let l be c(b). Which is bigger: -7 or l?
l
Suppose -y = -6*