w**2 + 1. Let m be p(-3). Suppose -33*l = -28*l + 270. Let r = l + 81. Which is smaller: m or r?
r
Let a(c) = -21 + 8*c**3 - 9*c**3 - 4*c**2 + 9*c - 12*c + 4*c. Let x be a(-7). Is 121 at least x?
True
Suppose 7*j = 47*j + 92680. Are j and -2318 equal?
False
Let d be ((-81)/1242)/((1080/16)/(-15)). Let m = 2 - 1. Suppose 0 = g - 4*t + m, 4*t = -3*g - 1 - 2. Which is smaller: g or d?
g
Let k = -13415 - -13416. Is k >= -1.016?
True
Suppose t - 18 = -15. Let q = 11 + -7. Suppose d + t = q*d. Which is greater: d or 2/33?
d
Let m be ((-2062)/4)/(9/6 - 2). Suppose -14 + m = -9*q. Do q and -113 have different values?
False
Let n(k) = -2*k**3 - 39*k**2 - 52*k + 38. Let u be n(-18). Which is bigger: u or -72?
u
Let d be 170/30*72/(-12) - -12. Let c(k) = 3 - 4 - k + 22*k**3 + 0 - k**2. Let g be c(-1). Which is greater: d or g?
d
Suppose 5*d - 115*y + 114*y = -46, 2*y = -3*d - 38. Let l be (1/(-9)*-3)/((-10)/272). Is l not equal to d?
True
Suppose -6*i = -0*i - 840. Let j = i + -144. Is j at least -17/5?
False
Let n be (2 + 38)*1043/14. Let h be (n/40)/(1387/(-20)). Let x = h - -40/73. Which is greater: x or 0?
0
Let u = 1245 - 4102. Is -2859 != u?
True
Let w = -4.889 + 3.939. Is w less than or equal to 1/3?
True
Suppose 7*t + 546 = -189. Let o be (-2)/(t/28 + 4). Is o greater than -64/9?
False
Suppose -5*w - 11 = -21. Suppose -k = -3*y - 43, -2*k + 41 = w*y - 29. Suppose 3*i = 4*n - 160, -i + 2*n - k = 17. Is i < -105/2?
False
Let l(u) = -4*u**2 + 28*u. Let a be l(7). Let k be (8 + a)/(-1)*(15 + -14). Which is bigger: k or 2?
2
Let r(n) = 20*n**2 + 23*n + 3. Let i be r(-1). Is i != -39/167?
True
Suppose 14*p + 18*p - 96 = 0. Suppose -8*r + 9*r = 3*f + 59, 218 = 4*r - p*f. Is r less than -1?
False
Let h = -329291.9 - -329293. Suppose q = -4*f + 9, -5*f = 5*q + 42 - 162. Which is greater: q or h?
q
Let n be (66/(-15) - -4)*-5. Suppose -2*f - 106 = 4*h, 2*f + 13 = n*h + 57. Let m be 1 + 1 - -1 - h. Is 2/7 not equal to m?
True
Let q be (113*-1)/(2601/(-289) - (-3472)/386). Is q <= 1/3?
False
Let j = -109 - -20. Let c be ((-8085)/891 - (-7 + -2)) + 35/108. Which is smaller: c or j?
j
Suppose -30*b - 5 + 5 = 0. Which is smaller: 13/159 or b?
b
Let z = 10920 + -8484839/777. Let i = z - -16301/12432. Is 1 < i?
True
Suppose -38*a = -108 - 2210. Suppose 2*s - 66 = 4*k - 322, 5*k - 325 = 5*s. Which is bigger: a or k?
k
Let d = -1222 - -1219. Let p be (-4)/22 + 158/(-99). Which is greater: p or d?
p
Let m = 11 + -34/3. Let u be 5/(180/(-11)) - 164/1476. Is u bigger than m?
False
Let y be 0 - -1 - (-2)/(-2). Suppose 0 = 4*v + 25 - 33. Let f be -20*(v/(-5) - 216/(-495)). Does y = f?
False
Suppose -13*m + 18*m = 50. Which is greater: -129 or m?
m
Let f = 770 + -772. Is -17/14 != f?
True
Suppose 5*z - 3*x = -4818, 27*z = 25*z - x - 1914. Which is smaller: z or 1/5?
z
Suppose -3*g + 63 = -t, -28*g - 2*t + 14 = -27*g. Suppose -g = 4*s, 0*s = -4*a + s - 751. Is -187 at least a?
True
Let o = -1/10950 - -3230257/76650. Let y = 690 - 689. Which is greater: o or y?
o
Let w = -9694 - -9998. Is w not equal to 295?
True
Suppose 0 = 11*p + k + 16, -3*p - k - 9 = p. Is 16/351 at most p?
False
Let g = 1559588/13 - 119728. Is 240 bigger than g?
False
Let z = -14289 - -1300322/91. Is z < 0?
False
Let p(k) = -2*k**2 - 15*k - 28. Let s be p(-12). Let w be (s/408)/(2*1/6). Let z = -185/104 - -1/936. Is z >= w?
False
Suppose -4*y + 72 = -4*j, -5*y - 6*j + 4*j = -83. Suppose -14 + 65 = y*t. Is t at most 3?
True
Let x = 6/20681 + 96697/23121358. Are 1 and x non-equal?
True
Let o be (-4)/(-10) - 283/(-5). Let b(t) = -204*t - 3221. Let s be b(-16). Suppose -s = -4*p + o. Is p < 26?
True
Suppose -19*y + 0*y = -22431 + 22450. Is y > 3/362?
False
Suppose -3*a + 168 + 168 = -4*h, -5*h - 4*a = 451. Let t = 1297 + -1299. Which is greater: t or h?
t
Let w = 2 - 2.4. Suppose -5*l + n + 255 = -4*n, l - 35 = -3*n. Suppose -55*v + l*v = 0. Is w < v?
True
Let d be (0 - (-11)/55) + (-5289)/(-5). Which is greater: 3 or d?
d
Suppose -q + 2 = -i, -2*i - 16*q - 24 = -13*q. Which is smaller: -6/5 or i?
i
Suppose -5*y = -l - 25, 2*l - 30*y = -35*y + 25. Do l and 16/341 have different values?
True
Suppose -2*k - 4*m = -148, 5*k - 350 = m - 2. Let y be 10/35 - 41/k. Let w = -1/30 + y. Which is smaller: 0 or w?
w
Let w = 26488 + -26493. Is w not equal to 1/193?
True
Let z(y) = -2*y**2 - 6*y - 4. Suppose 3*o = 90 + 30. Suppose 25 - o = 5*i. Let t be z(i). Does t = -4?
True
Suppose 3*x - 9 = 0, 0*x - x = -3*a - 87. Let q be (-3)/48 - 4212/192. Let n = a - q. Is -6 >= n?
True
Let b = 1737/1004 + 5/251. Let a = -30 + 56. Let g = 26 - a. Is g at least b?
False
Let j(m) = 17*m**3 - 9*m**2 - 11*m - 1. Let p be j(-1). Is p <= -257?
False
Let s(k) = k**3 - 12*k**2 - 29*k + 19. Let n be s(14). Let i be 265/(-55) + n - (-1088)/(-5742). Let a = -10 + 9. Which is smaller: a or i?
a
Let v = 11/52 + 37/52. Let i(f) be the second derivative of f**4/12 - f**3 - 5*f**2/2 - 4*f. Let w be i(7). Are w and v non-equal?
True
Let c = 153.4 + -166. Let i = 16.4 - c. Is i <= 5?
False
Let n = 90876 + -90876.28. Let b = 32 + -23. Which is greater: n or b?
b
Let r = 6894 - 5065. Is 1831 > r?
True
Let r = 13393 - 13393.09. Does r = 23/9?
False
Let l be (-3 - -5) + 1/(3/960). Suppose 318*d - l*d - 8 = 0. Suppose 4*i - i + 9 = 2*x, x = 3. Which is greater: i or d?
i
Let z = 2.281 + -24.341. Let g = z + 25.398. Let r = -0.038 + g. Which is smaller: -2/9 or r?
-2/9
Let q = -33 + 29. Let g(f) = -f**2 - 7*f - 7. Let u be g(q). Suppose -u*i - 10 = -0*i. Do i and -0.14 have the same value?
False
Let h = 2 + -3. Let f = 124150 - 43328347/349. Do f and h have different values?
True
Suppose 0 = -19*t - 6941 - 47922 - 34057. Is -23403/5 at most as big as t?
True
Let l = -16/2637 + -101362/2637. Which is smaller: l or -38?
l
Suppose -d + 31 = -5*h, -4*h + 2*h - 13 = -d. Let q be (-4)/h - 3*(-70)/9. Let z = q + -9. Is -0.2 greater than z?
False
Let o = -905.39 - -813. Let v = 92 + o. Let b = v + 4.39. Do b and 2 have different values?
True
Let u = 0.1467 - -16.3933. Let x = -17 + u. Let d = x + -11.54. Is d >= 2/7?
False
Let a = -1.0303 + 544.0303. Which is smaller: a or -0.1?
-0.1
Suppose -2*n - c = 2*n - 197, 4*n + 5*c = 217. Suppose n*g = 40*g + 272. Suppose s = -q - g, 3*q + 84 = -s + 4*s. Is -31 bigger than q?
False
Let c be 2/((-55)/(-25) + -2). Let x be c/8 - (-12815)/(-220). Is -48 greater than x?
True
Let y be (-700941)/(-33300) + (-24)/80. Let f = y + 2/2775. Is f > 22?
False
Let y be 729575/(-42900) - 2/(-24). Is y at most as big as -17?
False
Suppose 219 + 165 = k. Let h be k/(-70) - 2/(-21)*3. Let s = h - -57/10. Which is smaller: -6 or s?
-6
Suppose 5*c = -5*f + 40, 0 = 5*f - 4*c - 13 - 0. Let s be f + 1046/(-174) + 1. Is 1 bigger than s?
True
Let p be (-3)/(-7) - 440/(-35). Suppose 0 = -11*z + p*z + 4. Are 0.48 and z unequal?
True
Suppose -4182*j = -4150*j - 2016. Let t(h) = -h**3 + 5*h**2 + 4*h + 4. Let m be t(-3). Does j = m?
False
Let g(y) = 11*y - 46 + 4*y**2 - 12*y**2 + 3*y + 7*y**2. Let m be g(9). Is 12/25 < m?
False
Let q(p) = -p**2 - 5*p + 7. Let m be q(-6). Let x be ((-1)/3)/(m/(-3)). Let u = -38207/1075 - -1530/43. Which is greater: x or u?
x
Let a = -145 + 149. Let w be a/(-32)*-12*20/6. Let h be 1/(-29) + w - 5. Is 1 < h?
False
Let j = -88 + 29. Suppose -f - 3 = h, -2*f - f = -h - 11. Suppose f*s + 3*t + 123 = 0, -2*t + 217 + 21 = -4*s. Are j and s nonequal?
True
Let l be (286/(-52))/((13/26)/(-1 - -2)). Suppose -20 = -4*n + 8*n. Do n and l have different values?
True
Let c = -2222.4 + 2220.4. Does c = -29/5?
False
Let j = -3227 - -3231.4. Is j at least as big as 9?
False
Let a be 2/3 - 2505/(-9). Let o = -279 + a. Which is smaller: o or 2/41?
o
Let j be (14/(-4) + -3)*(0 - 6). Let c = j + -39. Let s be -610*(-14)/1414 - (-1 + 7). Is s > c?
True
Suppose -4*z - 138 = -158. Suppose c = 4*o + 3, -3*o + 6*o + z*c + 8 = 0. Is o at least as big as -2/13?
False
Suppose w - 2*w - n + 15 = 0, 0 = w + 5*n - 7. Suppose 0 = 2*h - w*h - 45. Which is smaller: h or -15?
-15
Let r = 3786 + -3787. Which is greater: 1180 or r?
1180
Let t = 0.04 + -2.04. Let q = 1 + t. Let i be 513/15 - 21 - 14. Is i > q?
True
Suppose -3764 = -14*v + 8682. Let u = v - 966. Which is smaller: -0.2 or u?
u
Let n be (2 + 0)/(3 - (-1434)/(-474)). Suppose -4*k = 0, 4