and -13/8 equal?
False
Let i = -719/48 - 27/16. Is -18 less than i?
True
Let t be (-3 + (-378)/24)*-24. Does 449 = t?
False
Suppose 45*k = 40*k - 230. Which is greater: k or -44?
-44
Let u = -12343 - -135923/11. Let l = u - 5228/385. Let q(a) = a**3 + 7*a**2 + 6*a - 1. Let f be q(-6). Which is smaller: l or f?
f
Suppose -54*r = -52*r - 1488. Is 744 greater than r?
False
Suppose 4*b + 5*q = 2766, 2*b = -3*q + 1527 - 143. Which is greater: b or 688?
b
Suppose 8*t + 149 = -443. Let x = -59 - t. Which is smaller: x or 13?
13
Let f be (-4)/10 + 0 + 123/(-5). Is f < -14?
True
Let p be ((-4370)/2)/((-196)/49). Is p smaller than 545?
False
Let h(y) = 77*y + 239. Let l be h(-3). Is l at most 44/5?
True
Suppose 6*n = 4*n + 4. Suppose -2*l + n = -4*l. Is 1/4 > l?
True
Let q = -139 + 147. Let j be 83/168 + ((-12)/q - -1). Which is smaller: -1 or j?
-1
Let u = -741 - -704.3. Let y = -35 - u. Let o = -12.7 + y. Is 1 bigger than o?
True
Let q = 0.018 - -3.982. Let m = -0.04 + -0.02. Which is greater: m or q?
q
Let c(f) = -f**3 - f**2 - f - 2. Let i be c(-2). Let n = -0.0792 + 3.0792. Is n >= i?
False
Let a = -7555/31088 + 11/1072. Let c = -1/58 + a. Which is bigger: 0.06 or c?
0.06
Let k be (-2 + 0)*(-12)/8. Suppose -n + k*l + 10 = 0, 9 = -5*n - 2*l - 9. Let j be n + (-7 - 4)*1. Which is smaller: -11 or j?
j
Let s be 1/(3/58)*3. Let i = s + -288/5. Let q = -6.0359 - -0.0359. Which is smaller: i or q?
q
Let k(a) = 20*a + 242. Let r be k(-11). Which is smaller: 0.01 or r?
0.01
Let w = 4.8 + 2.2. Which is smaller: 6 or w?
6
Let c = -218.5 - -182.5. Which is bigger: -16 or c?
-16
Let z = -11 - -7. Let y(f) = -f**3 - 20*f**2 + 22*f + 19. Let g be y(-21). Is z > g?
False
Let u = -0.1 + -0.1. Let n = u - -0.3. Let r = 137/92 - -6/23. Do n and r have different values?
True
Let y = -75 - -75. Which is smaller: y or 77?
y
Suppose -2*u - x = -28, -5*x = u - 2*u + 25. Is u != -1?
True
Suppose 0 = -s + l - 1, -2*l + 11 = -s - 6*l. Let m = s + 3. Let h = 73/4 + -145/8. Do m and h have different values?
True
Let x(u) be the third derivative of -u**6/120 - u**5/5 + 13*u**4/24 - 7*u**3/3 + 4*u**2. Let h be x(-13). Let c = h - -11. Is -2 greater than or equal to c?
True
Let j = 74 - 85. Which is smaller: j or -120/11?
j
Let c = -11.09 + 3.09. Which is smaller: 3/2 or c?
c
Suppose 4*h + 4 = -0*h. Let t be (-3 - -1) + (-682)/(-429). Let x = t - 11/26. Which is smaller: h or x?
h
Let f(i) = i**3 + 59*i**2 + i + 78. Let s be f(-59). Is 214/11 >= s?
True
Suppose 992 = -6*c + 5*d, 5*c + 434 = 3*d - 395. Is c < -168?
False
Let x(y) be the first derivative of y**4/4 - 5*y**3/3 - 7*y**2/2 + 4*y - 8. Let o be x(6). Let v be 1/2*(4 + o). Is 1/3 greater than or equal to v?
False
Let b = -202 + 173. Which is bigger: -30 or b?
b
Let n = -2 + 7. Let t = -30 - -30. Suppose t = -j - 5*u + 14, -j + u = -3*j + 1. Which is bigger: j or n?
n
Let h = -0.3 + -0.1. Let j = -0.6 + h. Which is greater: -2/3 or j?
-2/3
Let o = -3 + 5. Let h(p) = -4*p - p**2 + 2*p**o - 2*p**2 + 3*p + 4. Let y be h(0). Which is smaller: y or 3?
3
Let z = -0.0942 + -4.8358. Let w = 0.07 - z. Let h = 12 - 13. Is h at most w?
True
Let f = 16.6 + -17. Let w = -62/57 - -8/19. Which is greater: w or f?
f
Let l be (-2)/(10/4 + -3). Suppose 144 = -2*t + l*t. Let j = 362/5 - t. Which is smaller: 6 or j?
j
Let a be ((-11875)/266)/(2/44). Let h = a - -61741/63. Let v = h + -4/9. Which is greater: v or -2?
-2
Let q be (((-104)/20)/(-13))/((-546)/(-10)). Is q >= -0.1?
True
Let f = 17957/27 - 665. Suppose 0 = -2*a - 4*p + 20, -4*a + 24 = 6*p - 2*p. Suppose -a*d - 2 = -2*m + 4, -17 = 5*m + 3*d. Is f bigger than m?
True
Let m be (-1)/(-6) + (-104957)/(-618). Which is smaller: 165 or m?
165
Suppose -1 = 2*b - 7. Suppose 0 = 2*y - b - 7. Which is smaller: y or 27/7?
27/7
Let h = -26 + 30. Suppose h*t + 5 = -t, 5*m - 44 = 4*t. Is m less than 10?
True
Let d(f) = 81*f + 565. Let k be d(-7). Let m be ((-2)/(-4))/(10/(-12)). Is m > k?
True
Let d be 2/(-10)*1/1. Suppose -3*w - 24 = -9*w. Suppose -3*q + w - 7 = 0. Which is greater: q or d?
d
Suppose 0 = -18*i + 27*i - 9. Is 34/15 > i?
True
Let l = -8.5 + 11.5. Let j be 4*3/(-5 - 1). Let b be ((-3)/j)/((-231)/28). Which is smaller: l or b?
b
Suppose 2*b - 7 - 9 = 0. Let x(h) = 3*h**2 - 7*h - 9. Let f(i) = i**2 - 1. Let w(g) = 2*f(g) - x(g). Let p be w(b). Which is smaller: -2/7 or p?
p
Suppose -2*f - 4 = -4*i, -2*i + 7*i + 3*f = -6. Let t = 414 - 2063/5. Which is smaller: t or i?
i
Let f = 190.9 - 2.9. Is -2 < f?
True
Let r be 5/(-10) + (-6)/(-14). Suppose -k + 20 = 3*k. Suppose -k*u = -u - 4. Which is bigger: u or r?
u
Let n be (-286)/(-740)*((-1738)/102 + 1). Let s = n - 2/1887. Let v be -4*(14/8 + 0). Is s greater than or equal to v?
True
Let c = 0.05289 + -0.05289. Let u = 13 + -4. Are c and u nonequal?
True
Let r = 231 + -191. Which is smaller: r or -2?
-2
Let c = -1022 + 1019. Are c and -11/13 nonequal?
True
Let f = -0.28 - 30.72. Let r = 32 + f. Let l = -6 + 5. Which is bigger: l or r?
r
Let z be (-142)/(-9) + (-6)/(-27). Let a = z + -18. Let j = a + 3. Is 2/5 less than or equal to j?
True
Let i = -3 + -1. Let x = 4.2 + i. Which is greater: x or 5?
5
Let w be -1536 + (1372/(-252) - 8/(-18)). Is w != -1541?
False
Suppose 5*x - x = -0*x. Let z be 1/(1/11 - 0). Suppose 3 = 2*j - d, j - 3*d - z = -3*j. Is j greater than x?
False
Suppose -5*n = -2*h + h + 57, -2*h + 101 = 3*n. Suppose h = -5*t - 3*b - 5, -b + 25 = -2*t. Suppose 3*a + 19 = -14. Is a less than t?
False
Let f = 97 + -118. Let u be 4*5/(-60)*1*f. Is u not equal to 7?
False
Let u = -523 + 523. Is u smaller than -5/6?
False
Suppose -38 = 34*h + 268. Is h < -147/19?
True
Suppose 5*p - 4*g = -0*g - 7016, -4220 = 3*p - 5*g. Let d = p - -82598/59. Suppose -7 = -3*m + 2*j, -j - 1 - 7 = 3*m. Is m less than d?
True
Let b(h) = h**2 + 3*h + 3. Let i be b(-2). Suppose -24*g = -21*g - 6. Suppose -3*q + 3 = -d + 4, -g*d + 12 = 4*q. Is q > i?
False
Suppose 37*i - 39*i = -102. Which is smaller: 50 or i?
50
Let k(f) = f**2 + 2*f + 16. Let d be k(0). Suppose -a + d = 3*o, a - 113 = -4*a - 4*o. Which is bigger: 24 or a?
a
Let u = 43 + -33. Suppose 5*i - u = -0. Which is smaller: 0 or i?
0
Let d = 4317/275 + -276/55. Let r = d - 53/5. Suppose -2*g = -7*g - 2*y - 7, -3*y = 3. Is r at most as big as g?
False
Let z = -18 + 20. Let o(h) = -h**2 + 2*h**2 - 2 - 8*h + 11. Let c be o(7). Is c at most as big as z?
True
Suppose -12*i - 324 = 6*i. Let f be 9/(-6)*6/i. Which is bigger: 158 or f?
158
Let l = -289/15 + 19. Which is greater: 0 or l?
0
Let y = 3860/27 - 38851/297. Let w = y - 37/3. Which is bigger: w or 0.3?
0.3
Suppose 0 = 3*y + 6 - 12. Suppose y*z + 2*f - 4 = 0, 14 = 4*f + 2. Which is smaller: 19 or z?
z
Let s = 2352 - 25854/11. Let u(c) = -c**2 - c + 1. Let a be u(-1). Is a greater than s?
False
Let j be (2 - -7) + 2 + -2. Let k(b) = b**2 - 9*b + 3. Let a be k(j). Let s(g) = -g**2 - 17*g - 49. Let l be s(-13). Is a smaller than l?
False
Let l = -0.432 - 0.178. Which is smaller: 2/13 or l?
l
Let j = 40/3 - 556/39. Is j greater than 4?
False
Let c = 635 + -568. Which is smaller: 1 or c?
1
Suppose 0 = -4*t + t - 9. Let u be (-2)/(-1*(-7 - t)). Let s be (32/(-84))/((-2)/3). Are u and s equal?
False
Let i be (-2)/(-8) - 11/28. Suppose -34 - 74 = -4*b. Let g = b + -28. Is i smaller than g?
False
Let w be 3/15 - 1544/20. Which is smaller: w or -78?
-78
Suppose -4*a - x - 54 = 0, -3*x - 2 - 34 = 3*a. Let v = a - -16. Suppose -8 = -t - 3*h, v*t + 0*t - 1 = -h. Is t less than or equal to 1/6?
True
Let m(l) = -l**3 + 10*l**2 + l - 8. Let a be m(10). Let r be 2*a/(-40)*-2. Let j = 14 - 14. Which is greater: j or r?
r
Let b(z) = -2*z**3 + 2*z**2 + 4*z + 6. Let g be b(-7). Let a be g/(-24) + (-2)/8. Let h be (-24)/a + (-5)/12. Are 3 and h nonequal?
True
Suppose 0 = -s - 2*s + 33. Suppose -3*i + s = -5*m, 6*m - 2*m = -4*i + 4. Is i less than 20/13?
False
Let q(f) = -6*f + 135. Let m be q(26). Is 7 <= m?
False
Let z(y) = y + 2. Let k be z(-3). Let o be k/3*(3 + 9). Which is smaller: o or -23/8?
o
Let u = -557/3 - -2273/12. Suppose 5*j + 3*w - 20 = 0, j - 3*w = -2*w + 4. Suppose 5*f + 4*z + 0 = -1, j*f = -5*z - 8. Is u != f?
True
Suppose 7 = -2*b + 5*b + 2*n, 9 = 3*b + 3*n. Let l = -0.119 + -88.881. Let x = -89 - l. Are b and x equal?
False
Suppose 3*j - 14 =