Suppose -i + 4*i = 5*d - 28, -3*i - w = -4*d. Let l be ((-2)/d)/((-50)/(-80)). Is l at most 1/4?
True
Suppose 0*w + w = 3. Let u be w/(4 - -5) - (-26)/3. Which is greater: u or 10?
10
Let a be 10/800*20*16/11374. Which is bigger: 1 or a?
1
Let q be 110/100 + (-6)/4. Which is smaller: -320 or q?
-320
Let b be 6/(-9)*-12 + -3. Suppose -b*c = 5*j - 3*c + 1, 4*j + 5*c + 11 = 0. Which is smaller: -3/23 or j?
-3/23
Let b(m) = -3*m + 48. Let v be b(15). Suppose -r + v*r = 0. Let k be 4/14 + (-178)/574. Is k equal to r?
False
Let c = -158 - -92. Let i = -57.7 - c. Which is smaller: i or 0.1?
0.1
Let m be 17 - 22*4/8. Suppose w = 6*w. Suppose v + s - 8 = 0, 5*s + w = 4*v - 5. Is m != v?
True
Let l(t) = -25*t + 8. Let z be l(-5). Suppose 0 = -4*b + w + 2*w + z, -59 = -2*b - w. Suppose i - 20 = -3*j + 27, 5*j - 25 = 0. Which is bigger: b or i?
i
Suppose -224 = -41*a + 55*a. Let s = -4 - -3.6. Is a greater than s?
False
Suppose -33*n - 2384 = 421. Is n at least -85?
True
Let p = -81 + 69. Let f be 18/(-4)*112/p. Is f < 40?
False
Let w = 3457 - 3459. Let k = -5872/5301 + -2/589. Is w < k?
True
Let r(y) = -12*y + 1. Let k be r(1). Let q(n) = -n**2 - 12*n - 7. Let p be q(k). Let h be 0 + (-1)/(2/(-6)). Does h = p?
False
Let b = -80 + 81. Let q be (16 - 15)*2*b. Is q at most 1?
False
Let m = -26 + 18. Let k = 55 + -50. Suppose -k*d - 2*p = 3*p + 20, 0 = -2*d + 4*p - 26. Is d at most m?
False
Let n = 2 - 2. Let g = 3.09 - 2.9. Let m = g + -0.09. Which is smaller: n or m?
n
Suppose -d + 2*d = 0. Let t be 6*(2 + 214/(-106)). Let h = t - 194/159. Which is smaller: d or h?
h
Let z = -6.652 + -0.438. Let a = z + 0.09. Let w = a + 8. Which is smaller: -0.6 or w?
-0.6
Let n = -8612/3 + 18487/6. Let z = 626/3 - n. Let f = -2725 - -2722. Is f bigger than z?
False
Let i = 639 + -639. Is -2/531 < i?
True
Let a = 1925 + -21151/11. Does a = 1?
False
Let z be 6/(-18)*1842/(-118) - 5. Which is smaller: z or 1?
z
Let m be (-69)/(-68) + (1 - 2). Let n = -141/340 + m. Is n greater than 1/3?
False
Let t = 28 + -38. Let b = 7 + t. Which is smaller: -16/7 or b?
b
Let v = -463 - -3239/7. Which is greater: 7/11 or v?
7/11
Let d = -37 - -19. Let f = -137 + 138. Which is greater: f or d?
f
Let z(j) = j**2 + 16*j - 16. Let a be z(-12). Do -65 and a have different values?
True
Let s(g) be the third derivative of g**6/120 - 3*g**5/20 + 3*g**4/8 - 11*g**3/6 - 6*g**2. Let i be s(8). Is -20/11 >= i?
True
Let t be -3 - (6/3 + -6). Let o = -4 - 7. Let f = 15 + o. Are t and f equal?
False
Let u(s) = s**3 + 8*s**2 - 18*s + 24. Let w be u(-10). Let x be 1 - -2 - w/1. Which is greater: -2/23 or x?
-2/23
Let u = -8 - -6.8. Let b = 1.5 + u. Let z = 0.044 - 0.104. Is z > b?
False
Let l be -16 + 4 + 1 + 11. Is l != 11/17?
True
Let q(u) = -u + 18. Let c be q(18). Suppose -4*s + 2 = -y, 0*y = 3*s - 2*y + 1. Is c bigger than s?
False
Let q(m) = -m**3 - 26*m**2 - 6*m - 49. Let g be q(-26). Is 107 greater than g?
False
Let r(x) = -x**3 + 2*x - 4. Let m be r(-3). Let f(t) = 0*t - t + 12*t**2 + 4*t**2 - 1 - m*t**2. Let d be f(-1). Are d and -6/13 non-equal?
True
Let r be -1 - (41/(-39) + 0). Let b = 101 - 99. Suppose 3*v - 1 = -b*x, 4*v - 3*x + 6 = -4. Is r less than or equal to v?
False
Let l = 1291 - 1085. Is 206 at least l?
True
Let p = 0.529 + -0.629. Which is smaller: 47 or p?
p
Let d = 19 - 18.75. Let r = 0.21 - d. Which is smaller: 1/3 or r?
r
Let j = 1.32 - 1.361. Which is bigger: 0.1 or j?
0.1
Let m be (-316)/(-2)*(-14 + 7 - -6). Which is smaller: -157 or m?
m
Suppose -4*i + 4*t - 5*t - 810 = 0, -4 = -2*t. Which is smaller: -202 or i?
i
Let q(i) = i**3 - 6*i**2 + 4*i + 6. Let m be (-2)/(-8) - (-1050)/(-40). Let j be m/(-6) + 10/15. Let p be q(j). Is p at least 1?
True
Suppose 25 - 23 = -m. Let j be 4/m + 492/249 + 0. Which is greater: j or 1?
1
Suppose 2*k + 2*k - 4*z = 72, 0 = 3*k + 3*z - 78. Which is bigger: k or 20?
k
Let n = 161 + 211. Let q be n/(-24) + 2/12. Let x = q + 16. Is 1 >= x?
True
Let d(t) = 33*t - 791. Let j be d(24). Let a = 2657 - 92989/35. Does j = a?
False
Suppose 0 = -5*h + 2*u - 4, -h + 0*h - 5*u - 17 = 0. Let y be 3/(-2 - (1 + h)). Which is bigger: y or -2?
-2
Let v = 1 + -1. Let a = 1 + v. Suppose 0 = -3*b + x + 4, 0 = 2*b + 3*x + 16 - 15. Is a < b?
False
Let b = 9906/35 - 283. Let t = -27 - -28. Is b bigger than t?
False
Suppose 8*w - 3*w = 0. Suppose -a - 4 - 2 = w. Let j be 1/a + (-74)/(-12). Is j equal to 7?
False
Let k = -31 - -179. Let m be (10 - 6) + k/(-38). Which is greater: m or 0?
m
Let r = -23331/5 - -4719. Let s = r - 53. Is s > -24?
True
Suppose 2*n - 10 = h, 3*n - 2*h = h + 21. Suppose 2 = -2*w + 2*p - 4*p, 7 = -n*w - 4*p. Let j be w + 4/(-4)*1. Which is smaller: 8/7 or j?
8/7
Suppose -16*k = -10*k + 54. Which is smaller: 6 or k?
k
Let z = -2817 + 515510/183. Is z at most -1?
False
Let s(o) = 3*o**2 - 25*o - 12. Let j be s(8). Let f(w) = -w**3 - 6*w**2 - 2*w - 5. Let p be f(-5). Is j < p?
False
Let c = 934.19 - 934. Which is greater: c or 4/5?
4/5
Suppose 5*r + 1134 = 2*f, 2*r - 5*f = -0*f - 462. Do r and -226 have the same value?
True
Let u be (-141)/147 + 1 + 0. Let h(t) = 2*t**3 - 3*t**2 + 2. Let i be h(2). Suppose i = 3*a + 3. Is u bigger than a?
False
Let k(f) = f**2 + 9*f + 10. Let m be k(-5). Let r = 17 - 3. Let j = r + m. Is j equal to 3?
False
Let w = -27 - -27. Which is greater: w or -0.2?
w
Let x be -19 - (4/(-4))/1. Let z be (-4)/x + (-852)/(-54). Suppose 2*a - 12 = -5*f + 3*f, a + 3*f = z. Which is greater: a or 0?
a
Let h = -1168 + 1169. Does 2.45 = h?
False
Let o(i) = 4*i**2 + 2*i + 1. Let a be o(-1). Suppose 0*q = 2*c - 5*q + 9, -5*q + 5 = 0. Let r be c/a*(-3)/(-2). Are 2/17 and r nonequal?
True
Let j = -225 - -491. Let u be (-2)/14 - 18/j. Which is smaller: 0 or u?
u
Let j = -1.25 - -0.25. Let n = j - -9. Which is smaller: n or 1?
1
Let w = -23.71 + -0.29. Let a = 0.7 - -26.3. Let o = w + a. Is o bigger than 2/7?
True
Let g be (-6)/10 - 4/10. Let m = 31839/40 - 796. Is m smaller than g?
False
Let p(g) = -3*g**2 + 5*g - 3. Let t be p(2). Let r be t*(-2)/(50/(-5)). Is -2/33 > r?
True
Let b(x) = -2*x - 4. Let g be b(-3). Let o = -83 - -77. Let c be (-4)/(o + g)*-11. Is -12 bigger than c?
False
Let b = -4085/13 - -315. Let w(c) = -c + 5. Let t be w(5). Which is greater: b or t?
b
Let f be -7*(-2)/63 + 2/(-9). Is 1 at most as big as f?
False
Let c = -554 - -21608/39. Which is greater: c or 1?
1
Let r = 126.995 - -0.005. Let k = -144 + r. Is 0.2 greater than or equal to k?
True
Let h = 0.66 - 1.3. Let q = -1.36 + h. Do -1.3 and q have the same value?
False
Let v be 63/(-18)*(-2)/7. Let d be 2090/(-35) - 4/14. Let h be (-6)/9 - 43/d. Which is bigger: v or h?
v
Let l = -3525 - -56425/16. Let n = l - 1/144. Suppose 2*z + 16*z - 54 = 0. Which is smaller: z or n?
n
Let a = 20 + -10. Suppose -h + 4 = 4*w - a, -4*h - 7 = -5*w. Suppose 0 = 3*s - d + 1, -5*s - 1 - 1 = -h*d. Which is smaller: s or -1/12?
-1/12
Let s = -1 + 0.9. Let g = s + 1.7. Let l = g - -7.4. Is l <= 2?
False
Suppose -336 = 24*h - 48*h. Which is bigger: h or 9?
h
Let o(g) = 2*g - 1. Let d = 9 - 2. Suppose -4*y + 3 - d = 0. Let x be o(y). Do x and 1/3 have different values?
True
Suppose 4*p - 2 = 2. Let c be (-6)/10 + p + 2/(-10). Is 15 not equal to c?
True
Let f = -4874/11007 + -2/1223. Suppose -5*k + k - 84 = 0. Let n(o) = -o**2 - 22*o - 20. Let r be n(k). Is f not equal to r?
True
Suppose 6*b - 4*b = -8, 4*i - 5*b = 28. Suppose 10 = -3*a - i*a. Let r(q) = 11*q + 4. Let d be r(a). Does -17 = d?
False
Let l = 47.7 - 48. Let n = -11.2 + 12. Which is bigger: n or l?
n
Let q = 420 + -419. Is -3/112 greater than or equal to q?
False
Let n(t) = -3*t - 7. Suppose -2 = 2*g - 4*q, 3*g - q = 2*g + 1. Let v be n(g). Let z be 12/v*(-1)/21. Is -1 greater than z?
False
Let s = -1600014/269 + 5948. Which is greater: 0 or s?
0
Suppose 19*x - 17754 = 10347. Which is smaller: x or 1478?
1478
Let a be (-17 + -1)*(-1)/(-3). Is 7 bigger than a?
True
Let f = 7 - -5. Suppose f = 5*y - 2*y. Suppose -7*n + y*n - 12 = 0. Which is greater: n or -2?
-2
Let q = -61 + 85. Suppose q = -42*v + 45*v. Which is greater: v or 7?
v
Let r = 7852340 + -8676837356/1105. Let z = r - -26/17. Is z >= 1?
False
Suppose -4*m + 8 = 0, -4*l + 57*m - 55*m + 16 = 0. Is -5 at least as big as l?
False
Suppose 2*i + 2*i - g + 28 = 0, 3