 Is 97 smaller than c?
True
Let m(j) = 2*j - 15. Let v be m(9). Suppose 4*g = 3*g - v. Let w be 46/(-108) - (g - 5/(-2)). Is 1 bigger than w?
True
Let p be (-766)/(490/49 - (-1 - -20)). Which is greater: -1 or p?
p
Let t be (54/4 - 14) + 54/(-4). Let o be 3 + 1308/(-630) - 2/t. Are o and 2 nonequal?
True
Let b(q) = q + 20. Let g be b(-20). Suppose 8 = -5*d - 2, g = -5*u - 3*d - 911. Is -180 bigger than u?
True
Let y be ((-8)/(-52))/(24/(-9)). Let z be ((5 - 5)/6)/((-2)/(-2)). Is z >= y?
True
Suppose 536*p - 538*p - b - 3332 = 0, 0 = 2*p + 2*b + 3330. Are p and -1666 equal?
False
Let v(g) = 7*g**2 + 39*g + 45. Let n be v(-4). Do n and 20/277 have different values?
True
Let x = 31 + -43. Let p be 783/x - (-1)/4. Suppose -209*c - 9477 = 4317. Which is smaller: c or p?
c
Let w(f) = 5*f - 75. Let d be w(16). Let a be d/12 + 76/(-912). Which is bigger: -8 or a?
a
Let l = 1650 + -1549. Suppose 3*s = -2*d + 457 - 136, s + 4*d - 97 = 0. Let t = s - l. Which is bigger: 10 or t?
10
Let w = 1644 - 1650.67. Let s = 5.67 + w. Is -71 <= s?
True
Let j = 26 + -15. Let l = 35 - j. Let y = -60 + l. Do y and 0 have the same value?
False
Let i be (-7 - 91/(-143))/6. Which is greater: i or -1/3?
-1/3
Let o = -34 - -261. Suppose -229*q - 628 = -o*q. Are q and -315 unequal?
True
Suppose -3*q = 2*q - 240. Let s = -1563 - -1688. Let n = s - q. Which is greater: n or 78?
78
Let n be ((-378)/(-35))/((-2)/(-5)). Let w = n - 24. Let x(f) = -2*f**3 + 4*f**2 - 2*f + 2. Let g be x(w). Is g > -22?
False
Let c = -3597.5289 + 3602.5. Let k = c - -0.0289. Is k not equal to 1/35?
True
Let m(k) = 4*k - 8. Let l be m(5). Suppose -9*s + l*s = 3. Is s < -5/27?
False
Let f(p) = 21*p**2 - 7*p + 53. Let w(z) = -19*z**2 + 9*z - 54. Let i(n) = -5*f(n) - 6*w(n). Let m be i(4). Are m and 127 equal?
True
Let a be -2 - -1 - (-16)/2. Let b be (-33)/(-1287)*13*57. Is a less than or equal to b?
True
Suppose 18*x = -3696 - 174. Let t = x - -229. Are -8 and t non-equal?
True
Let s = -0.221 + 11.421. Let w = s + -32.2. Are w and 0.4 nonequal?
True
Let s(j) = j**2 + 11*j - 37. Let u be s(-13). Let c be 2/3*(-35 + 17). Which is smaller: u or c?
c
Suppose -11*n = -3*n + n - 9. Is 1/448 < n?
True
Let i = 94 + 0. Let v = 102 - i. Is -2/3 at least v?
False
Suppose 54*n - 55*n - 4*u - 12502 = 0, -3*n - 37490 = 4*u. Is n at least as big as -12496?
True
Let w = 16375.183 + -16375. Which is bigger: 0.04 or w?
w
Let q be 2/(-3) - (-69)/9. Let o(k) = -951*k + 1028. Let b be o(1). Suppose 56 = -q*d - b. Is d at least as big as -20?
True
Let x = -30.9472 - 0.0528. Which is greater: x or -1/13?
-1/13
Let f = -463 + 14351/31. Let o(a) = -a**2 + 9*a - 5. Let y be o(-5). Let v be (-2)/8 + y/(-12) + -7. Which is greater: v or f?
f
Let x = 274.731 + -275. Let c = 0.16 + -0.191. Let t = x + c. Which is bigger: -1/5 or t?
-1/5
Let w(r) = -15*r**2 - 86*r + 85. Let c be w(1). Let l = -16 - -1. Let j = l - c. Which is greater: j or -1/6?
j
Let m(z) = -z**3 - 5*z**2 + 11*z - 18. Let g be m(-7). Suppose -4*c = -3*u + 618, -5*u = -g*c - 442 - 27. Is c <= -152?
True
Let b = -2862 - -2862. Which is greater: -8/1733 or b?
b
Suppose 102 = -8*r - 2. Let s = 3.315 + -0.015. Let o = s + -0.3. Do r and o have the same value?
False
Let q = -370 + 543. Let d = q + -167. Which is smaller: -3 or d?
-3
Suppose -3*c - 9 = 3*d, 4*c - 9 = 61*d - 58*d. Is 2/203 < c?
False
Let q be (-3450)/4140 + -2 + (-110)/(-42). Let x be 1/(-5) - 58/10. Let f = x + 7. Which is smaller: f or q?
q
Let o(y) = 2*y + 8*y + y - 6*y. Let a be o(3). Let c be 261/18 + ((-1)/(-2) - 1). Is c less than or equal to a?
True
Suppose 24727 + 25 = -34*r. Is r less than or equal to -729?
False
Let b be (-8112)/(-858) + (-9 - 5). Which is greater: b or -25?
b
Let i(v) = v**2 + v. Let n be i(5). Let a be (-3)/(-5) + 2/n. Which is bigger: a or -55?
a
Let l be ((-18)/(-21))/((-2)/(-7)). Suppose -l = 4*k + 1. Let b be (k - 107/(-111))*(-6)/(-4). Which is greater: -1 or b?
b
Let s(u) = 6*u**3 - 31*u**2 + 26*u - 13. Let o be s(4). Is -87/4 > o?
False
Suppose 13*d + 24 = 76. Suppose -d*p - p = 3*p. Which is smaller: p or 8/55?
p
Suppose 0 = 25*v - 813 + 188. Let n(c) = -2*c**3 + 50*c**2 - 26. Let k be n(v). Which is bigger: k or -23?
-23
Let k be -53*124/(-42) - 26/182. Let z = 156 - k. Let b = 0.86 - -0.24. Do z and b have different values?
True
Let s = 43 - 45. Let n be (-140)/(-96)*s/(-7). Let r be 3/9 + 1/(-3). Which is greater: n or r?
n
Let c = 461 - 645. Let u = -376 - -192. Do u and c have the same value?
True
Let l be (402/(-3015))/((-1)/280). Which is greater: l or 37?
l
Suppose -y = -2*i - 51, -2*i + 2*y + 20 = 70. Let j be 8/i + 1 + 0. Let a be 0/((-4)/12*6). Is a >= j?
False
Let a = -13824 + 13822. Which is smaller: -2.246 or a?
-2.246
Let y be 3/2*(1 + 4/4). Suppose -y*c + 143 = -4. Let k = c + -46. Is k less than or equal to 13/3?
True
Let t = 675.84 + -0.84. Let v = t + -672. Does 7 = v?
False
Let t be (-204221)/(-328) - 3/16*2. Suppose 489 = -2*u - w - 742, -5*u = -2*w + 3082. Let n = t + u. Which is bigger: 5 or n?
n
Let t = -871 - -871. Suppose 8*d + 28 - 28 = t. Which is smaller: d or -1/156?
-1/156
Suppose 65888 + 40540 = 294*i. Is i < 364?
True
Suppose 4*f + 5158 - 1934 + 13060 = 0. Which is smaller: -4073 or f?
-4073
Let n(w) = -w**3 - 3*w**2 + 2*w + 6. Let q be n(-2). Let o be q + -39*(-28)/6. Is o at least as big as 180?
True
Let n = 10/89803 + -1367430311/269409. Is n <= -5076?
False
Suppose 380*a + 1140 = 285*a. Which is greater: a or 2/135?
2/135
Suppose 0*w + 24 = 3*w. Suppose -w*c - 3850 = -c. Let j = c + 13205/24. Which is greater: 1 or j?
1
Let c = -0.794 - -0.794. Is c < 1476?
True
Let f be (-642)/112 - ((17 - -8) + -31). Which is smaller: f or 0?
0
Let z = 317175/7 + -45647. Does z = -337?
False
Let o = 235935539/8940 + -26391. Is 0 smaller than o?
False
Let l be 12/(-26) - (-96)/432. Which is greater: 1 or l?
1
Let h = 248.61 + -248.61. Do 551/6 and h have the same value?
False
Let y = 2/49 + 37/294. Let m = 54.7 + -54.8. Which is greater: m or y?
y
Suppose 46*m + 9793 = -73467. Is -1810 < m?
False
Let k = -5 + 5.1. Let q = 5.1 - k. Let l = -0.4692 - -0.4892. Which is smaller: l or q?
l
Suppose -15 = -2*h - h. Suppose m - h*m = -336. Let u be 16/(-14)*49/(-196). Which is greater: u or m?
m
Let k be (-1)/(-8 + 125/15). Let g = 60 + -72. Which is bigger: k or g?
k
Let o = -779 - -672. Let y = 666 + o. Which is greater: 560 or y?
560
Let h = 0.8 + 0.2. Suppose 21*x + 3780 = -6*x - 43*x. Which is smaller: h or x?
x
Suppose 7*u + u = 24. Suppose 2 = p - u*t - 4, 0 = -2*p - t + 26. Is 13 < p?
False
Let w = -539 + 549. Let r(p) be the first derivative of p**3/3 + p**2/2 - 12*p - 10. Let u be r(-5). Is w smaller than u?
False
Let i = 5 + 2. Let v be (-333)/15*(2/3 + -1). Is v at least as big as i?
True
Let d(o) = -o**3 + 11*o**2 - 10*o + 4. Let p be d(10). Suppose p*a = 2*a. Let q = 90 + -101. Which is greater: a or q?
a
Let v be (-2)/(-6) - 2022/(-9). Suppose -x = i - 219, 2*i - 488 + 44 = -x. Is i at most as big as v?
True
Suppose 11*x - 9*x + 3 = -3*s, -5*s - 4 = 3*x. Let o be (112/(-200))/(s/15). Suppose 2*b - 2 = -20. Is o greater than or equal to b?
True
Let x = -3 - 112. Suppose -567 = 5*r + 8. Is x greater than r?
False
Let f(j) = -10*j + 53. Let y be f(6). Let g = 6303/5 + -1269. Which is greater: g or y?
y
Let d be 189/(-14)*2/(-3). Let g(c) = c**3 - 9*c**2 - 7*c - 16. Let q be g(d). Which is greater: -78 or q?
-78
Let x = -659.15 - -114.65. Is x bigger than -2/5?
False
Suppose 0 = -3*z - j - 17, -9 = 3*z - 2*z - 3*j. Let k be (-207)/z*4/(-18). Are -8 and k unequal?
True
Let v = -411 - -189. Let r = -160 - v. Which is bigger: 1 or r?
r
Suppose 3*c = -6*s + s + 2, 3*c - 4*s = -34. Let u be (-4)/(16/c) - (-12072)/(-8064). Which is greater: u or 1?
1
Suppose 5*d + 4*d + 254 = 8*d. Is d at most as big as -262?
False
Suppose -43*m + f - 7 = -42*m, -m = 6*f - 49. Let u(t) = -t**3 + 7*t**2 + 10*t - 3. Let v be u(9). Which is smaller: v or m?
v
Let y = 335/248 + -7/31. Let a(l) be the third derivative of l**5/60 + l**4/3 + l**3/3 + 3*l**2. Let h be a(-8). Is y at least as big as h?
False
Let s = 0.111 + -55.111. Let q be 0/(4 - (18 + -18)). Which is bigger: q or s?
q
Suppose 5*r = 2*t + 69, -2*t + 127*r - 78 = 125*r. Do 13 and t have the same value?
