e (-1 - 1)/((-33)/12). Which is smaller: s or y?
s
Suppose 2 = -p + 4. Suppose -p*g - 237 = -5*g. Let k = g - 63. Which is greater: k or 14?
k
Let h(q) = -22*q - 3. Let x be h(-3). Let c = x - 259/4. Let y be 14/(-6) - (-223)/669. Which is smaller: c or y?
y
Suppose -10*x + 33*x + 69 = 0. Let h(s) = -s**3 - 7*s**2 + 4*s - 3. Let t be h(-8). Is t bigger than x?
True
Suppose -29*o - 2700 = -14*o. Let s = -182 - o. Which is greater: -7/10 or s?
-7/10
Let r = -4563 + 1743073/382. Are r and 0 unequal?
True
Let y = -16467 - -149605/9. Let c = -200 - -356. Let r = c - y. Is 1 at least r?
True
Let m be (66/(-8))/(6 + 45309/1144). Let n = 5/31 + m. Which is greater: -2 or n?
n
Suppose 5*x - 4*i + 1127 = 0, 11*x - 15*x + 5*i - 898 = 0. Is -230 greater than x?
False
Suppose -g = 5*s - 92, -7*g = -5*g + 2*s - 192. Suppose g*j - 89*j + 16 = 0. Is -11/4 at most j?
True
Let h = -1261 - -860. Let j = h - -401.1. Which is greater: j or 13?
13
Suppose b + 3 = -4*p - 31, -b = 5*p + 39. Let t = -15 - b. Let x be ((-196)/6321)/((-4)/(-3)). Does t = x?
False
Let s(k) = -2*k**3 - 59*k**2 - 63*k + 54. Let b be s(-28). Let h = 584 + b. Is h at least 39?
True
Let q = -1/598 + -407827/5382. Is -76 smaller than q?
True
Suppose 89*q = -1628 + 204. Which is greater: -337/23 or q?
-337/23
Let l = 635 - 634.073. Let z = 5875 - 5875.073. Let b = z - l. Is b less than 12/13?
True
Let d be 1 + 147 - (4 + -5 + 4). Suppose 5*s = -5*l + d, -2*l - s + 82 = -5*s. Let t be (-1182)/l + (-6)/33. Is -36 less than t?
False
Let c(j) = 2*j**2 - 7*j + 6. Let d be c(2). Let n be 24/6924 - (0 + 0). Are n and d equal?
False
Let r(k) = 3*k - 6. Let o be r(6). Suppose -3*a = -8*a. Suppose a = 3*x - 0 - 33. Does o = x?
False
Let c = -80355/14131 - 90/1087. Let k be 2 + (0 - (7 - -2)). Is k bigger than c?
False
Suppose 0 = -3*n - 5 - 16. Let g(i) = 32*i + 191. Let f be g(-6). Let q be (-8 + (-1 - f))*1. Is n at least as big as q?
True
Let j(p) = -p**3 - 10*p**2 + p + 3. Let o be j(-10). Let h be (2802/(-408) - o)/3. Is h equal to 0?
False
Let p(t) = -11*t**3 + 12*t**3 + 3*t - 4*t**2 + 3 - 7 - t. Let b be p(4). Let h be (3 + -7)/b - -5. Is 20/7 > h?
False
Let s = 5261/3 - 257921/147. Do s and 0 have different values?
True
Suppose -9776 = 6*m - 614. Let y = m - -4711/3. Let k = y - 43. Which is greater: -0.2 or k?
k
Suppose -12876 = -298*j + 286*j. Which is greater: j or 1071?
j
Suppose 2*n = 14, 2*a - 4*n = -7*n - 8543. Are -4284 and a nonequal?
True
Suppose 88*i - 101*i - 63219 = 0. Is i at least as big as -4862?
False
Let l = -171 + 141. Let z be (-568)/l + (-18)/30. Which is bigger: 19 or z?
19
Suppose -15 = m - 5*s, -3*s = 29*m - 28*m - 9. Let g(b) = -44*b. Let i be g(m). Let x = -6/137 - -1013/1233. Is i bigger than x?
False
Let n = -456.16 + 455.96. Let l = 0.4 - 4.4. Which is bigger: l or n?
n
Let n be ((-6)/(-9) + -2)*114/22. Let q(p) = -12*p - 116. Let z be q(-9). Which is smaller: n or z?
z
Let h = 0.39 + 4.81. Let y = -16.3953 - -18.3953. Which is greater: y or h?
h
Suppose -3*o = p + 6, -p - 28 + 24 = o. Is -62/35 at most p?
False
Let g be (135/18 + 15)*10/795. Is -1 less than or equal to g?
True
Let b = -62643 - -253892077/4053. Which is bigger: 0 or b?
0
Let p(b) = -b**3 + b**2. Let i(n) = -3 + 4*n - 6*n + 5*n - 5*n. Let u be i(-2). Let f be p(u). Which is smaller: f or -4/7?
-4/7
Let o = 3 - 9. Let m be (-7)/70*-644*5. Let d be (-3)/7 - 1472/m. Which is greater: d or o?
d
Let s(f) be the second derivative of f**3/3 - 51*f**2/2 - 11*f. Let i be s(25). Let r(d) = -2*d**2 - 75*d - 37. Let v be r(-37). Which is greater: i or v?
v
Let l(z) = 13*z + 93. Let c be l(-7). Suppose 5*q - c*q = 4*o - 13, 0 = q + 4*o - 17. Which is smaller: q or 26?
q
Let z = -9.348 - 120.632. Let c = -130 - z. Which is smaller: c or -1?
-1
Let k be -21*(29/116 - (-3)/4). Is k at least -7?
False
Suppose 23*j - 15*j = 24. Let a be 6 - j*(0 + 2). Is 2/21 less than a?
False
Let g = -246 + 271. Suppose -12*x = x - 364. Which is greater: x or g?
x
Suppose 12 = -132*z + 135*z. Suppose -4*k + 3*t = 8*t - 271, -4*k - 4*t + 268 = 0. Suppose -188 = -z*q - k. Which is greater: 32 or q?
32
Let m be (446082/(-4698))/19 + (6 - 1). Which is smaller: m or -1?
-1
Let u = -0.73 - 7.17. Let d = 26.1 - u. Let n = d + -33. Is -0.3 >= n?
False
Let x = -1.15 - 13.45. Let k = 19.4 - x. Let d = -34.007 + k. Which is greater: d or 0.1?
0.1
Let s = 333 + -317. Suppose s*v + 516 = -780. Which is smaller: v or -83?
-83
Let z(m) = 5*m - 3. Let j be z(-4). Suppose -5*u - 236 = -2*q, -5*u - 471 = -5*q + 104. Let n = q + -134. Are n and j nonequal?
True
Let o be (-6)/(-9) - (-24)/18. Let x(f) = 4*f**2 + 5*f + 7 + 2*f**o - 3*f**2 - 4*f**2. Let b be x(5). Which is greater: 13/2 or b?
b
Suppose 25*v + 9378 = 43*v. Is 3/4 != v?
True
Let b = -5094 + 5093.9201. Which is smaller: b or 0.8?
b
Suppose -2*b = 8*t - 3*t + 360, -5*b - 305 = 4*t. Let f = t - -88. Let l be ((-24)/f)/(2/6). Which is smaller: -1 or l?
l
Let w(y) = 2*y - 1. Let j be w(1). Let a be (-20566)/(-442) - 26 - 19. Which is greater: a or j?
a
Let i = -602 - -641. Is i not equal to 79/2?
True
Let o(q) = -q**2 + 6*q + 8. Let u be o(7). Let z = -102046/177 - -1730/3. Which is bigger: z or u?
u
Suppose 330 = 191*l - 136*l. Which is bigger: 67 or l?
67
Let g(t) = -63*t + 54. Let o be g(4). Let w = 186 + o. Which is smaller: w or -11?
w
Suppose 25*m - 2*m - 92 = 0. Suppose -m*g - 68 = -4*z, 9*g - 5 = 10*g - 4*z. Which is greater: -19 or g?
-19
Let v = 65 + -63. Suppose -2*s + 3 = 5*f - 5, -v*s - 10 = -4*f. Which is bigger: s or 2.4?
2.4
Suppose 4*t + 2 - 20 = -3*c, 4*c - 23 = -5*t. Let u(b) = 24*b**2 - 54 + 37*b**3 - 21*b - 18*b**3 - 20*b**t. Let i be u(23). Is -11 less than or equal to i?
True
Suppose 0 = -8*s - 3155 - 741. Let t = 487 + s. Is -2/81 at least as big as t?
False
Suppose -25*a + 22*a = -2196. Suppose a = 8*c - 10*c. Let v be -22*51/c - 3. Is 1 < v?
False
Suppose -5 = -48*l + 2587. Do l and 81 have different values?
True
Let r = 2647 + -894691/338. Which is smaller: 1 or r?
r
Let i(k) = k + 1. Let o be i(-2). Let l = 346/155 - 10411/4650. Which is smaller: l or o?
o
Let c = 207248640829/2934 + -70636899. Let h = -3/326 + c. Which is greater: h or -8?
h
Let p be (14/(-4))/(14/(-28)) - 197/(-55). Do 11 and p have the same value?
False
Let g be 10/(-15)*(-27)/6 + 3. Suppose 0 = -w + 1 - g, -1195 = 2*x - 5*w. Is x greater than 1?
False
Let j(r) = r**3 + 1. Let q be j(2). Let c be q/((-10)/95 + 43/589). Are -280 and c equal?
False
Let a(i) = i**2 - 30*i. Let y(b) = 30*b**2 - 2*b + 2. Let o be y(1). Let w be a(o). Do w and 22/73 have different values?
True
Let t(s) = -s**2 + 4*s + 1. Let n be t(3). Let d be (26 - (5 - 6))*n/(-6). Let k be 15/d*-3*(-8)/10. Is -4 smaller than k?
True
Let s = -14562 + 10077. Are -4484 and s equal?
False
Suppose 4*w - 29 = 35. Suppose -2*o = 5*j + 22, -2*o - 3*j = -5*o - 12. Is o at least as big as w?
False
Let c = 207.74 + -208. Let x = c + -0.14. Is x greater than -2/31?
False
Let y be 1731/(-2) + (-12)/(-8). Let u = y + 813. Which is greater: -50 or u?
-50
Let b = 233197/5 + -46646. Let g be 32/30 - (-4)/(-10). Is b bigger than g?
False
Suppose 17*c = 12*c - 4*v - 9, 0 = -3*c - 9*v - 12. Which is smaller: -20/39 or c?
c
Suppose 0 = -5*h - 119 + 64. Suppose -4*d - 5*d = 63. Is h less than d?
True
Let q(h) = 2*h**3 - 27*h**2 + 13*h + 6. Let p be q(13). Let x be (39/p)/(-4 - 18/(-4)). Is x at least 6?
True
Let d be (-7*(-2)/(-4740))/((-53)/(-5247)*-11). Which is smaller: d or 0?
0
Let y(z) = -2*z**3 + 20*z**2 - 17*z + 1. Let s be y(9). Let b be (-76)/s - 2/5. Which is bigger: -0.1 or b?
-0.1
Suppose -5*v = 4*b + 9, -b = -2*v - 26 + 12. Which is smaller: 51/16 or b?
51/16
Let l = 22 - -3. Suppose -2*k - 1 = l. Is k bigger than -87/7?
False
Suppose 0 = -2*t + 4*z + 4, 2*z = t + 5*z - 12. Let b be (-139)/11 - (11 - 18). Let j = b - -567/44. Is t <= j?
True
Let v = 0.3768 + -0.2468. Which is smaller: 121 or v?
v
Let o = -900/17 - -4466/85. Let v(c) = 19*c**3 + 3*c**2 + c - 2. Let b be v(-2). Let r be ((-435)/b - 3)*-1. Which is smaller: r or o?
o
Suppose -6*s - 2*r = -3*s + 13, -4*r = 2*s - 2. Let u = 3951 + -3943. Is s > u?
False
Let r = -25100/133 + -939/19. Which is greater: -238 or r?
-238
Suppose 0 = 4*v + 2*s - 2114, 4*v = 2*s + 2618 - 508. Let g =