e 2*a = 1 - 9. Let y be (-43)/(-77) + a/14. Which is smaller: z or y?
z
Let a = -3 - -1. Let k be 77963/(-88) + a/11. Let s = k - -885. Which is smaller: 0 or s?
s
Suppose 0 = 10*a - 11624 - 21136. Let o be (0 - 2) + 6566/a. Which is greater: o or -1?
o
Let y(v) = -3*v - v + 57 - 2*v**2 - 55 - 3*v. Let q be y(-4). Let x(a) = -8*a**2 - 26*a + 18. Let j be x(-4). Is q at most j?
False
Suppose -b = -y + 90, -8*b + 4*b = 5*y - 495. Let g = 128 - y. Let l = -101 + g. Is l >= -67?
False
Let p = 3292689/227 + -14505. Which is bigger: p or 1?
1
Let o(c) be the second derivative of 5*c + 4/3*c**3 + 0 - 10*c**2. Let a be o(6). Which is greater: 29 or a?
29
Suppose 0 = d - 3*c + 111, -7*c + 4*c - 213 = 2*d. Let y be 2*29/96 - (-18)/d. Which is bigger: y or 0?
y
Let n be -2 - (2 + 0 + -6). Suppose -n*t = -6 + 2. Suppose -2*p - t = -44. Which is bigger: p or 20?
p
Suppose 71*k - 76*k = -2*v - 1725, -2*v - 1720 = -4*k. Which is smaller: -851 or v?
-851
Let c be (-6 - (6 + 22/(-2)))*-401. Let n = c + -397. Is 0.2 less than n?
True
Let q(l) = l**3 - 12*l**2 + l - 26. Let m be q(11). Let o = 122 + m. Is -40/3 bigger than o?
True
Let b = 169 + -126. Suppose -50*k + 84 = -b*k. Which is smaller: 3 or k?
3
Let b be ((-335)/134)/(31/70). Is -7 > b?
False
Suppose 464 = -270*c - 194*c. Is 57/221 less than or equal to c?
False
Let f be ((-187 + -4)*2)/((-18)/9). Let n be (-8)/2 + (-14)/(-21)*f. Which is greater: 122 or n?
n
Suppose -127*h + 0*h = -127. Which is greater: h or -4/10915?
h
Let d = 3527 + 129. Is 3656 >= d?
True
Let i(j) = 4*j**3 + 19*j + 4*j**2 - 164 + 6*j**2 + 86 + 81 + j**2. Let s be i(-2). Let g = 33 - 55. Is s > g?
False
Let j = -44109 - -309335/7. Let o = j + -157293/1925. Is o not equal to 1?
True
Let b(p) = 36*p**3 + p**2 - 2*p + 1. Let z be b(1). Let d be (-124 - 0)/(z/(-24)). Is 83 not equal to d?
True
Suppose 20*n = 17*n - 24. Let s be (12/(-16))/(n/160). Which is smaller: s or -2/15?
-2/15
Let b be ((-55404)/(-2970))/((-8)/60). Which is bigger: -141 or b?
b
Let z = 10169/50 - 497666/75. Let h = z + 6414. Which is bigger: h or -18?
-18
Let l be (175845998398/(-7469) - 0)*(-229)/(-18). Let v = l + 299524951. Let q = v - 2/873. Which is greater: -2 or q?
q
Let n be (-88)/32 - (-319)/116. Which is bigger: n or -5701?
n
Let d = 105 - 145. Let u = d - -16.1. Let q = 24 + u. Which is smaller: 9 or q?
q
Let l = -5413/285 - -68/57. Is -19 <= l?
True
Suppose -17*a = 9 + 8. Let j be ((-306)/(-204))/(a/((-46)/3)). Is 47/2 at most as big as j?
False
Let t be (8 - 3) + -6 + -4. Suppose 2*l + l - 26 = 2*z, 37 = -3*z + 4*l. Which is bigger: z or t?
t
Let y(k) = k**3 + 5*k**2 + 24*k + 11. Let w be y(11). Is 2211 != w?
False
Let i(b) = 3*b**2 - 19*b + 11. Let u be i(4). Let p = u - -15. Does p = -6/5?
False
Let c(m) = -3*m**2 + 68*m + 37. Let b be c(22). Is 92 > b?
True
Let q = -6225/2 + 2751459/884. Which is greater: q or 0?
q
Let k(h) = 153*h - 21. Let w be k(8). Let q be (-14)/21 + 820/w. Let f = -1478/8421 - q. Which is smaller: 0 or f?
f
Let h = 242.1 + -232. Let t = h - 10.92. Which is smaller: -0.1 or t?
t
Suppose -2*y + d - 328 - 134 = 0, -686 = 3*y - 5*d. Let x be (y - 0) + (3 - -4). Is 0.1 at most as big as x?
False
Let f be 3 + (-3 + 5 - 4). Let p be f/(-62)*41 - (-2)/4. Which is smaller: p or -1?
-1
Let l(y) = y**3 + 6*y**2 + 19*y + 58. Let v be l(-11). Let g = v - -802. Is g equal to 46?
True
Let p be ((-18601)/33 - 14)/(4/12). Are p and -1730 nonequal?
True
Let u = 9506598317077/492 + -19322347307. Let s = u - 6996. Is -1 less than s?
True
Let j be 3*(110/(-18) + (-2)/9). Let k be (j + 20)/((-1)/(-6)). Let v = 12 - k. Is 2 less than v?
True
Suppose -y = -2*c - 8, -67*y - 5 = -c - 62*y. Let v be c*20/(-75)*3/1082. Which is greater: 0 or v?
v
Let k be (-749)/56 - (-12)/32. Let x(r) = -r**2 - 14*r - 12. Let n be x(k). Which is bigger: 3 or n?
3
Let n(g) = g**2 - 7*g + 5. Let x be n(7). Suppose -v - 674 = -x*o + v, 0 = -3*v - 6. Which is smaller: 135 or o?
o
Suppose -3*i = -36 - 36. Suppose t - i = -16. Suppose 0 = -2*f - 3*o - t, 9*f - 5 = 4*f + 5*o. Which is greater: f or 0.058?
0.058
Let a = 17.3 - 11.6. Let i = -1170 + 1175.8. Let r = a - i. Which is smaller: r or -4/13?
-4/13
Suppose 2*c = 17*r - 22*r + 135, 0 = -3*c + 5*r + 115. Is c != 51?
True
Let j = 63379/2327 - 354/13. Which is greater: j or 0.5?
0.5
Let i = -2036.4385 + 2037. Let x = i + -0.0205. Let p = 0.041 - x. Is 0 greater than p?
True
Let r = -4388 + 4387.99. Which is smaller: -652 or r?
-652
Suppose -3*l - 15 = 3*g, 3*g - 4*l - 15 + 2 = 0. Let m be g/(((-27)/24)/(-1)). Suppose -z + 2*z - b = -2, 4 = 3*z + 2*b. Is m at least as big as z?
False
Let u(r) = -r**3 - 6*r**2 - r - 4. Let b be u(-6). Suppose -2*p = -2*t + b, -10*p + 3 = t - 12*p. Are t and 24/61 equal?
False
Suppose -157 - 374 = -9*u. Let f = 79 - u. Suppose 3*m - 84 = -m. Which is bigger: m or f?
m
Let l be (6849/3)/(2/((-32)/(-24))). Which is smaller: l or 1530?
l
Let v(o) = 2*o**3 + 233*o**2 + 106*o - 937. Let f be v(-116). Is 217 < f?
True
Let k = 2.1 - 0.1. Let h be 1127/805*(-26)/(-6) - (-4)/(-10). Is k greater than or equal to h?
False
Let v be 12/6*-3*2/(-3). Suppose -2*y + 4*y - 44 = -v*b, -4*y + 61 = -b. Which is smaller: -0.13 or y?
-0.13
Let w = 1216 + -1112. Is 2/27 at least w?
False
Let w = -18397 + 13412. Do w and -4985 have different values?
False
Suppose 4*w = -2*w + 12. Suppose w*u - 4*a - 126 = -8*a, 3*a = -5*u + 308. Let m = -66 + u. Is m smaller than -4?
True
Suppose 2*y = -2*t + 22, -5*y + 6*y + 5 = 3*t. Suppose 0 = -5*x + y + 13. Let i be -3 - (x + 1) - -4. Is 2 smaller than i?
False
Let h = -6428.8 - -6428. Which is bigger: h or -402?
h
Suppose 3 = -3*m - 2*x + 39, 1 = m - 3*x. Suppose -m*y + 15*y + 254 = -3*j, 2*y - j = -95. Do y and -48 have the same value?
False
Let l(m) = -3*m**3 - 43*m**2 + 31*m + 15. Let k be l(-15). Which is greater: k or -8/83?
k
Let m(t) be the first derivative of -5*t**2/2 - 156*t - 118. Let q be m(-31). Does q = -3/262?
False
Let z = 68.8 - 12.8. Let l = 96.5 + -43.5. Let r = z - l. Which is greater: r or -0.9?
r
Let o = 36 - 6. Let z = -1353 - -1383. Does z = o?
True
Let t(r) = -r + 7. Let o be t(18). Let f be (-5)/(-5) + -4 - o. Let q be 1 - 4 - (-22)/f. Which is smaller: q or 1?
q
Let s = 6 - 6.09. Let g be 119/13 - ((-216)/(-117))/12. Let q be 6/(240/(-376)) + g. Is q less than s?
True
Let v be 28/98*72/(-406). Let d = v + 1496673/7105. Let n = d - 212. Is 2 >= n?
True
Suppose 7*i + 1439 + 1459 = 0. Let l be 1/9 - (-46)/i. Is l less than -2/57?
False
Let p be (-174)/4 + -7 + 117/18. Let s be (-19)/(-76) + 31/p. Which is greater: 0 or s?
0
Let p be (-1098)/6 + (-15)/6*2. Let s be 1/(-7)*-1 - p/47. Suppose x - 2*x = -4. Is s at least x?
True
Let k = -267 + 438. Suppose -22*x + 19*x - k = 0. Let b(q) = q**3 - 7*q**2 - 3*q + 9. Let z be b(5). Which is smaller: z or x?
x
Suppose -9*m + 15387 - 15513 = 0. Which is smaller: m or -15?
-15
Suppose -2*p + 5*b = -6*p + 897, 2*b - 657 = -3*p. Is p smaller than -47?
False
Let j = 1012.66 - 91.66. Are -3/8 and j non-equal?
True
Let h = 130 - 129.808. Let k = 0.161 - h. Which is smaller: k or 0.2?
k
Suppose -3*b + 230 = -145. Let l = -180421 - -180546. Are l and b nonequal?
False
Suppose -3*n = 5*s - 11, n - 196 + 190 = -4*s. Which is smaller: 6/569 or s?
6/569
Let b(d) = -3*d**3 + 5*d**2 - 5*d + 3. Let w be b(4). Let t be 2/(43/508*-12 + 1). Is t at most as big as w?
False
Let y = 152 - 150.02. Let v = y - 3.45. Let l = 0.47 + v. Is -38 <= l?
True
Let j = 53.895 + -54. Let c = -0.032 - j. Let r be (4 - 105/24)/(-50 - 9131/(-184)). Is r smaller than c?
False
Suppose 0 = -8*q + 290 + 166. Let o = -18 + q. Which is smaller: 37 or o?
37
Let b be -156 + 149 - 6/(-1). Is -4/16951 not equal to b?
True
Let p(l) = 87*l**2 + 8*l - 7. Let i be p(1). Let f = i - 92. Let a be (1*8/(-6))/(f/6). Is a greater than 11/4?
False
Let f be -1 + 260/(-15) + 6 + -1. Let v(w) = -14*w**2 - 2*w - 1. Suppose -5*h - 1 = -0*l + l, -l = 3*h - 1. Let q be v(h). Which is smaller: q or f?
f
Let v be 3 - -1 - (-4)/((-84)/49)*36. Which is bigger: v or 0?
0
Let l be (-18)/36*1*8/4. Let d be (-104)/(-220) + (-6)/15. Is d > l?
True
Let m(x) = 2*x - 3. Let g be m(-9). Let k(c) = -c**2 - 22*c + 77. Let a be k(-23). Suppose 2*u = 8 - a. Which is smaller: u or g?
u
Let