?
False
Suppose -5*o = -2*o + 42. Is -16 at least as big as o?
False
Suppose 4*q = 6 + 2. Let k(i) = -i**2 - 9*i - 6. Let r be k(-8). Is q less than r?
False
Let h(a) = -a - 8. Let o be h(-9). Let t be 2*(o - 3/6). Suppose 4*m - 3 = -7. Which is smaller: m or t?
m
Let w = 46 - 137/3. Let l = -5 - -5.3. Let u = l + -0.1. Is w smaller than u?
False
Let t be (7 - 9) + -2*1. Let d be 2/(3/6*1). Suppose 6*y = d*y - 12. Is y greater than t?
False
Suppose -2*k = -2*p - 20, 2*k - p - 10 = 14. Suppose 4*w - 20 = 0, 0*a = a + 3*w - k. Which is smaller: a or 1/25?
a
Suppose r = -5*q + 80, 0*r - 30 = -q - 3*r. Which is smaller: 47/3 or q?
q
Let p = 95/6 - 49/6. Which is bigger: p or 9?
9
Let j(h) = -h + 0 + 7 + 4 - 3. Let m be j(6). Is 1/2 less than m?
True
Suppose 3*y = 7*y - 4. Let h be 2/(-4)*-6 - (-11)/(-4). Is y less than h?
False
Suppose 4*z = 5*h - 21, 6 = -4*h + 26. Let x = 6 - z. Suppose f - x*c + 1 = 2, f - 1 = -5*c. Which is bigger: -3 or f?
f
Let c be 2/(-5) - 44/(-85). Let x = -5 + 5.7. Let p = -1.7 + x. Which is greater: p or c?
c
Let d = 0 - 0. Suppose -2*g + 5 + d = -3*v, 5*v - 4*g + 11 = 0. Let n = -3 + v. Do 0 and n have different values?
True
Let w(k) = k**2 - 2*k - 3. Let x be w(3). Let v = x - -3. Is v less than 3?
False
Suppose g + 63 = 21. Let s be (9/g)/((-6)/(-8)). Is s at most 8?
True
Let y(r) = -r**3 + 8*r**2 + 9*r + 1. Let f be y(9). Let z be (-40)/(-36) + (-2)/(-9). Let x = z - 5/6. Is f greater than x?
True
Let y = -99 + 164. Which is smaller: y or 2/3?
2/3
Let d(p) = -p - 11. Let h be d(-10). Let z be 1 - 2 - (h + 1). Let a = 11 - 54/5. Which is smaller: a or z?
z
Let n be 3/((-72)/(-68)) + (-2)/(-12). Let i = -24 + 43. Suppose -p = -2, -6*p - i = -5*r - n*p. Does 4 = r?
False
Let q = -28 - -21. Is 0 >= q?
True
Let i = 934/3 + -15896/51. Which is smaller: i or -1?
-1
Suppose 6*t - 3*t - h - 19 = 0, 5*t - 3*h - 37 = 0. Let w(v) = -2*v**3 + 24*v**2 - 21*v - 10. Let i be w(11). Which is smaller: t or i?
i
Suppose 4*a + 188 = -2*l - 192, -3*l - 4*a - 564 = 0. Let w = 1291/7 + l. Is w at most 0.1?
False
Let h(a) = 3*a**2. Let y be h(1). Suppose -x + 0*x - 4*g = 6, -2*x - 2 = 3*g. Suppose 0 = -2*d - 2*l + 4*l + 6, d - 3 = -x*l. Is y less than d?
False
Suppose -2*r + r - 3*i - 36 = 0, 24 = -r + i. Let u be ((-1)/r)/((-2)/6). Is u greater than or equal to -1?
True
Let k be 1/(1/(-2)*2). Let d be (-27)/(-45) - 6828/(-70). Let o = -98 + d. Are o and k nonequal?
True
Suppose 0*n + 5 = 5*n. Let i be 8/44 + 2014/5742. Let x = -9/29 + i. Is x greater than n?
False
Let r = -0.03 - -0.43. Is 1 greater than or equal to r?
True
Suppose 30*p + 60 = 31*p. Which is bigger: p or 61?
61
Suppose -4*m + 2*b - 10 = -5*m, -4 = 2*m - 4*b. Let d(k) = -2*k + 1. Let a be d(-2). Is a bigger than m?
True
Let d = -11 - -35/3. Let l(a) = -a**2 - 8*a + 31. Let y be l(-11). Is d >= y?
True
Let z(f) = -f**2 + 18*f - 14. Let n be z(17). Suppose 0 = 3*h - 0 + n. Which is greater: 3/13 or h?
3/13
Suppose o - 3*h = -7, 5*o - h - 7 = -0. Suppose -38*s + 24*s + 14 = 0. Which is smaller: o or s?
s
Let c(i) = -10 - 4*i + 6*i - i. Let p be c(7). Let m = p - -6. Do 3 and m have the same value?
True
Let n(o) = -o**3 + 8*o**2 + 9*o + 4. Let x be n(9). Let k = x + -1. Is 2 less than k?
True
Suppose -2*x - v - 2 = -12, 5*x + 2*v - 24 = 0. Let i = x + 0. Suppose a - q + 2 = -i*a, -5*q - 15 = 0. Is 2 bigger than a?
True
Let j be 2/2*(-8 - 4). Let f = j - -1. Is f > -11?
False
Let g = -3.1 - -3. Let p = g + 0. Let o(x) = -x - 5. Let k be o(-5). Which is smaller: p or k?
p
Let r = -3/13 - -19/26. Which is smaller: 27 or r?
r
Let p = 7/12 + -23/60. Which is greater: 0 or p?
p
Let s be ((-27)/(-126))/((-3)/4). Is s bigger than 3?
False
Suppose h + 10 = 2. Let w be ((-22)/h - 3)*-5. Which is smaller: w or 1?
1
Let k = -6 - -7. Let v = 0.9 - k. Let q = -1.02 + 0.02. Is v greater than q?
True
Let u = 16.28 + -1.28. Which is smaller: 1 or u?
1
Suppose -3*m - 4*n = -80, -2*m - 2*n = -3*m + 10. Let z be (46/m)/1 - 2. Which is smaller: 1 or z?
z
Let i = -1005/7 - -65297/455. Is i at most 1?
True
Let u = 1115/86457 + 2/1253. Let y be ((-2)/(-23))/((-5)/(-20)). Let x = u - y. Is x greater than or equal to -1?
True
Let j(g) = -g**3 - 5*g**2 + g + 10. Let y be j(-3). Which is smaller: y or -12?
-12
Let i be 69/(-180) - 6/(-45). Which is bigger: i or 0?
0
Suppose 4*u - 13 = 7. Let d = 122 + -122. Is u > d?
True
Let s be 6/(-8) + (-21)/4. Let l = s - -9. Is l greater than 2?
True
Let z = 6 - 2. Suppose -6*k = 4*f - 5*k + z, -5*f + 10 = 5*k. Let v = 0 - 2. Do f and v have different values?
False
Let g(d) be the first derivative of 3*d**2 - 7*d - 2. Let i be g(8). Let a = i - 163/4. Are a and 1 unequal?
True
Let c = -55 + 59.8. Let f = -0.3 - -5.3. Let o = f - c. Is o smaller than -1/3?
False
Let f = 263183 + -738228184/2805. Let c = f - -2/165. Is c less than or equal to 1?
True
Let w(i) = 2*i**2 + 1 - 5 + 5. Let q be w(1). Are q and 1 non-equal?
True
Let m = 4 + -5. Is 2/33 equal to m?
False
Let y = 11 + -7. Suppose -r = y*w - 1, 9*w - 4*w - 2 = -2*r. Is w <= 2?
True
Let f = 0.2 + 0.8. Let l = 910/3 - 304. Which is bigger: l or f?
f
Let a(t) = -t + 3. Let k be a(4). Let s = -4 - -6. Suppose 4*l - p = -10, 0 = 3*l - s*p - 7 + 17. Is l <= k?
True
Let f be 8/(-4) + ((-39)/(-36) - -3). Is 3 at least f?
True
Let y be 7/35 + (-9)/(-5). Is 5 equal to y?
False
Let t = 2413/135 - 89/5. Does -1 = t?
False
Suppose x - 2*x = 0. Let l(g) = 3*g**2 - 2*g - 1. Let z be l(-1). Let s be (2 - z)*(-1)/4. Is s >= x?
True
Let w(b) = b**2. Let y(r) = 5*r**2 - 6*r - 2. Let h(x) = -4*w(x) + y(x). Let j be h(6). Let n = 22.3 + -17.3. Is n < j?
False
Let s be (-101)/(-147) - 11/((-99)/(-6)). Is 1 bigger than s?
True
Let u = 0.8 - 2.8. Is -1/4 smaller than u?
False
Suppose n - 6*n = -5. Let k be 2/(-5)*5/6. Which is bigger: n or k?
n
Let u = -10 + 10. Let p be 3/1 + 1/1. Let n be ((-4)/8)/(10/p). Which is smaller: u or n?
n
Let s be 0/(1 - -2 - 4). Let l = -1 - -1. Let x = l + 0.1. Which is bigger: s or x?
x
Suppose 5*o = 2*o. Which is greater: o or -1/39?
o
Suppose 0 = 2*w - 7 - 1. Suppose -2 = 3*b - w*b. Do 3 and b have the same value?
False
Let h(i) = i**2 + 8*i - 2. Let q be h(-8). Which is smaller: -4/5 or q?
q
Let a = 16 + -23. Let j = 5 + a. Which is bigger: 1/7 or j?
1/7
Suppose 0 = -4*t + 2*t. Let d = -7 + 6. Let w = 5 + d. Is w > t?
True
Let n = -314/5 - -63. Let i = 18.9 - 23.9. Which is greater: n or i?
n
Suppose -2*r - 15 = 4*z - r, 4*r - 3 = 5*z. Which is bigger: 1 or z?
1
Let m be (0 - 2/(-4))*4. Let y be m + 5/(50/(-18)). Is 0.2 at least y?
True
Let i = -148/585 + 2/65. Which is bigger: -1 or i?
i
Suppose -f - 3 = -q, 4*q - 2*f = -6*f - 12. Do q and 3/37 have the same value?
False
Let k = 24 + -25. Suppose -7*i = -4*i - 6. Which is bigger: k or i?
i
Let c = 0 - 0.2. Suppose -5 = -o - 1. Let z(r) = r - 5. Let n be z(o). Which is smaller: n or c?
n
Suppose 6*c - 5*c = 3. Which is bigger: 4 or c?
4
Suppose 4 + 7 = 2*s + 3*a, -4*s + 21 = 5*a. Suppose -s*i = i - 25. Suppose 0 = -3*m + 11 - i. Which is bigger: m or 0?
m
Suppose 3*p + n = -2*n, -8 = 2*n. Let f be (-8 + 11)/((-1)/(-1)). Suppose 0 = f*l - p*l. Which is greater: l or -1/4?
l
Let b(s) = s**3 - 8*s**2 + 5*s + 15. Let y be b(7). Are y and -2 equal?
False
Let b = 0.016 - -0.284. Is 6 greater than b?
True
Let u be 5*(-2 + 16/5). Let j(l) = 1. Let q(h) = -3*h + 14. Let k(m) = -5*j(m) + q(m). Let a be k(u). Is a > -10?
True
Let x = -3 - -5. Let f = 1 + x. Suppose 4*i = -3*t + 9, i = -t - 4*t - 2. Is f > i?
False
Let f be (-43)/18*-3 + -2. Let u = 11/2 - f. Suppose -h - 3*h + 2*n = 0, -5*h + 4*n = 0. Is h less than u?
True
Let t = -222 + 223. Is t != 2/307?
True
Suppose 2*h = -3*p + 6 - 0, 0 = 2*h - p - 6. Let g be 1 + -2 + 6 - h. Which is smaller: g or -3?
-3
Suppose 5*i - 2*i = 3. Suppose 6*d = d. Let v = i + d. Which is bigger: v or 6/7?
v
Let p = 12 - 11. Which is greater: p or 2?
2
Let i(c) = 4*c - 2. Let w be i(1). Is w >= 1?
True
Let y = -79/4 - -155/8. Is 0 less than y?
False
Let q = -649 - -12327/19. Which is smaller: q or 1?
q
Let v be 28/26 + (0 - 1). Let s be 6/(-10) - (-3)/(-15)*-3. Which is smaller: s or v?
s
Let f(o) = -o**2 + 7*o + 5. Let b be f(8). Let l be (b/2)/((-4)/8). Suppose l*t - 22 = -4*g, t - 2 = -0. Is g >= 4?
True
Let g = 11