j?
j
Suppose 3*d + 3*z - 12 = 0, 5 = 3*d + z - 5. Let h be ((-24)/(-2 - 2))/2. Is h < d?
False
Let b be (-5)/72*1*(-105)/350. Which is bigger: -1 or b?
b
Let r be (-2)/(-70)*10/4. Let g = 170545/42 + -4061. Let i = g + r. Which is greater: 0.5 or i?
0.5
Let p = 1 - 3. Let y = -1.6 - p. Let l = y - 0.6. Is l less than or equal to -1?
False
Let p = -0.9 + 1. Let o(r) = r**2 - 3*r - 2. Let c be o(7). Suppose -4*i = -5*l - 0 - c, -3 = 3*i. Is l smaller than p?
True
Let d be ((-2)/4)/(2/4). Is d greater than -2/95?
False
Let f = -0.17 + 21.17. Let b = -21.4 + f. Is b not equal to -4/5?
True
Let c be (0 - 0) + (-2)/(-2). Let v be 6/8 + 1 + -1. Is v smaller than c?
True
Suppose 0 = -3*d - h + 7 + 2, h = 5*d - 15. Suppose 8*y = -6 + 54. Suppose 5*q = d*q + y. Is q < 2?
False
Let j = 1.44 - 1.83. Are -1/2 and j non-equal?
True
Suppose 7 + 2 = 3*n. Suppose 5*b + 20 = -6*g + 2*g, n*g + 4*b = -16. Let i = -45/44 - -3/11. Which is smaller: i or g?
i
Let b be (-228)/(-20) - (-4)/(-10). Suppose 37 = -3*y - b. Let k be 1 + 2 + y/6. Which is greater: -1 or k?
k
Let q be (4/6)/(10/(-20)). Suppose 0 = -2*i + m, 2 + 8 = 5*i - 5*m. Is q > i?
True
Let n be 6/170*(-7)/((-105)/(-10)). Is 0.2 != n?
True
Let n = 163 - 89. Let t be n/(-6) - (1 + 0). Let l = t + 13. Are l and 0 equal?
False
Let i be (-106)/(-105) + 6/45. Let f = 38/21 - i. Let k = 3.02 - 3. Which is bigger: f or k?
f
Let p(t) = 3*t**2 + 20*t + 14. Let q(u) = 2*u**2 + 13*u + 9. Let g(j) = 5*p(j) - 7*q(j). Let d be g(-8). Let r = 28/15 - 16/5. Is d greater than or equal to r?
True
Suppose 2*x + 0*t = -4*t - 28, 3*x + 5*t = -39. Which is greater: x or -10?
x
Suppose 4*y - 2*y - 6 = 0. Suppose b + b + 13 = y*z, 3*z - 28 = 5*b. Is -1/6 smaller than z?
True
Let g = -18 - 12. Which is bigger: 1 or g?
1
Let u = -5/6 - -1/12. Let s be (0 - 1)/(4 - 3). Is u < s?
False
Suppose 3*i = i + 5*d + 1, 7 = 2*i + d. Let s be (-4)/i + (-9)/(-27). Which is greater: s or -6/7?
-6/7
Let h(j) = j**2 + 7*j + 5. Let o be h(-6). Let d(k) = -4*k. Let a be d(o). Let p be (-11)/9 + a/18. Is -2/21 bigger than p?
True
Suppose -3*w + 6 = -0. Let b = w + 1. Suppose -5*c - 2*d - 3 = 4, -b*c = -2*d + 17. Is -2 < c?
False
Suppose 7*b = -123 - 3. Is b > 2?
False
Let v = 55 + -35. Let b = v - 28. Is b equal to -2?
False
Suppose -2 = -0*r + 2*r. Let h be 24/(-40)*(-2 - r). Is 2 at least as big as h?
True
Let b = 32 - 22. Suppose 6*w = b*w. Suppose 4*m + 16 = 0, -2*a - 7*m - 18 = -2*m. Which is greater: w or a?
a
Let u = -1 - -4. Suppose 0 = 2*x - u*d + 15 + 4, -4*x - d = 17. Is -5 >= x?
True
Let y = 5 - 10. Is -2/5 <= y?
False
Suppose 0 = -l - 3, -2*k - l - l - 16 = 0. Let s be (-2)/(-5) + 12/k. Let x be (s/(-3))/((-4)/(-6)). Is x smaller than 1?
False
Let q(c) = c - 7. Let u be q(6). Let j = -256/7 - -36. Which is bigger: j or u?
j
Let f = 1.4 - 1. Let c = 0 + f. Does 0 = c?
False
Let w(z) = z**3 - 6*z**2 - 6*z + 7. Let b = 11 + -4. Let y be w(b). Is 15 less than or equal to y?
False
Let x be -2*2 - (-2 + -1). Is -1/24 != x?
True
Suppose 17 = a + 12*v - 8*v, 2*a - 22 = -5*v. Which is smaller: -5/14 or a?
-5/14
Let r = -2 + 3. Let v = -8 - -5. Let z = v + 3. Which is greater: r or z?
r
Let b(q) = q**3 - 9*q**2 - 10*q - 1. Let y be b(10). Which is smaller: -1/31 or y?
y
Let x(c) = c**3 + 5*c**2 + 4*c - 1. Let a be (-3)/(-9) + (-13)/3. Let r be x(a). Do 2/9 and r have different values?
True
Let w be (-6)/(-12)*(8 + 0). Let m(l) = -l + 3. Let v be m(w). Which is smaller: v or -2?
-2
Let g = -1839 + 29415/16. Is g <= -2?
False
Suppose 8*z = 3*z + 3*r - 5, z + 5*r - 27 = 0. Suppose 4 - z = b + a, -6 = -b - 5*a. Which is smaller: b or 2/7?
2/7
Let o(d) be the first derivative of -d**2/2 - 10*d + 2. Let z be o(-10). Suppose -h + 4*h + 9 = z. Is -3 at least h?
True
Let o(u) = -7*u - 25. Let f be o(-3). Which is smaller: f or -3?
f
Suppose 0 = -3*z - 2*z - 20, 0 = -f - 2*z - 5. Let c be (-1)/((3/f)/(-1)). Is -1 less than or equal to c?
True
Let p = 2.3 - 2.7. Is p != 0.2?
True
Suppose 3*p = 5*p - 10. Suppose p*c - 12 = 3*h, c + c + 2*h = 8. Suppose y + 2 = c*y. Which is smaller: y or 2/13?
2/13
Let y be 2 + 0 - 575/(-30). Let a = y - 21. Is 0 smaller than a?
True
Suppose 0 = 7*v - 3*v. Let o = -265 + 3443/13. Which is smaller: v or o?
o
Let d(g) = -g**3 + g**2 + g - 147. Suppose 0*p + 12 = 3*p - 3*x, p + 4*x = -16. Let c be d(p). Let m be (-7)/(c/(-48)) + 2. Which is greater: 0 or m?
0
Let o = -76399/80 - -955. Which is greater: 0 or o?
o
Let a(o) = -7*o**2 + 1. Let u be a(-2). Which is smaller: u or 1/3?
u
Let f = 14 - 5. Suppose 10*a - 2 = f*a. Which is smaller: a or 0?
0
Let h = 8 - 8. Which is smaller: h or -2?
-2
Suppose 1 = o, 3*o + 0*o = -4*z + 35. Let k = z - 8. Which is smaller: k or 8?
k
Let q be 6/(-39) - (-64)/(-91). Let o be 2 + 30/(-9) + 2. Which is greater: o or q?
o
Suppose -5*d = w + 4*w + 40, -5*w - 28 = 3*d. Let u = -8 - 0. Is d less than or equal to u?
False
Suppose 2 = 4*h - 3*h. Let z(s) = s + 9. Let d be z(-6). Let b = h - d. Which is greater: b or 0?
0
Let x = -14.8 + 13. Let n = x - -1.7. Which is smaller: 5 or n?
n
Let w = -17/52 - -1/13. Let a = 8 - 8.4. Which is smaller: w or a?
a
Suppose 5*f - 23 = n, -n + 16 = 5*f - 11. Let d be (-8)/(-6) + f/(-15). Suppose -4*t + 3 = -d. Is t at most 2/15?
False
Let r(o) = o**3 - 8*o**2 - 12*o + 6. Let b be r(9). Is b bigger than -22?
True
Suppose -11 = 2*u + 11. Suppose 4*h + 73 = -5*j, -12*j - 25 = -7*j. Is h greater than u?
False
Let b be 3*2*4/72. Is b less than 17?
True
Let n(l) = -2*l**2 + 9*l. Let r be n(6). Is r at most as big as -18?
True
Suppose 5*u - 1 = 34. Let h = u + -2. Suppose 4 + 16 = h*f. Which is greater: f or 3?
f
Let j = 0.4 - 0.6. Let d = j + 0.2. Let k = d + -0.1. Is 1 > k?
True
Let h = -13 + 25. Suppose -3*q + 3 = h. Which is bigger: -5 or q?
q
Let y = -39 - -40. Which is greater: 5 or y?
5
Let a(b) = -b**2 + 7*b - 3. Suppose 0*u = -u + 2*d - 1, 3*u - 3*d = 9. Let l be a(u). Let g = l - -7. Which is smaller: g or 3?
3
Let v(j) = -j + 4. Let i be v(6). Let g = -5.8 - -6. Is i greater than or equal to g?
False
Let w = -26/7 - -473/133. Which is smaller: w or 0.1?
w
Let z(t) = 35*t + 1. Let m be z(1). Suppose -m = -p - 2*p. Which is greater: -1 or p?
p
Let z = 0.047 + 0.053. Let d = 3 + -5. Let u = d + 2.1. Is z greater than or equal to u?
True
Let l be 66/14 + (-2)/(-7). Let c be 12/(-3) - -5 - -3. Is l not equal to c?
True
Suppose -r = 4*r. Let o = 71 - 567/8. Is r at most as big as o?
True
Suppose -5*u - 8*m + 3*m = -5, m - 5 = -3*u. Let a be u/(-8) - (-38)/216. Let k = 16/27 - a. Which is greater: k or 3?
3
Suppose -9*t = -7*t. Which is smaller: t or 2/405?
t
Let i = -143 + 143. Which is bigger: i or -4/71?
i
Suppose 0 = -4*r - 18 - 14. Suppose 4*s = 5*f - 11, 0*s + 3*s + 5*f = -52. Which is bigger: r or s?
r
Suppose -2 = 4*j + 3*m - m, j + 2*m = 4. Is -2/3 at most as big as j?
False
Let l be (-34)/(-72) - 2/8. Let w be (-4 - -9)/(2/2). Suppose -j - 4*j + 5*z + 15 = 0, w*z + 19 = j. Which is smaller: j or l?
j
Let u be (96 + -13)*(-2 + 1). Which is greater: u or -82?
-82
Suppose 3*u + 3 + 15 = 5*y, -2*y = 0. Let b(x) = -2*x - 7. Let i be b(-6). Let g = i + u. Which is bigger: g or 1/9?
1/9
Suppose 3*u = -0 - 27. Does -9 = u?
True
Let c be (-1)/(3/2) + 36/54. Is 0 at least as big as c?
True
Let k be (-2*(-1)/2)/(-1). Let y = 8.16 + -0.16. Let r = -8 + y. Which is smaller: r or k?
k
Let w be (24/(-15))/(6/(-15)). Suppose t = 2*f + w + 1, -t - 5*f = -5. Which is bigger: t or 6?
6
Let w = 16.91 + -17. Let c = w - -0.09. Which is bigger: 3 or c?
3
Let r be ((-2)/4)/((-1)/(-2)). Let d be 485/(-406) - (-5)/5. Let b = d + 3/58. Is r less than or equal to b?
True
Suppose 3*o - 2 + 7 = m, -7 = 4*o - m. Is o less than -8/11?
True
Suppose -27*v = -9*v - 522. Which is smaller: v or 28?
28
Let o(h) = 5*h - 2. Let x = -2 - 1. Let r be o(x). Let d be (-2)/9 + r/45. Which is smaller: 0 or d?
d
Suppose -6 = 3*c, 0 = -3*t - 0*t - 4*c - 8. Is t equal to -10/7?
False
Let t(i) = -5*i + 6. Let x be t(10). Is x greater than -43?
False
Let x be 8/10 - 624/930. Which is smaller: 0 or x?
0
Let g = 12 + -2.9. Let w = -1.1 + g. Which is smaller: 0.2 or w?
0.2
Let k = 20 - 8. Suppose 0 = -4*y + l + k, 0 = -y - 5*l - 1 + 25. Suppose -4*r + y = -0. Is r at least 1?
True
Let i = -98 - -103. 