be (-41358)/1243 + (-6)/(-22). Let r = q - c. Are 0 and r equal?
False
Let b be 7579 + (-360)/24 + 8. Are b and 7573 unequal?
True
Let m = -13279 - -424929/32. Suppose -4*b + k + 3 - 23 = 0, 0 = -5*b + k - 24. Do m and b have the same value?
False
Let q(y) = y**3 - 40*y**2 + 74*y. Suppose -38 = 11*k - 456. Let n be q(k). Which is smaller: n or -1?
n
Let n = -232 + 237. Suppose -40*g + 45*g + 15 = -n*m, -4*m - 10 = 3*g. Let o = -3 + -1. Which is smaller: g or o?
o
Let r = 195.941 - 196. Let a = -0.041 + r. Which is bigger: a or -0.118?
a
Suppose 0 = -2*t + 3*o - 2, 2*o + 13 = 5*t - 4. Let y = 6 - 1. Suppose -y*q - 4*n + 20 = 0, 0 = -n + 5*n. Which is smaller: t or q?
q
Suppose 5*z - 5*q = -0*q - 55, -3*z = -4*q + 33. Let k be (z*(-3)/(-24))/(5/(-4)). Is k bigger than 0?
True
Suppose 0 = -r + 32 - 19. Let n be (11 - 7)/(37/r + -3). Are -184/7 and n unequal?
True
Let c be 2 + (-498)/9 - 38/(-114). Suppose -3*j + 4*q = -533, j = -4*q + 2*q + 161. Suppose 5*t + 89 = -j. Which is bigger: t or c?
t
Suppose 14*g + 460 = -1234. Suppose -7*s + 366 = -10*s. Which is smaller: s or g?
s
Let y = 659.21 + -613. Let t = y + -7.21. Which is bigger: -1/2 or t?
t
Suppose -2*t - 5*g + g = 68, -g = 5*t + 206. Let n be t + (-19)/((-38)/12). Which is smaller: n or -139/4?
n
Suppose 9*l + 1279 = 31*l - 41. Is 30 bigger than l?
False
Let q(s) = s - 13. Let w be q(17). Suppose -2*l + 4*r + 15 = -21, w*r = -l. Let k = -885/2 + 453. Which is greater: k or l?
l
Let j be (-40)/10 - (-14 - -11). Is j at most as big as -13/235?
True
Let c(i) = 2*i + 5. Let y be c(2). Suppose -4 = 4*f + 3*q + 8, -5*q = -3*f - y. Let s(l) = -2*l + 10. Let a be s(f). Which is bigger: a or 14?
a
Let w(s) = 27105658*s**2 - 8*s - 5. Let t be w(6). Let n = 323257397575548/331273 - t. Let f = n - 3/1289. Is 1 smaller than f?
False
Let p be (9 + -10)/(1*1/(-2)). Suppose -5*k - p*m = 3*m - 85, -2*k - 4*m + 28 = 0. Is 21 less than k?
False
Let l(f) = 540*f - 3. Let k be l(1). Suppose -k = -3*o + 84. Suppose -o = 2*t + 7*t. Are t and -24 non-equal?
True
Suppose 4*u + 22*q - 19*q = -1142, u = q - 289. Which is greater: 2/33 or u?
2/33
Let d = 333798/7 - 47887. Which is smaller: -202 or d?
-202
Let s = -6/133 - 10/19. Let g(b) = -4*b + 95. Let z be g(23). Suppose q + q = z*q. Is s greater than or equal to q?
False
Suppose -2*t - 1533 + 573 = 0. Let s = t - -482. Is 19/18 > s?
False
Let y = -0.795 + -353.205. Let l = y + 357. Which is smaller: -14/3 or l?
-14/3
Let u(g) = g**2 - 8*g + 13. Let k be u(3). Which is smaller: -224/167 or k?
k
Let t = -6033 - -8739. Is 5413/2 at most t?
False
Suppose -o = -3*o - 4*f + 190, -4*f - 4 = 0. Suppose -7*c - 29 = o. Let w be (c/4)/(-9)*(-24)/22. Which is bigger: 0 or w?
0
Let z = -29.9 - 2.1. Let a = -22 - z. Let p = -2.9939 - 0.0061. Is p >= a?
False
Let r = 0.13 - 0.26. Let n = 6.87 - r. Let o = -636 + 639. Which is greater: o or n?
n
Let l be (-3)/(-9) - 4/12. Suppose -o + l*r = -3*r + 10, -5*r + 40 = 3*o. Suppose o*s - x = -54, 10*s - 6*s + x = -45. Which is smaller: -7 or s?
s
Let g(w) = -w**3 - 55*w**2 - 340*w - 47. Let b be g(-48). Are 142 and b unequal?
True
Let f = 6278 - 2616. Is f at most 3663?
True
Let z be 3/(24/106)*((-39)/9 + 1). Which is greater: z or -44?
-44
Suppose 63 = 13*m - 54. Let v = 2107 - 2132. Is m not equal to v?
True
Let f = -1169 + 1165. Is f >= -115?
True
Let a be (-1)/((-32)/6)*(-18210)/(-45). Which is smaller: a or 77?
a
Let u = -8647.84 + 8648. Is u at most as big as -0.027?
False
Let p(m) = 78*m + 80*m - 6 - 166*m. Let k be p(-14). Let f be ((-68)/(-119))/(k/7). Which is greater: f or -1?
f
Let o = -5209 - -5208. Which is smaller: o or -1236?
-1236
Let w = -175 + 75. Let o be 0*5/w*-4. Which is smaller: 31 or o?
o
Let x = -16 - -2. Suppose 3*c - 13*c = -90. Let p be (-64)/6 - 12/c. Which is smaller: x or p?
x
Suppose 16*l + 18*l = 0. Is 108 < l?
False
Let c = 6290 + -7221. Which is smaller: c or -934?
-934
Let k be (3 - 32/(-24))/(-1)*-894. Do 3873 and k have different values?
True
Let t be 1764/(-315) - 3*3. Are -14 and t non-equal?
True
Let v be (-2)/(-5) + 12852/(-30) + 3. Let q be v/170 + 9/2. Is q greater than 25?
False
Let j = 22349.8 - 22350. Which is bigger: 3070 or j?
3070
Let m be (0 + 4/20)*2753. Let c = m + -545. Which is smaller: c or 1?
1
Let p = 0 - 15. Let w = 238 + -221. Suppose 27 = -w*v - 177. Is p greater than or equal to v?
False
Let f = -31 - -33. Suppose 2*o = j - 1, 0 = 4*j - 3*o - 30 + 11. Let g be ((-21)/11 + f)*j. Is g less than or equal to 0?
False
Let j = 940 + -939.99. Let w = 4 + -1.5. Is j smaller than w?
True
Let b(t) = -t - 3. Let k be b(-4). Let o be (k + -2)*(2 + -9). Let d be (-351)/(-63) - (-6)/14. Is d less than or equal to o?
True
Let h = -18.2738 - -0.2738. Which is greater: -42 or h?
h
Let p = -463 + 194. Let m = p + 262. Which is smaller: 2 or m?
m
Suppose -8*f - 31 - 33 = -72. Is 12/889 at most f?
True
Let r be (2977/(-78))/((-5)/(-30)). Does 7 = r?
False
Let q = -5862 - -5861.8. Which is smaller: 1.54 or q?
q
Let d = -7719/7 - -1103. Is d smaller than -639?
False
Let j(m) = -2*m**3 + 55*m**2 - 310*m + 39. Let h be j(6). Is h <= -252?
True
Let f be (-4 - -9) + (-4 - -9). Let i be (-45)/6*12/(-10). Let c = i - f. Which is bigger: -2/165 or c?
-2/165
Let l = -42 + 41. Let x(c) = 14*c**2 - 1. Let t be x(l). Suppose 0 = 5*n + o + 3 - 1, -4*n - t = -3*o. Is n smaller than -9/7?
False
Suppose -b + 15 = -0*b. Let w = 3.054 - 0.054. Is w > b?
False
Let j = -10476 - -10466. Which is smaller: j or -600/61?
j
Let c = 0.1468 + 7.6972. Is c greater than 3/2?
True
Let g = 3221 + -3221. Is 6/1723 smaller than g?
False
Let q be (-588)/240*(-4)/(-6)*6. Suppose 0 = r + 4, -2*x - 5*r = 38 - 0. Which is bigger: x or q?
x
Let q be 6/15 - 37788/(-480). Let y = q - 79. Suppose 0 = -13*x + x. Is y <= x?
False
Let r = -8293 - -273602/33. Which is greater: -2 or r?
-2
Let b be ((-21)/(-14))/(6 - (-258)/(-44)). Let m be (-3)/(12/(-37)) + 30/40. Is b at least m?
True
Let s be 6/39 + (5 - (-3580)/52). Which is bigger: 73 or s?
s
Let z = 173 - 87. Let a be (3/(-5) - -1) + z/10. Let i be (-274)/18 + 2/a. Is i > -7?
False
Let f be (-20)/(-25)*((-87)/(-46) + -2). Let o(c) = -c**2 + 19*c + 46. Let v be o(21). Which is smaller: f or v?
f
Let y be (-10)/(-50) - (53034/7995 + -1). Let x = y + 70/13. Is 0.1 at least as big as x?
True
Let l = -7288.9 + 7289. Let q = 6 - 11. Is l bigger than q?
True
Let h = -141/2 + 451/6. Suppose 62*d - 79*d + 6445 = 1272*d. Is d less than or equal to h?
False
Suppose -2*x - 4*c = 2, -32*x + 9*c = -27*x - 14. Let r be 4/(-90)*(-6)/(-280). Which is smaller: x or r?
r
Suppose 3577 + 11 = 7*p + 19*p. Which is bigger: 23 or p?
p
Let x be (1 - 615)*(126/(-12) + (-100)/(-10)). Which is smaller: x or 288?
288
Let d be (160/(-140))/(4/266). Is d greater than or equal to -90?
True
Suppose k - 3 = 4*k, 2*k - 13 = -5*b. Suppose b*r = -v - 258, -4*r + 3*v + 78 = -5*r. Which is smaller: r or -89?
-89
Let c = -285.6 - -285.8. Do 983 and c have the same value?
False
Let t be (-4)/12 + (-26006067)/493020. Let o = t - -4378/83. Let j = -1/66 + o. Which is bigger: -1 or j?
j
Let p be (-15)/(-2) - 3/(-6). Let j = -463 - -761. Let x = -301 + j. Which is smaller: p or x?
x
Let u(i) = -2*i**2 - 5*i + 18. Let l be u(2). Suppose j - 1 = -l. Let x = 97/66 - -1/33. Which is bigger: x or j?
x
Suppose -21*o - 138 = -22*o. Let v = 141 - o. Suppose 5 = v*z - 1. Is 9/5 at least z?
False
Let x = -1760 + 1746. Let w = 14 + -31. Which is smaller: x or w?
w
Let f be -1 - 7 - (25 + 6188/468). Does -47 = f?
False
Let m = -437774222/3557 - -123074. Which is bigger: 1 or m?
1
Let z be 5/(30/(-32))*-3. Let s = -9383 - -9400. Is z < s?
True
Suppose 15*n + 35*n - 30*n + 7380 = 0. Is n < -372?
False
Let b = -6017 - -6020. Are b and -800 equal?
False
Let j = -1.3 - -0.3. Let z = 439 - 565. Let p = 187 + z. Which is smaller: p or j?
j
Suppose 0 = 5*k + 10*k - 1530. Let l = -180 + k. Let r be (0 + -1 + -2)*2/l. Which is smaller: 0 or r?
0
Let j(y) = 2*y**2 - 13. Let d be j(3). Suppose 3*s - s = d*f - 80, -4*f + 84 = -2*s. Which is smaller: -97/2 or s?
s
Let n be ((-7)/(-42))/(15/12). Let q be (-108)/(-189) + (-9)/(-21). Is n at most q?
True
Let o = 17571.8752 + -17572. Is o at most 1/3?
True
Let h = 25.85 + -30.8. Let d = h + 5.05. Whic