). Let j = 24 - r. Do j and 10 have the same value?
False
Let z be ((-6)/9)/((-2)/(-312)). Let k be 6/(-16) + (-351)/z. Let q be ((-57)/9*k)/1. Which is smaller: -18 or q?
q
Let p(k) = -5*k - 10. Let j be p(-5). Let u be (j - 14)*(6/4 - 1). Is 1 bigger than u?
True
Let o = -63.92 + 43. Let q = o + 21. Which is bigger: q or 5/3?
5/3
Let r = 439 + -431.34. Let x = r + 7.44. Which is smaller: x or 2?
2
Suppose 65 - 62 = f. Suppose -23 = -f*v - 32. Which is bigger: -28/11 or v?
-28/11
Suppose -3*u = 2*a - 17, 2*u - u = -5*a - 16. Suppose -8 = p - u. Which is smaller: p or -1/5?
-1/5
Suppose 2*o - 50 = 7*o + 2*p, 3*o - 4*p + 4 = 0. Let n be 2/1*2/o. Which is greater: n or 2.2?
2.2
Let r = -1977.9 - -1978. Does r = -1.009?
False
Let m = -1.8799 + 0.8839. Is -1 greater than m?
False
Let q be 3494/(-1512) + (17/(-7))/17 + 2. Which is greater: q or 0?
0
Suppose 0 = 3*q + u - 22 - 12, -58 = -5*q - 3*u. Suppose q + 7 = -2*l. Let p be (-6)/(-27) + l/(1620/(-608)). Are 4 and p equal?
False
Let u be 4 + (-132)/30 + -2 + 5598/(-5). Do u and -1124 have different values?
True
Suppose 3*v - 25 = 18 - 40. Which is bigger: v or 1/2774?
v
Let p(a) be the first derivative of -3*a**2/2 + 13*a - 102. Let v be p(4). Which is smaller: v or -3/19?
-3/19
Suppose 2*d = 106 - 90. Let k be ((-4720)/95)/d - -6. Is -1 greater than or equal to k?
False
Suppose -l - 12 = 2*x - 16, x + 4*l - 9 = 0. Which is smaller: x or -2/299?
-2/299
Let f(i) = 4*i**2 + 42*i + 21. Let g be f(-10). Let q be 1 - g - 165/5. Which is smaller: 0.04 or q?
q
Suppose 0 = 5*x - 10, -4*w - 2*x = x - 54. Suppose w = -2*u + 28. Let q be (u/(-21) - 0)/((-28)/42). Which is greater: q or 0?
q
Suppose 0 = -5*p - n - 494, 3*p - 22*n + 288 = -24*n. Which is bigger: 0 or p?
0
Let v = -0.64 - -0.74. Let g = 129 + -107. Let y = -34 + g. Is y greater than or equal to v?
False
Let p be 12/(-20) + (-216)/30. Let s = 361/45 + p. Are s and -1 non-equal?
True
Let y = -85 + 88. Suppose -y*c = -c + 32. Let z = -1.5 + 2.5. Which is bigger: c or z?
z
Let b be -1*6/8*(-29756)/519. Are 102 and b nonequal?
True
Suppose 4*q = 3*f - 8, 0*f - 3*q = -2*f + 5. Suppose -44 = 4*n + 4*h, n - f*h = -7*h - 21. Let b = -0.7 + 0.6. Which is greater: n or b?
b
Let o = -87 + 164. Let a = -83.1 + o. Let m = a + 3.3. Is m at most 0?
True
Let a(w) = w**2 + 4*w - 44. Let i be a(5). Let o be (-1 + 169/4)/(i/(-4)). Let b be 2 + o/155 - 1. Is b bigger than 2?
False
Let l be (-27)/(-36) - (-21)/(-28). Suppose l = -21*s + 16*s - 210. Is s bigger than -41?
False
Let l = 16780 - 19156. Is l smaller than -2378?
False
Let k be 1608/26 - -4*(-2)/(-52). Suppose 640 = 6271*m - 6261*m. Which is bigger: m or k?
m
Suppose -i - 16 = -5*w, 7*w = 4*w - i + 8. Suppose 5*h + w = -17. Let t be 1/h - 8/(-96). Is -0.14 at most t?
False
Let y = -15.667 + 20.667. Is y equal to -0.02?
False
Let b be 5/(-105) + 387/189. Is -0.0506 equal to b?
False
Let w(k) be the first derivative of 2*k**2 - 37*k + 5. Let f be w(10). Let n be 4/(-8)*f*-2 + -65. Is -62 bigger than n?
False
Let q(p) = -69*p**2 + 17*p + 63. Let l be q(-3). Let s = -4275/7 - l. Which is bigger: 4/7 or s?
4/7
Suppose 0 = 3*c - 190*p + 188*p + 24327, -3*c - p - 24327 = 0. Is c smaller than -8108?
True
Let r(b) = 3*b + 121. Let d be r(-29). Suppose 3*u + 0*t - 4*t = -38, d = -4*u - 3*t. Is 14 at least u?
True
Let w(x) = -x - 112. Let s be w(20). Which is smaller: -124 or s?
s
Let r(l) = l**2 + 10*l + 15. Let u be r(-2). Let t = 2051137/295 + -6953. Is u smaller than t?
True
Let p = -671/30 + 116/5. Let x = 16 + -9. Let d be ((-34)/119)/(3/x). Is d at most p?
True
Let g(o) = -21*o**3 + 5*o**2 - 11*o - 22. Let z be g(-3). Let i = z - 873. Is -250 < i?
False
Let l be (-18)/(-30) - (-740)/(-25). Let u be l*((-14)/7 + 1). Which is bigger: u or 31?
31
Let y = -10.912 + 1.912. Is 2.31 greater than y?
True
Let z(a) = -1817*a - 12719. Let q be z(-7). Is 2/8117 not equal to q?
True
Suppose -2*m - 4*c - 50 = 0, m = -m - 2*c - 52. Suppose -20*r = -2*r - 72. Suppose -r*k - 5 = a, 7*k = 2*a + 3*k - 2. Are m and a equal?
False
Suppose 8*x - 26 = 7*x. Let t = x - 8. Let k be 10/12 + (0 + 3)/t. Which is greater: k or -3/7?
k
Suppose 9 = -3*v, 5 + 3 = -2*x + 2*v. Let y(n) = 7*n - 5. Let t be y(x). Let z be (9/t)/((-4)/(-6)). Is -1.4 > z?
False
Let m = 39.44 - -2.56. Is 41 greater than or equal to m?
False
Let z(i) = -109*i**2 - i. Let y be z(-1). Let f be 10/3*y/30. Let q be ((-22)/(-4))/(21/(-42)). Are q and f equal?
False
Let q = -412.0062 + 0.0062. Let o = -391.3 - q. Let m = 21 - o. Is m at most as big as -6?
False
Let l = 456759 - 41565520/91. Let q = l - -25/7. Suppose 42*b + 4 = 19*b + 21*b. Which is bigger: b or q?
q
Let g = -106 + 100. Let v = -68336/13455 - -2/1035. Is g at least as big as v?
False
Let c be -6 - ((-4619042)/796390 - ((-1620)/(-100) + -16)). Is c bigger than -1?
True
Let z be (-22560)/1680 - (0 + -13). Are -6/13 and z nonequal?
True
Suppose 9936 = 16*z - 11040. Are 1311 and z equal?
True
Suppose -2*k - 2*c - 192 = 0, -3*k + 0*c - 286 = 4*c. Let m be (-7*7)/(4 - 77/22). Is k less than m?
False
Let r be 17/(5 - 8/2). Suppose a + r*a - 234 = 0. Which is greater: -2/5 or a?
a
Let d be (-6)/(-4)*212/6. Suppose 0 = -4*l + 8*l - 1764. Suppose -l = -7*h - 70. Is h smaller than d?
False
Let o = -67 - -97. Let g be -4 + 196/3*o/20. Is g less than 0?
False
Let u(g) = g**3 + 2*g**2 + 7*g + 9. Let c(r) = -r**3 + 10*r - 2. Let q be c(3). Suppose -q = -4*z - 13. Let k be u(z). Which is bigger: -19 or k?
-19
Let q be 5 + 0 + 6 + 51392/(-5248). Which is smaller: 2 or q?
q
Let r(d) = -d**2 + 17*d + 39. Let i be r(-2). Which is smaller: 3/74 or i?
3/74
Let l = 0.19 - -0.17. Let u = l - 0.06. Let n = 1.33395 + -0.03395. Which is greater: n or u?
n
Let t = 1486 + -1487. Is t bigger than -2/13429?
False
Let q(x) = 439*x + 6491. Let o be q(-13). Is o less than or equal to 783?
False
Let x = -133 - -1192. Do 1059 and x have different values?
False
Let a(v) = v**3 - 3*v + 2. Let i be a(-2). Let g = 272 + -3532/13. Which is smaller: i or g?
i
Let m(o) = -5*o**3 + 3*o**2 - 3*o - 6. Let z be m(-1). Do 35 and z have different values?
True
Let r = 159.6509 + 0.5791. Let s = 160 - r. Is 2 greater than s?
True
Let c(b) = -10. Let f(u) = -7. Let o(a) = 5*c(a) - 7*f(a). Let t(m) = 3*m + 7. Let z(q) = -28*o(q) - 4*t(q). Let j be z(-1). Which is smaller: 7 or j?
7
Let o(f) = -6*f - 169. Let m = 53 - 81. Let l be o(m). Is l not equal to -1/201?
True
Let m be (-5)/1 - (-380)/25. Suppose -j - 9 = -18. Are j and m equal?
False
Suppose 0 = -3*s - 0 + 27. Let f = 12 - s. Suppose q = 28 - f. Do 24 and q have different values?
True
Let p be 7/(-21)*(-2790)/(-12). Suppose -520 = 4*h - 204. Which is greater: p or h?
p
Suppose 3*h - 18 = -3*z, -31*h + 3 = 5*z - 35*h. Suppose 4*n + 0*s + z*s + 8 = 0, 0 = -5*n - 4*s - 11. Which is smaller: 2/553 or n?
2/553
Let g = -65 + 64.06. Let j = 1.8 + g. Which is smaller: j or 1?
j
Let l = 8 - 6. Let t be 340/224*7060/12002. Which is smaller: t or l?
t
Let o = 4126 + -4124. Is o less than 37/38?
False
Let g be (-264691)/(-370636) - (-200)/(-280). Which is bigger: 1 or g?
1
Let x be (-45)/(-7) + (-15)/35. Suppose 4 = -4*u + x*u. Suppose r = -u*r - 3. Is 2/21 greater than or equal to r?
True
Let r be 240/(-80)*(0 + (-1)/(-6)). Is r less than -1173?
False
Let a = -93959/23 - -4093. Which is greater: -1/3 or a?
a
Let c = 0.1226 + -0.0226. Suppose 8*o = 10*o - 16. Suppose -11*l + o*l = 3. Is l bigger than c?
False
Let d be ((-6)/(-2)*-1 + 4)*(-5621 - -54). Is -5564 greater than or equal to d?
True
Let q = 44 - 18. Suppose -24*w - 112 = -q*w. Let n be 3/7*w/(-80). Is -2 smaller than n?
True
Let n be 4 + 1/((-108)/428). Let t = -119/432 - n. Let l be (-6 + 2 + 6)/(-2). Are t and l nonequal?
True
Let d be 2/((-4)/18) + -2. Let j = -3/23207 + 69636/116035. Is d at least as big as j?
False
Let g be 21/(-240) - 2/(-5). Let l = 407 - 403. Suppose -3*v = -l*n + 5, -5*v - 6 = 4*n + 13. Which is greater: n or g?
g
Let h = 5.9 - 5.929. Let x = h + 4.829. Let f = x + 4.2. Which is smaller: f or 3?
3
Let w = -0.10438 + 0.00438. Does w = -3/139?
False
Let q = -120 - -44. Let o be (-6)/((51414/(-475))/22 - (1 - 6)). Is o not equal to q?
True
Suppose 0 = -12*x - 124 - 20. Let d be x/(-2 + -1)*(-4)/(-16). Which is greater: d o