x) = x**2 - x + 28. Let r be u(0). Let c be ((-952)/(-96) - 8)/(1/r). Which is bigger: c or 55?
55
Let d(z) = 108*z - 2824. Let w be d(-14). Are -4335 and w non-equal?
True
Let l = 31.3068 + -0.0068. Let n = l - 31.34. Which is greater: n or -5?
n
Suppose -2*c + 5*t + 0*t = 5, 3*c = 5*t. Suppose 5*n - 24 = -4. Suppose -n*q - 2 = 2. Which is smaller: q or c?
q
Suppose -24000 = 275*i - 315*i. Is i < -0.1?
False
Let y = 32685 - 33213. Is y less than 20?
True
Suppose -k = 6 + 8. Let x be 1320/35 - 0 - 4/k. Let h = -53 + x. Which is greater: -16 or h?
h
Let l be (-4 + -2)/((-549)/(-24)). Let p = 2945 - 2946. Which is smaller: l or p?
p
Let g = -551 + 887. Suppose 129 = -2*b - 5*u, u - g = b + 4*b. Suppose 18*w = 25*w + 462. Which is smaller: b or w?
b
Suppose -5*q = -5, q = 4*g - 2*q - 37. Suppose 0 = 2*c + h - g - 3, -2*h = -4*c + 30. Are 9 and c unequal?
True
Let k = -1409 + 1408. Let z(i) = -2*i + 6. Let o be z(6). Let c be o/15 - 26/(-5). Which is smaller: c or k?
k
Let g = -455 - -590. Let q = g + -153. Which is smaller: q or -10?
q
Let i = -19578 + 19579. Suppose 3*u + t = -9, -3*u + 2*t + 3 = -t. Let v be u/(-8) - 22/(-104). Which is smaller: v or i?
v
Let q = 2730 - 2722. Let a(f) = -f + 4. Let r be a(-5). Which is smaller: q or r?
q
Suppose 0 = -30*h + 19*h - 121. Let f = -18 + 14. Let s = h - f. Which is smaller: -13/2 or s?
s
Let d(g) = -346*g + 2424. Let a be d(7). Which is bigger: a or 1?
a
Suppose 15 = 3*n - 2*y, -91*n + 87*n = 4*y + 20. Let x be 4/7*(-18)/40. Is x bigger than n?
False
Suppose 36*x - 36 = 36. Let u be (-1)/x*(-14)/(-784). Suppose -5*f + 7 = 2. Which is bigger: f or u?
f
Let g = 257 + -252. Suppose 3*d = d - g*d. Which is smaller: 107 or d?
d
Let m = -77 - -39. Let i = -39.4 - -3. Let b = m - i. Which is bigger: 2 or b?
2
Let b = -416803558219/760 - -548425852. Let w = -15/152 - b. Which is smaller: -117 or w?
w
Let k = 55 + -271/5. Let g be ((-1)/(-5))/((-3)/(-45)). Is k at most g?
True
Let y = 10 - -2. Let t be y/(-42) - (-5)/(-7). Suppose 109*i - 17*i = -368. Which is bigger: i or t?
t
Let f be 14/2 - 11/(61424/39100). Which is smaller: f or 0?
f
Let n = -7065 - -2098303/297. Let u = n - 32/3267. Suppose 6*i - 111 = -105. Is i at most u?
False
Let u be ((-9)/(-1))/3 + -388. Let f = -13289 - -12905. Which is smaller: u or f?
u
Let b be 6192/(-483) + 9 - -4. Are 1 and b nonequal?
True
Suppose 0 = -w + 5*y + 67, 2*y = -3*w - 3*y + 201. Let a be ((-3)/(-3))/((7/30)/(-7)). Let o = w + a. Does o = 37?
True
Let a be 1/2*(32 + -8). Suppose -24*r + 12*r + a = 0. Is -2/1607 at least as big as r?
False
Let f = -2368/9 + 263. Suppose 17 = 4*r + 3*o, 0 = 2*o - o + 1. Suppose 4*u = r*v - 29, u - 5*v = 15 - 41. Is f bigger than u?
True
Let y(m) = 2*m + 11. Let z be y(-6). Let v be ((-1425)/(-60))/(1/4). Let w be (-21)/v + (-3)/(-15). Is w greater than or equal to z?
True
Suppose 33*q + 460 + 1404 = -215. Is q greater than or equal to -100?
True
Let b = -96/95 + 193/285. Let a(q) = 2*q**3 - 28*q**2 + 18*q + 17. Let m be a(13). Does b = m?
False
Let j = -7089 - -8104. Is 1015 smaller than j?
False
Let o be (107312/24)/19*3/(-2). Let s = -356 - o. Which is smaller: s or -41/11?
-41/11
Let p(n) = -n**3 + 2*n**2 - 3*n + 2. Let t be p(1). Suppose 0 = -w + 3*v + 8, 0 = 73*w - 69*w - 5*v - 18. Is w equal to t?
False
Suppose -40 = -198*y + 206*y. Is -74 greater than or equal to y?
False
Let c(a) = a**3 + 13*a**2 + 41*a + 156. Let k be c(-5). Which is smaller: 140 or k?
140
Let z = 1.89 + 3.41. Let j = z + -4.6. Let x be 1 - 2/(1 - 2). Is j != x?
True
Let b be 18/69 + 66154/(-23). Is -2876 <= b?
True
Suppose 2*s + 2 = -5*t, -4*s - 945 = -961. Is t less than -49/16?
False
Let d = -13.72 + 7.59. Let y = d + 16.13. Is y greater than -1.1?
True
Let s be (5/10)/(3/(-120)*-5). Suppose -t = 4*g - 2*g + 14, s*t + g = -56. Which is smaller: -8 or t?
t
Suppose -2*b + 2*f = 0, 0 = -b - b - 5*f + 35. Let m be 8/(-8)*b + (-5)/(-1). Let y(p) = p**3 + 4*p**2 - 5*p - 6. Let c be y(-5). Which is bigger: c or m?
m
Suppose -4*p = 2*x + 32, 3*x + p + 2*p = -63. Is x <= -124/5?
True
Suppose 246912 = 108*v - 12*v. Which is bigger: v or 2571?
v
Let y = 37/5 - 422/55. Which is greater: -0.117 or y?
-0.117
Let b be (-702)/72*((-16)/10)/(2/40). Are 315 and b unequal?
True
Let b(j) = -129*j - 512. Let t be b(-4). Let w = 4/567 + 13588/2835. Which is bigger: w or t?
w
Let p be (2 - 2)/2 - -23. Let l = p + -33. Let t be (2/l)/(-6 + 11). Which is bigger: -2/3 or t?
t
Let v = 55646168/2689 - 20694. Which is smaller: v or 1?
v
Let c = 6.96 + -7. Let y = -253 + 251.46. Let g = c - y. Is 1 bigger than g?
False
Let o = 19.773 + -4.273. Which is smaller: 20 or o?
o
Suppose -46*l - 8*l - 34542 = 117*l. Which is bigger: l or -173?
-173
Let j(g) = -2*g**2 + 24*g + 399. Let t be j(56). Is -4529 bigger than t?
False
Let p(f) = 9*f**2 + 4*f - 4. Let i(h) = -11*h**2 - 3*h + 3. Let o(x) = -4*i(x) - 5*p(x). Let c be o(-9). Which is greater: -31 or c?
c
Suppose -5*h + n = -714 - 901, -2*h - 5*n + 646 = 0. Let d = -357 + h. Which is greater: -35 or d?
d
Let u = -99 - -37.61. Is u greater than 0.1?
False
Let g = 10951 - 8237. Is g not equal to 2714?
False
Let v be (-3)/24 + (-24660)/96. Let k = 373/2 + v. Is -71 at least k?
False
Let j be (2*(-2)/(-6))/(16/120). Let c be (-4747)/282 + j/3. Is -15 at most c?
False
Let j = -14185 + 3092337/218. Is -1 bigger than j?
False
Let o = -16215 - -16210. Do -43/9 and o have different values?
True
Suppose -4*g + 35 = -1. Suppose -g*p + 3*p = -24. Suppose 38 = p*d + 134. Is -26 < d?
True
Suppose 140 = 31*f - 21*f. Suppose 22*m - f = 8. Which is greater: m or 9/23?
m
Let j = -447 + 32185/72. Let w(a) = 754*a - 4523. Let p be w(6). Which is smaller: j or p?
j
Let v = -233.6 - -174. Let b = -60 - v. Which is smaller: -0.18 or b?
b
Let a be -3*6/(-63) + (-89)/(-7). Suppose 0 = -6*s + 2*s. Let j be s + 0 + -3 + 18. Is a less than j?
True
Let i be (1 - (-22)/(-4)) + (-36)/216. Suppose 0 = -4*v + 3*t + 9, -3*v + 2*t = -4*v + 5. Suppose o + v*o = 0. Which is bigger: o or i?
o
Let y = -62310188/1113 - -55984. Is 0 <= y?
True
Let h = -13397407/1059 - -12651. Do h and -1 have different values?
True
Let x = 2119 - 2117.3. Let k = -24.3 - -26. Let n = k - x. Is -0.2 equal to n?
False
Let t(p) = p**3 + 5*p**2 + 3*p - 3. Let y be t(-2). Let r be 1/88*(y + -28). Let u = r + 4047/616. Which is greater: u or 7?
7
Suppose 0 = -r - 2*n + 546, 5*r - 6*n - 3809 = -951. Which is smaller: 554 or r?
554
Let l = 263.6 - 739.6. Which is greater: -5 or l?
-5
Let l(a) be the first derivative of -a**4/4 + 14*a**3/3 + 7*a**2 - a - 27. Let f be l(15). Let y be (-2 - 36/f)*(-4)/2. Which is smaller: -6/11 or y?
-6/11
Suppose 4*o - 88 = w, 153*w = 157*w + 16. Is o bigger than -0.115?
True
Let o = -289 + 303. Suppose 0*r = 7*r + o. Which is greater: 0.9 or r?
0.9
Let i = 113 + -106. Suppose -4 = 3*l - i. Which is smaller: 2/37 or l?
2/37
Let p be (-3179)/(-77) - (-2)/(-7). Let j be (-26)/52 - p/(-2). Suppose 2 = 5*a + 2*w, 4*w + j = 3*a - a. Which is bigger: a or 0?
a
Suppose 4*n + 5 = 13. Suppose 3*k = n*v + 70, 8*k - 122 = 3*k + 2*v. Let z = -151 - -175. Which is smaller: z or k?
z
Let o = 1853 + -1852. Is 21 at least o?
True
Suppose -l - 3*l = -2*t + 378, 3 = t. Let j = -50 - l. Which is greater: 42 or j?
j
Let g = -142 + 153. Let i(c) be the third derivative of c**4/6 - 23*c**3/6 + 15*c**2. Let o be i(g). Which is greater: o or 19?
o
Let i = 429 + -267. Let o = 144 - i. Is o < -0.12?
True
Let o(n) = n**2 - 404*n - 1631. Let q be o(-4). Which is smaller: q or -11/130?
-11/130
Let o(l) = 31*l - 84. Let x be o(3). Let z be ((-1)/x)/((-4)/(-1146)) + -2. Is -34 less than or equal to z?
True
Suppose -4*f - 3*m = -64, -5*f - m + 108 = 39. Suppose -3*c + f = -2. Let l be (-2)/(-1)*c/10. Is 1 <= l?
True
Let b be 2/3 - 115388/(-78). Let g = b - 31046/21. Which is smaller: 2/3 or g?
2/3
Let b be (-5)/(((-110)/(-33))/(-10)). Which is bigger: 46 or b?
46
Let s = -11.32 + 0.22. Let n = s - -10.1. Which is bigger: 233 or n?
233
Let c = -0.056 - 23.944. Let p = 26 + c. Let f = -0.31 + -10.69. Is f at most as big as p?
True
Let k = -166 + 150.4. Let h = 16.8 + k. Which is smaller: -2/25 or h?
-2/25
Let t be (-21382)/(-32)*((-594)/(-120) + -5). Let a = -167/5 - t. Is 1 > a?
True
Let x = 447 + -