1663. Do g and j have different values?
True
Let n = 198.58 - 199. Let s = 514 - 4628/9. Is n at least as big as s?
False
Let j = 189854/13 + -14591. Is j >= 14?
False
Let f = -7.2564 + 2.2564. Is f <= -1527?
False
Let j = 298565/39 - 7656. Let z = j + 2/13. Let t = 6110.89 - 6111. Do z and t have different values?
True
Let b = -16724/5 + 3345. Is b greater than 649?
False
Suppose 0 = 2*f + 2*j + 110, 5*f + 252 = -3*j - 17. Let z be (f/6)/(2/9). Let o be 19*(-12)/(-21)*(-28)/8. Which is smaller: o or z?
z
Let a be (-4578)/18*(-55 + 58). Which is greater: 1/2 or a?
1/2
Let y(i) = -2*i**3 + 22*i**2 - 18*i + 15. Let j be y(10). Suppose -3*v - j = -2*s, 5*v + 0*v - 50 = -5*s. Is 14 greater than s?
True
Let l = 3518305/886 - 3971. Is -1 greater than l?
False
Let h be 3/6*-2*(-8 - -8). Suppose 3*t - 1 = y, -t + h*y = y + 5. Let q = 2/441 + 800/18081. Which is bigger: q or t?
q
Suppose -2*h = -2*j - 30, 30*j - 35*j - 99 = 3*h. Suppose -d - 2 = -4. Let b be (-2)/d + (-7)/(-5). Is b at most j?
False
Let l(y) = 3*y. Let s be l(5). Suppose -3*o + 4*o = -3*m - 26, s = -3*o. Let q be (-1105)/(-187) + (-2)/(-22) + -12. Which is greater: m or q?
q
Suppose d - 1 = -w - 2, 0 = -5*d - 20. Suppose -w*j + 0*g = g + 220, -2*j + g = 155. Is -75 greater than or equal to j?
True
Let q(o) = -o**3 + o**2 + 3*o - 2. Let w be q(4). Let v = w - -26. Do 8 and v have different values?
True
Let k = 30 + -30.023. Let d = 0.603 + k. Let g = -5.58 + d. Is 1 less than or equal to g?
False
Suppose -4*j = -16*j + 108. Suppose -5*x + 55 = 5*u, 11*u - 8*u - 5*x = j. Which is smaller: 47/7 or u?
47/7
Let c = 6091/128151 + -14/261. Which is greater: c or -9?
c
Suppose 0 = 4*s - 79 - 61. Suppose -4*f = -3*f - s. Let b = -35 + f. Is b < -1?
False
Suppose 7*q = 4*q. Let b be (6/(-5) - q)*-10. Suppose -12*t = -61*t - 30*t + 1027. Which is bigger: b or t?
t
Let u = -29698/5 - -5874. Let k(i) = 3*i**2 + 4*i + 2. Let n be k(4). Let t = u + n. Which is greater: t or 0?
t
Let o(t) = -t**2 + 6*t + 209. Let y be o(21). Let j = -103 - y. Is 1 equal to j?
False
Let p = 38.134 - 38. Let d = 3097 - 3097.066. Let c = p - d. Are c and 19 unequal?
True
Let m(w) be the third derivative of -1/24*w**4 + 0*w + 0 - 5/2*w**3 - 18*w**2. Let q be m(16). Is -30 greater than q?
True
Let t(x) = -7*x**2 + 69*x - 16. Let n be t(10). Let g = -1.2 - -1.11. Does g = n?
False
Let d = -47.599 + 7.599. Is d at least as big as -3?
False
Let x(a) = -a**3 - 6*a**2 + 36*a + 9. Let t be x(4). Let n(d) = -21*d - 143. Let z be n(t). Are z and 9 nonequal?
True
Let y = 2.858 + -2.888. Which is smaller: 3/43 or y?
y
Let b be (-566651)/1248302 - (1 + -6). Let j = 3/4934 - b. Is j greater than or equal to -5?
True
Let o = -203.594 + -15.851. Let j = 219 + o. Let t = j + 0.045. Is 3 greater than or equal to t?
True
Let f = -36889 - -58137061/1576. Let a = -23243/1576 + f. Is -16 bigger than a?
False
Let s = -74645.59 + 74014. Let w = s - -632. Which is bigger: w or -0.1?
w
Let t = -14 - -11. Let b be (-992)/(-24) - (-1)/t. Let c = b - 55. Which is smaller: -17 or c?
-17
Let d be (675486/10725)/21 + 6*2/(-4). Is d at least as big as 1?
False
Let v(d) = -16*d + 84. Let w be v(5). Let y = -3 + 5. Suppose -20 = 3*g + y*g. Which is greater: w or g?
w
Suppose 480 = 260*z - 164*z. Which is greater: z or -1?
z
Let k = 97 + -4. Let c = 96 - k. Suppose 5*m + 19 = -c*p, 2*p - 3*m = 9 + 10. Which is smaller: p or 12/23?
12/23
Let b(a) = -6*a**2 + 3*a - 7. Let t be b(9). Which is smaller: -464 or t?
t
Let v be (-2*4/1 - -6) + -40. Which is greater: v or 5?
5
Let l be (-2 - (-71195)/13770) + -5 + 2. Let c = 41957/162 + -259. Let v = l - c. Which is greater: v or -1?
v
Suppose -25 - 11 = -4*t. Let w be 1/14*(-1 - t). Let b = 10504 + -10506. Are b and w nonequal?
True
Let l be (-7133984)/(-936) - (-6)/27. Which is smaller: 7620 or l?
7620
Let u = -51 - -58. Suppose 16 = 4*q - 4*d, 12*q + d = 10*q - u. Which is smaller: 1/306 or q?
q
Let s = 186 - 122. Let n = s - 94. Let i = -30 - n. Is i greater than -2/15?
True
Let d = 1589 + -4694/3. Let z = 1603/66 - d. Let t be (0*1/5)/2. Which is smaller: t or z?
z
Let g = 46 - 50. Let f be (230 - -1) + 4/g. Is 229 at most as big as f?
True
Suppose 13*i + 16*i = -19*i + 76*i. Which is smaller: 2/4917 or i?
i
Suppose -3*p + 208 = -4*j - 5*p, 9*j - 4*p = -400. Suppose -6*b + 118 = -2*l - b, -3*l - 143 = b. Which is greater: l or j?
j
Let s = -10207 - -10025. Which is smaller: s or -181?
s
Let d = -2952 + 2785. Is d at least -7?
False
Let f = 209 - 36. Let d = 282 + f. Suppose 7*t + 0*t = d. Which is smaller: t or 66?
t
Suppose 13*s - 498 = -186. Let h = s + 81. Let a = h + -105. Which is smaller: -9 or a?
-9
Let z = -132.79 + 133. Let t = 0.24 - z. Is -2 at least as big as t?
False
Let h be (3 - 18/3) + (-91098)/(-30394). Is 0 >= h?
True
Let s = 3140 + -2672. Which is smaller: s or 469?
s
Let u(a) = 35*a - 945. Let n be u(27). Which is smaller: n or 366?
n
Let u(s) be the second derivative of 5*s**3/3 + 8*s**2 + 2*s - 36. Let j be u(0). Is 18 > j?
True
Let g be (2/3)/(1*2/750). Suppose 6*z - z - g = 0. Let w = 109 - z. Is w at most as big as 59?
True
Suppose 3*q + q = 4. Let j be (-20 + (2 - q))/(-1). Let t(k) = k**3 - 14*k**2 - 174*k - 28. Let c be t(22). Which is smaller: c or j?
c
Let g(c) = 67*c + 13. Let v be g(-2). Let u = 125 + v. Let n be (1*(-7 + u))/(306/4). Which is greater: 0 or n?
0
Let j = 333.6 + -334. Let t = -32 + 32.12. Is t >= j?
True
Let y be (-2)/(-6) + (-6)/(-9). Let b(j) = 30*j + 100. Let q be b(-4). Let f be 2/q - (-6)/360*6. Is f equal to y?
False
Suppose 4*v - 4*o - 5 = -3*o, v - 2*o + 4 = 0. Let r be 2/v + (-222)/(-12). Is r >= 21?
False
Let o = 11850 + -11587. Are o and 22 non-equal?
True
Let b = 1320.3 - 1323. Let j = 0.42 - 0.4. Let d = j - 0.02. Is b greater than or equal to d?
False
Let u = -0.7457 + -0.1543. Which is smaller: u or -0.316?
u
Let q = 82.67 + -82. Let s = 526.9 - 526.33. Let b = q - s. Is 5/3 equal to b?
False
Let w = -153244 - -153246. Let m = -1.46 + -0.04. Is m > w?
False
Let n be (-1025 + -7)*13/39. Is -340 >= n?
True
Let o be 3/5 + 49/35. Suppose 4 = -o*d + 14. Suppose r = d, -2*r + 3 = -4*x + 17. Which is smaller: x or 28/5?
28/5
Let z = -244970243/8748 - -28003. Is z at most 1?
True
Let y(t) = t**3 + 7*t**2 + 4*t - 13. Let i be y(-3). Is i at least -3.03?
True
Suppose -32763 = -5*n - h, -4504 = -2*n - h + 8603. Let d be 1599/n - 2/8. Is -1 greater than d?
False
Let h be (50/(-7525))/((6030/81136)/(-1)). Let y = -2/13545 - h. Is 0 != y?
True
Let v(z) be the first derivative of -z**4/4 + 14*z**3/3 - 13*z**2/2 + 21*z + 18. Let x be v(13). Let o = 15 + x. Is o greater than 37?
False
Let o be (12 + (-98)/8)/(-4). Do o and -1 have the same value?
False
Let j = 1345 + -1321. Is j not equal to 36?
True
Let l = 66 + -67. Suppose 2*u + 4 = 0, 4 = v - 4*u - 8. Let q be v - 18 - (l - 0). Are q and -13 equal?
True
Let c be (7/2)/((-5)/10). Let k(i) = -2*i**3 + 20*i**2 - 17*i - 16. Let q be k(9). Is c != q?
False
Suppose -2*y + u + 20 = 0, -5*y = 11*u - 12*u - 44. Suppose -p - 3*s = -y*s - 22, 6 = -2*s. Is 2/31 at most as big as p?
True
Let m = 23.27 + -23. Let f = 0.15789 - -0.04211. Which is smaller: f or m?
f
Let j be (2/(-5))/((-4)/120). Let c be -6*-18*3/j. Suppose 0 = -3*w - 6*w - c. Is w >= -6?
True
Let z be (-4)/26 + (-29)/(13572/(-384)). Which is bigger: z or -0.02?
z
Suppose -24*h + 249 = -21*h. Let l = h - 99. Let a be ((-3)/(-20))/(-22*(-2)/l). Which is smaller: 0 or a?
a
Suppose 122*n = 117*n + 10. Suppose 2*u = -4*h + 1 + 5, 3*h = -6. Suppose -k + 3 = 4*t + n, u = -3*k - 2*t. Are k and 0.8 unequal?
True
Let z(d) = 10*d + 128. Let j be z(-12). Let n be (((-34)/j)/17)/((-1)/2). Which is smaller: n or -89?
-89
Let y = 0.8215 + -0.6215. Is 471 less than or equal to y?
False
Let n be -2*7*2*-4. Let z be (-39)/26*3*16/(-18). Suppose -2*k = -z*i - 92, -5*i - n = -0*i - 4*k. Is i <= -24?
True
Let g = 375 + -394. Is g less than or equal to -10.5?
True
Let y = 13360 + -9545. Which is bigger: 3817 or y?
3817
Let x = -0.309 - 0.061. Let r = x + 0.47. Let m = -136/9 + 3545/234. Is m >= r?
False
Let y(z) be the first derivative of -z**3/3 + 7*z**2/2 - 22*z - 21. Let t be y(15). Is -142 greater than or equal to t?
True
Let b = 2861/1020110 + -3/3458. Is b at least as b