 at least as big as i?
True
Let o be (-6 - 88/11)/(-8 + 0). Is o bigger than -8/7?
True
Suppose 5*t - 69 = -2*j, 2*j = -0*j + t + 51. Suppose -2*o - 2*u + j = 3*o, 0 = o - 5*u. Is 6 less than o?
False
Suppose 2*l - 5*i = 43, -3*i + 2 = -3*l + 44. Suppose -l = -2*f + 5*f. Let v be (4/f)/(8 - 2). Which is smaller: -1/4 or v?
-1/4
Let x(d) = -d**3 + 9*d**2 - 12*d - 4. Let s be x(2). Is s bigger than -2/283?
True
Let h be 0 + ((-30)/1)/(-2). Let f be h*(0 + 15/25). Let n(w) = -w**2 - 9*w - 5. Let v be n(-7). Is v bigger than f?
False
Suppose -399 - 276 = 9*z. Which is greater: -76 or z?
z
Let t(p) = 14*p**3 + 7*p**2 - 6*p - 1. Let w be t(1). Are -20 and w unequal?
True
Let b = -1/12 + -1/4. Let q(m) = 10*m**2 - 4*m - 4. Let r be q(-1). Are r and b non-equal?
True
Suppose 22*a + 7*a + 1334 = 0. Which is greater: a or -48?
a
Let l = 605 + -796. Is -190 bigger than l?
True
Let m be -4*7/84*-3. Which is smaller: m or 2/879?
2/879
Let q = -1327/68 - 2222/51. Let h = q - -63. Is h <= 0?
True
Suppose g - 3 = 3. Suppose 3*h = h - g. Is h less than -1?
True
Let a be 428/7 + 6/(-42)*1. Are 63 and a unequal?
True
Suppose -7*i + 16 = -2*i - 3*q, 0 = 4*i - 4*q - 16. Do 5 and i have the same value?
False
Suppose 6 = 2*g - 0. Let h be (3 + g)*6/(-9). Which is bigger: -5 or h?
h
Suppose -3*m = -12 + 15. Which is bigger: 4/297 or m?
4/297
Let s = 20 + -14. Suppose s*g + 28 = 2*g. Suppose 6*u - 21 = 9*u. Is g equal to u?
True
Suppose -o - 3 + 4 = 0. Let m(y) = -2*y + 13. Suppose 3*w + z = 4*z + 6, 26 = 5*w - z. Let b be m(w). Is o greater than or equal to b?
True
Let t be 4/8*28/(-35). Is t greater than 1?
False
Suppose 709 = 15*u - 566. Which is smaller: 87 or u?
u
Let l = -0.0888 + -7.9112. Is -16 equal to l?
False
Suppose 5*b = -2*m + 2, -m - 1 = -2*b - 2. Suppose 0 = -5*t - 11 - 4. Let u be (-1 + t)/(-1) - m. Which is greater: u or 0.2?
u
Let o be 3/(-6)*-2*10/(-65). Let v(d) = -d**2 - 7*d - 5. Let r be v(-6). Is o at least r?
False
Let u = 149 - 79. Let z(c) = -71*c**3 - 1 + 7*c**2 - c**2 + u*c**3. Let t be z(6). Which is bigger: t or -2?
t
Let v = 478 + -489. Which is bigger: -196/17 or v?
v
Let t = -337 - -332. Is t at least as big as -0.023?
False
Suppose -4*i + 3 = -l, -2*i + 5 = 2*l + l. Let v = 2/439 + -687/54436. Is v <= l?
True
Let w = 11 - 7. Let t be 70/w + (-33)/22. Are t and 14 equal?
False
Suppose -3*d + 0*d = -9. Let j = 3/1283 + 25633/11547. Are d and j equal?
False
Let s = 20625/4 + -60785/12. Let c = -28873/318 + s. Which is smaller: c or 1?
c
Let k = 4 + 2. Let z(v) = v**2 - 8*v - 5. Let h be z(k). Let d = 35 - 51. Do d and h have different values?
True
Let m = 99.7 + -99.5. Do m and 240 have the same value?
False
Let g = -1568 - -1567. Which is smaller: g or -105?
-105
Suppose x - 3 = -1. Suppose -4*h - h + x*a - 8 = 0, 3 = -3*h + 3*a. Which is bigger: -10/7 or h?
-10/7
Let o be 7*208/(-3665) + (-34)/(-85). Which is smaller: o or -1?
-1
Suppose 7 - 16 = -s. Let q be 3/s*(-6)/4. Which is smaller: q or -7?
-7
Suppose 0 = -8*k + 6*k + 20. Let w(h) = -h**3 + 9*h**2 + 11*h - 5. Let m be w(k). Let p be 123/(-210) - (-4)/m. Does p = -1?
False
Suppose 7 = 3*l - 5. Suppose -l*h = 0, -o + 3*h - 15 = -0*h. Suppose 5*a + 93 = 23. Which is bigger: o or a?
a
Suppose 2*s - l - 156 = -1, -151 = -2*s - 3*l. Is s < 77?
False
Let n(c) = c**3 + 4*c**2 + 5. Let k be n(-4). Suppose -k*r - 25 = 0, -3*u - 2*r = -u + 10. Let t = 8/13 - 14/65. Which is smaller: t or u?
u
Let f(s) = -s**3 - 9*s**2 + 4. Let a be f(-9). Suppose -x + 2*m + 20 = -2*m, 5*x + a*m = -20. Let u be (3/5)/((-15)/(-10)). Which is smaller: u or x?
x
Suppose 6*b - 395 - 2371 = 0. Is 462 <= b?
False
Let k be (3/9)/(4/84). Let o(t) = t**3 + 6*t**2 - t + 2. Let r be o(-6). Let q = r - k. Is -2 at most q?
True
Let n be 1510/15 - 2/(-6). Suppose 0 = 5*x - 4*m + n, -45 = x + 5*m - 19. Which is smaller: x or -22?
-22
Let z be 1/(-17)*-16 + 253/4301. Which is bigger: z or -1/1025?
z
Let j = -4.2 + 17. Let x = j - 13. Is x at most 0?
True
Suppose 5 = r - g, g = -4*r - 2*g + 55. Suppose -4*o = s - 26, 0 = -s + 4*o - 9*o + 30. Are s and r non-equal?
False
Let a = -0.2 - 0. Let d = 0.1531 - 0.8131. Which is smaller: d or a?
d
Let r(t) = -24 + 24 + t**2 - 3*t. Let u be r(0). Is 1 smaller than u?
False
Suppose 5*i = 4*i + 1, s = 2*i + 27. Let p = s - 28. Let l be (6/(-30))/(8/10). Is p < l?
False
Let o be 3/((-12)/9 + 117/108). Which is smaller: o or 0?
o
Suppose 2*s = 5*z + 3, 7*s + 21 = 2*s + 3*z. Suppose 0 = -2*r + 11 + 7. Suppose 70*b - 67*b = -r. Which is greater: s or b?
b
Let v = -12.69 + -0.31. Let i = v - -12.85. Let d = -0.85 - i. Is d > 2?
False
Let m = -27 - -18. Let n be (2/12)/((-3)/153). Is m != n?
True
Suppose -2 = 7*x - 16. Is 0 < x?
True
Let u = -0.737 + 39.837. Let c = -39 + u. Which is greater: 13/5 or c?
13/5
Let n = 26 - 10. Let v = 14 - n. Is v >= -10?
True
Let k(u) = 31*u - 1. Let r be k(1). Suppose i = -5*t + r, -3*i - 5*t = -0*t - 40. Let x(a) = -3*a + 6. Let h be x(i). Which is bigger: -8 or h?
-8
Let j = 2.266 + 0.034. Let s = -1.2 + j. Let i = 0.1535 - 0.0535. Is s equal to i?
False
Suppose -5*y - 1802 = c, 5*y + 60*c + 1808 = 61*c. Is y greater than or equal to 0.4?
False
Suppose -n - 2 - 5 = -o, -o + 4*n - 5 = 0. Suppose f = 4*f - 9. Suppose u = -2*t + 6*u, 0 = -5*t + f*u + 38. Is t > o?
False
Suppose 0 = -5*m + 33 + 232. Are 51 and m unequal?
True
Let q = -1610/19 + 207614/2451. Does 0 = q?
False
Suppose 49*m = 30*m - 19. Is m less than or equal to 8/33?
True
Let l be (-6)/18*5/(5/(-12)). Suppose 2*v = -2*i - l + 14, -4*v + 25 = 5*i. Which is bigger: v or 12/11?
12/11
Let c be 138/72*3/(-2). Is c at least as big as -4?
True
Suppose 2*o = 5 + 3. Suppose 5*b - 2 = -4*l, 12 = 2*l - o*b + b. Suppose -6 = y - 2*h + 7*h, -3*y - 18 = -l*h. Which is smaller: -3 or y?
y
Suppose 18*s - 34*s = -160. Is s smaller than 10?
False
Let u(r) = r**3 - 5*r**2 + 6*r - 4. Let o be 7 + (3/1)/(-1). Let h be u(o). Suppose 0 = -2*n + n + h*b, 0 = -n - 2*b + 12. Is n > 9?
False
Let u = 7/4 + -3/2. Is 1 != u?
True
Suppose -q + 17 = -8. Suppose 2*t = 5*k + 3 - 13, 4*k = 5*t + q. Are 3/7 and k non-equal?
True
Let j be 2 - (8/1)/2. Let x = -27 - -23. Let q be 2*(x - -2) - -2. Is j greater than q?
False
Suppose -2*k = -k - 5. Suppose 9*n - 5 = 4*n. Suppose 8*z - 33 + n = 0. Is z at least as big as k?
False
Let f be 79/9 + 4/18. Suppose -4*r + f = -7. Suppose 3*u + u - 28 = r*b, u - 13 = 2*b. Is -5 < b?
False
Let c(a) = 4*a**2 - 4*a + 12. Let y(b) = -5*b**2 + 5*b - 12. Let w(u) = -4*c(u) - 3*y(u). Let x be w(0). Let i = -323 - -313. Is i bigger than x?
True
Let y be 6/(-12)*-20 - -164. Which is greater: y or 175?
175
Let z = -1/383 + -6507/1532. Let f(d) = -d**2 + 6*d - 3. Let s be f(6). Which is smaller: z or s?
z
Let s = 1454 + -1454. Is s bigger than 130?
False
Let f = -0.1 - -0.2. Let i = -275 - -299.04. Let v = i - 24. Which is greater: v or f?
f
Let z(y) = -18*y - 28. Suppose 5*s + 35 = 3*a, 0*a - 13 = -a + 2*s. Let d be z(a). Are -118 and d nonequal?
False
Let b(m) = -m**3 - 4*m**2 + 9. Let u be b(-3). Suppose u = -x - w - 7, 4 = 5*x - 3*w + 15. Which is greater: x or 2?
2
Suppose -7*d + 11*d + 4*k = -1472, 0 = -4*d + 5*k - 1508. Is d <= 1?
True
Let d = -1/123 + 0. Which is smaller: -3 or d?
-3
Suppose -3*o = -0*o + 9, 0 = -3*h + 5*o + 30. Let t be (-674)/(-16) - ((-69)/24 - -3). Let a = -41 + t. Is a < h?
True
Let m be ((-4)/(-12) - (-8)/6)*9. Suppose -5*y - 2*k + 30 = 0, y - 5*k - m = 18. Is y > 8?
False
Let h be (-8 + 2)/(9/(-4)). Let g(p) = -2*p + 27. Let y be g(15). Let v be -6*(-4 - 10/y). Do h and v have different values?
True
Let m = 38 - 34.1. Let q = m + -3.92. Which is smaller: 3/4 or q?
q
Let l = 57 + -56.945. Let c = 1.845 + l. Are 0.1 and c nonequal?
True
Let p be ((2 - 5) + (-28)/(-8))*8. Suppose -a = -p*s + 3*a + 24, -4*a = -s + 3. Is 2 bigger than s?
False
Let c = 728 + -732. Which is smaller: -71 or c?
-71
Let s be 1/(-3) + (-146)/(-474). Let m = -148/395 + s. Suppose z = -4, 4*x = 5*x - 4*z - 15. Is m at most as big as x?
False
Let x = 92 - 158. Which is bigger: x or 0?
0
Let k = 2741 + -2524. Do k and 215 have the same value?
False
Let f = -32 + 110. Let x be (-14)/(-8) + f/(-104). Which is smaller: 3/124 or x?
3/124
Suppose 55 + 21 = -19*g. Which is bigger: -2 or g?
-2
Let k be 