Let r = 100 + -82. Let j be r/(-9)*2*3/12. Which is smaller: n or j?
j
Let q(b) = 11*b - 144. Let t be q(13). Which is bigger: t or 50?
50
Let n = -17 + 10. Suppose 0 = u - 3*u - 2*y, 3*u + 2 = -5*y. Are u and n unequal?
True
Let f be (35/(-28))/(2/8). Suppose -4*a - 7 = -b, 2*b + 0*b = -10. Which is greater: f or a?
a
Suppose 0 = 4*x + 2*p, -5*p = -22 + 12. Are x and 1/108 unequal?
True
Let r(o) be the first derivative of -o**4/4 - 4*o**3/3 + o**2/2 + 5*o - 24. Let v = -8 + 4. Let x be r(v). Is -2/33 not equal to x?
True
Let r = 0.0909 + 0.2991. Which is smaller: r or -4?
-4
Let t = 56 + -55.49. Is 1 bigger than t?
True
Let h = -534057 + 15493191/29. Let c = h - 191. Let r be ((-2)/3)/(24/36). Which is smaller: r or c?
r
Let u = 10 + -16. Let x = 6 + u. Let w be ((-16)/(-3) - 5)/(4/(-48)). Are w and x non-equal?
True
Let m = -26.16 - -26. Let t = m - -1.16. Let q = -10.9 - -11. Which is smaller: t or q?
q
Let y be (-3)/(-9)*(-2)/(-3). Let t = 11 - 12. Are y and t non-equal?
True
Let c be (4*2*4/8)/(-1). Is c at most -11?
False
Let j be (136/(-30))/(10/(-15)). Which is smaller: 8 or j?
j
Let k = 2 - 3. Let n be (1/(-3))/((-33)/(-198)). Let s be ((n/3)/1)/((-2)/(-6)). Is s smaller than k?
True
Suppose 1 = 2*w - 0*z + z, 0 = -5*w - 5*z + 15. Let k be (-422)/3 + 2/3. Let p be k/30*(-6)/(-16). Is p less than w?
False
Suppose -3*o - 17 = -20*o. Is -3/70 less than or equal to o?
True
Let b be (-1164)/(-24) + (-2)/(-12) - -2. Which is greater: b or 51?
51
Let s = -1 + -2. Let z be 1*s - 520/(-174). Let p = 163/957 - z. Which is greater: -2/5 or p?
p
Let w = 1836 + -1845. Is -45 at most w?
True
Let f(j) = -j**3 - 21*j**2 + 72*j - 4. Let a be f(-24). Is a at least -1?
False
Let w = 175 + -487. Let y be -1*2 + w/(-108). Which is smaller: y or 0?
0
Let u = 8 - 5. Let v be u/5 - (-8)/(-5). Let m be 0 + v - 8/(-10). Which is smaller: 3 or m?
m
Let u = -9.4 - -11.4. Which is smaller: -19 or u?
-19
Suppose 0 = 3*q - 4*y - 22, 3*q + 4*y + 8 = 5*q. Let n be q/28 + (-29)/(-2). Which is greater: n or 16?
16
Let o be (-20)/((-2)/2) - -4. Suppose 4*f - 5*i - 28 = -i, -2*f = -4*i - o. Which is bigger: 10/7 or f?
f
Let w = 57/140 + 3/140. Let c = -7 - -6.62. Let s = -1.38 - c. Is w less than or equal to s?
False
Let h = -6 - -7. Let x(y) = -y**3 - 17*y**2 + 18*y - 1. Let o be x(-18). Let m be (-70)/66 + (-1)/o. Which is bigger: h or m?
h
Let a(f) = -f**2 + 6*f + 8. Let p be a(8). Are -36/5 and p unequal?
True
Let t = 804.4 - 805. Which is greater: 39 or t?
39
Suppose -12*x = -7*x. Let n = 6/17 + -15/187. Do n and x have different values?
True
Let u be 2 - (-1 - (-185)/5). Let q be 5/(14 - 4)*u. Which is smaller: q or -18?
-18
Suppose 4*x - 286 = -78. Is x <= 55?
True
Let x be ((-1)/2)/(1/(-2)). Let u = -2983 + 32819/11. Is x equal to u?
False
Let j = -3.414 - -3.7. Let p = j + 0.124. Is 2/9 at most p?
True
Let t(v) = v**3 - 7*v**2 + 14*v - 15. Let k(q) = -2*q**3 + 14*q**2 - 27*q + 29. Let l(s) = -6*k(s) - 11*t(s). Let m be l(6). Is 7 greater than m?
True
Let n = 22 - 21. Let q be 2*n*80/224. Are q and 2 equal?
False
Let c = 18 + -18. Let h be (-4)/(-22) + 374/605. Which is bigger: c or h?
h
Suppose -2088*j + 381 = -2087*j. Is 380 != j?
True
Let y = -91/5 + 809/45. Suppose -16 = 4*x - 4*m, -17 = 5*x - 2*m - 0. Let q = -3 - x. Is y >= q?
False
Suppose -2*q + 5*q = 27. Let g = -5 + q. Suppose 2*i = -4*t - 22, g*t = 8 - 28. Which is bigger: -3/5 or i?
-3/5
Let b = 221 - 202. Is 19 at least as big as b?
True
Let d be ((-8)/(-12))/((-1)/(-12)). Let n be -21 - -20 - (-2)/d. Is n at least as big as -1?
True
Let m(j) = j - 3. Let a be m(6). Is a not equal to -8?
True
Let m be (3 + -8)/(-4 + 1). Let o = -57 + 60. Does o = m?
False
Let y = -33 - -34. Let g = -30075/7 - -1173464/273. Let l = -30/13 + g. Which is bigger: y or l?
y
Let n(c) = 2*c - 20. Let f be n(10). Suppose -4*d - a - 3 = f, -21 = -2*d - 0*d - 5*a. Let h be d*2 + (-10)/(-3). Which is greater: -2 or h?
h
Let a = -0.2689 + 16.1589. Let d = a + 0.11. Let j = -18 + d. Is j > 3?
False
Suppose 0 = 2*p + 1 - 13. Let k be 4*(-2)/(8/p). Let t = k - -5. Which is smaller: -1/21 or t?
t
Let y be 4*-2 - 74/(-37). Which is greater: y or 5?
5
Let x = 85 - 69. Suppose x*m - 30 = m. Which is bigger: -7 or m?
m
Let b be 558/(-42) - (-6)/21. Is b < -37/3?
True
Let v = -7.949 + -0.151. Let r = -9.1 - v. Is -67 bigger than r?
False
Suppose -3*o = 10*o + 286. Which is greater: -89/4 or o?
o
Suppose -7*g - 12 = -3*g. Suppose -46*c = -56*c - 80. Which is smaller: g or c?
c
Let h(l) = -108*l**2 - 12*l + 14. Let n be h(1). Is n > -108?
True
Let n be 114/9*(77/(-14) + 4). Which is bigger: n or -20?
n
Let y = 0 + -36. Let f = y - -55. Let v = f + -21. Is v greater than or equal to -4?
True
Suppose 0*r = -2*r - 98. Let p = r - -15. Is p at most -33?
True
Let p = 82 + -96. Suppose 13*o + 44 = 9*o. Which is bigger: p or o?
o
Let m(k) = -4*k**2 + 2*k + 7. Let d be m(-3). Let w be ((-3)/15)/((-4)/d). Let i = w - -2. Is i < -3/8?
False
Let k be (5/(-5) - -29) + 3. Suppose -5*s = 2*f - 29, s + 3*s - k = f. Let w(j) = -2*j. Let r be w(-3). Which is greater: r or s?
s
Let a = 12 - 9. Let j be -2*(a - 9/(-6)). Let v be ((-12)/9)/(3/j). Is v greater than or equal to 4?
True
Suppose -3*y = 5*b + 315, 5*y - 3*y - 142 = 2*b. Are b and -67 unequal?
True
Let g be (-8)/(-6) + -1 - 1. Let a be (70/160)/((-6)/4). Let r = a - g. Is r at most as big as 0?
False
Let x = 50 + -32. Suppose x = -4*c + 58. Which is smaller: c or 9?
9
Let j = -54 + 54. Suppose 24 + j = 8*z. Is z > 14?
False
Let i(j) = -j - 5. Let n be i(-25). Suppose 4*w = b + 87, -65 = -3*w - 2*b + 3*b. Are w and n equal?
False
Suppose 4*j = 2*i + 24, 5*i - 24 = j - 5*j. Suppose 0 = -j*l + 62 - 2. Suppose 35 = u + 4*u. Which is greater: l or u?
l
Let k = 32 + -32.15. Let y = k - 2.05. Let l = y - -2.3. Which is smaller: l or 0.02?
0.02
Suppose 2*c - 6*w = -4*w - 10, 3*c = -4*w - 8. Let t = c - -4. Suppose 0*q + 5*q = t. Is q at least 1/4?
False
Let x be -2 - -8*(-25)/(-70). Which is greater: x or 11?
11
Suppose -1 = 795*p - 794*p. Is 2/9 bigger than p?
True
Suppose 10 + 6 = 8*r. Which is smaller: -18 or r?
-18
Let t = 5 - 4. Which is greater: t or 54?
54
Suppose 440 = 50*r - 54*r. Let h be r/(-15)*9/6. Let w = 5 - -8. Which is smaller: w or h?
h
Let n(i) = i**2 + 19*i - 512. Let w be n(-34). Is 30 bigger than w?
True
Let v(m) = -2*m - 62. Let j be v(2). Which is smaller: -64 or j?
j
Let s = 84 - 173/2. Let p be -1 + -1 - -1 - -4. Suppose 2*q - p = -5. Which is smaller: q or s?
s
Let r = -83.1 + 86. Let m = 3 - r. Do m and 6 have different values?
True
Let i be (3 + 1 - 4)/(-2). Let v be i/4*1 - 6. Which is greater: v or -8?
v
Let h = -302 + 301. Let q = -7906/1185 - -2/395. Which is smaller: q or h?
q
Let f be (2/2)/4 + 30. Let r = f + -29. Is r <= 0?
False
Let n = 12 + -44. Which is bigger: n or -31?
-31
Let o = -18 - -19.4. Let m = 0.007 + -4.407. Let q = o + m. Is 0.2 less than q?
False
Let c = 3.69 + -0.69. Which is smaller: 85 or c?
c
Let g(a) = -a**2 - 14*a - 15. Let k be g(-13). Does -86 = k?
False
Let q be 7 - 2 - 69/15. Let g(h) = -h**2 + 3. Let w be g(0). Let y be (-1 + 1)/(w - 5). Does y = q?
False
Suppose -455 = 2*y + 3*p - 2*p, 5*y - 3*p + 1121 = 0. Let o be y/4 - 6/(-4). Which is greater: -54 or o?
-54
Suppose -18*d + 34*d = 1104. Which is smaller: d or 67?
67
Suppose 0 = 2*h - 4*o + 6, -h = 3*h - 5*o. Let z be 2 + -6 + (-5 - (-14 + h)). Do z and -8/13 have different values?
True
Suppose 738 - 2488 = 12*b - 62*b. Suppose 3*w - 62 = 40. Do w and b have the same value?
False
Let w = -96 + 220. Let o = -100 + w. Let s = 0 - 1. Which is smaller: o or s?
s
Let v = 1943 - 1944. Is v at most as big as -117?
False
Suppose 0 = 14*l + 11 - 39. Let c be 2/(-11) + 35/11. Are c and l equal?
False
Let n be 2/(-1) - (3 - 3). Let h be ((-6)/18)/(n/24). Which is smaller: 6 or h?
h
Let s = -1387/1161 + 31/27. Let n = -209/129 + s. Is 1/2 at most as big as n?
False
Let p(q) = -q**3 + 21*q**2 + 24*q - 41. Let d be p(22). Suppose -4*o - 42 = 5*z, o - 6*o - 46 = d*z. Which is smaller: o or -11?
-11
Let p be ((-21)/33)/(1/1). Let g = 3730/21 + -532/3. Which is smaller: p or g?
p
Let j be 1998/(-45) - 2/(-5). Let i = j + 41. Which is greater: -40/9 or i?
i
Let z = 19 + -18. Suppose -17*r = 266 - 300. D