11/(-1547). Let u = j - d. Is -1 bigger than u?
False
Let n = 9149 + -9075. Which is smaller: n or -41?
-41
Suppose 1 = -2*k + 9. Suppose -k*y - y = -20. Let h = -195 + 198. Which is smaller: y or h?
h
Let p(b) = b**3 - 2*b**2 + 1. Let n be p(2). Let k(o) = -8*o**3 + 6*o**2 - 12*o + 2. Let h be k(4). Let x be 3/(-9) - ((-890)/h)/(-5). Which is bigger: n or x?
n
Let i = -182 - -75. Let k = 108.6 + i. Let n = 7.4 - 5.4. Which is smaller: n or k?
k
Let z(t) = 345*t - 1379. Let q be z(4). Is 1/9113 smaller than q?
True
Let x be 2/1 - (-58)/4*4. Suppose 5*j - 25 = 0, 6*j = 5*g + 2*j + x. Let s be (-24)/(-32)*g/87. Which is smaller: s or 0?
s
Let g(k) = 768*k - 5471. Let o be g(7). Is o > -81?
False
Let m = 11501 - 13118. Is -1618 < m?
True
Let x = -310 + -363. Which is smaller: x or -675?
-675
Let g = -33.98 + -7344.02. Is 0 greater than or equal to g?
True
Let r = 221/17435 - 1466601529/331265. Let s = r - -4426. Is -2 less than or equal to s?
True
Let w(o) = -o**2 - 10*o + 2. Let u be w(-11). Let t(x) = -x**2 + 10*x + 8 + 5*x + 2*x - 2*x. Let l be t(16). Is u at least l?
False
Let v be (-14042)/333 - 248/(-1116). Is v smaller than -42?
False
Let b = 175 + -190. Let f be ((-771)/b - 1) + 12/20. Which is smaller: 52 or f?
f
Let c be -293 + -2 + (-18)/9. Let s be (-2 - 3013/(-1386)) + 54/c. Are s and 1/2 nonequal?
True
Let k = -38/1799 + -2464516/5397. Which is greater: k or -458?
k
Let z = 43 - -7. Suppose -z*d - 640 = -58*d. Which is bigger: 81 or d?
81
Let r(y) be the third derivative of y**5/60 - y**3/2 + 10*y**2 + 6. Let l be r(-2). Which is smaller: l or -54?
-54
Suppose 0 = 3*s + m - 5, -m = 5*s - 4 - 7. Suppose -5*l + 4 = -s*l. Is l equal to 4?
False
Let q = -1610731/184 - -8754. Which is smaller: 0 or q?
0
Suppose -4*f - 31553 = 3*j, 3*f + 203*j - 201*j + 23665 = 0. Which is bigger: -7892 or f?
f
Let t = -10984.1 + 11681. Let c = 727 - t. Let o = -30 + c. Which is smaller: 5.5 or o?
o
Let g(t) = 7*t**2 + 16*t - 31. Let u be g(2). Suppose 0*y - 3*y + s - u = 0, -4*s = -20. Is -65/7 smaller than y?
True
Let c = 72 + -71. Let x = -10.683 + -0.317. Which is smaller: c or x?
x
Let j be (-40)/100*(-20)/12. Which is smaller: 1075 or j?
j
Let x = 6781 + -6777. Is x at least 3.653?
True
Suppose 4*j + 4*u - 62 - 38 = 0, u + 4 = 0. Let n be 14/(-5)*(-2)/((-20)/(-75)). Let i = n - j. Is i at most as big as -13?
False
Let h = -8456/13 - -33837/52. Which is bigger: h or -170.1?
h
Let s be -2 - (-269 + 2 + 0). Let v = 400 - s. Let f = 221 - v. Which is smaller: f or 87?
f
Suppose -1186*i + 1292*i - 3498 = 0. Let y = 10389 + -72491/7. Do y and i have different values?
True
Suppose l - 5*s - 13 = 0, -5*s = 4*l + 1 - 3. Let d be (536/12)/(1/l). Is -0.1 greater than or equal to d?
False
Suppose -130*n = -128*n + 2. Is -2824 less than or equal to n?
True
Suppose -h - 2*v = 36 - 44, 0 = 4*h + 3*v - 62. Which is smaller: h or 34?
h
Let r = 1.55 - 1.1. Let a = -0.5 + r. Let l = 6953 + -20857/3. Which is greater: a or l?
l
Let z = -118728 + 2967788/25. Which is greater: z or -15?
-15
Let w = 20990/3 + -7251. Let i = w - -252. Let r(m) = -2*m**2 - 6281*m - 6281. Let o be r(-1). Do i and o have the same value?
False
Let x = -87 + -1143. Is x < -1230?
False
Suppose -i - 5 = 4*i. Let h be (-3)/(-24 + 6)*(-44920)/1870 + 4. Which is smaller: h or i?
i
Let k(u) = -u - 2. Let m be k(-1). Let b be (3 + -4 - -2)*m. Let z be b/1 - 23 - (24 - 26). Which is bigger: z or -2?
-2
Suppose -10*i - g = -6*i + 64, 5*g = 20. Let b(w) = -w + 29. Let x be b(i). Do 42 and x have the same value?
False
Let f(l) be the first derivative of -l**3/3 + 7*l**2/2 + 29*l + 1. Let j be f(10). Let d be j/(-2)*-4 - (-608)/300. Is -1 at most d?
True
Let f = 48 + -38. Suppose f*m - 22 + 62 = 0. Which is greater: -12 or m?
m
Let d = -94/5 + 102/5. Which is greater: d or 347?
347
Let v = -211 - -118. Let n(u) = u**2 - 50*u - 1587. Let h be n(-22). Are v and h unequal?
True
Let f be -7 + 1 + 1/1. Let j be (-36)/15*1*f. Suppose -i + 20 = 2*c, 22 = 4*c + 10. Are j and i equal?
False
Let v = 81 + -183. Let c(f) = -88*f - 3183. Let r be c(-35). Is r < v?
True
Let k = -28178 - -28177. Which is bigger: 8/11555 or k?
8/11555
Let g be (-19669)/50285 - (-4)/10. Which is smaller: 8 or g?
g
Let u = -33.78 + -182.22. Is -0.1 bigger than u?
True
Let w = -14036 + 14131.77. Let b = w + 26.38. Let u = b - 122. Is u != -1?
True
Let c be (244229/849)/((-1)/3*1). Is c < -865?
False
Let u = -3011 - -3012. Which is greater: -1/2247 or u?
u
Suppose -3*x + 60 = -4*m, 4*x - 16 - 14 = 2*m. Let d be -33*((-8)/(-9))/((-10)/m). Let o = d + 45. Which is bigger: 2/3 or o?
o
Let g = -836431/268 + 3121. Let s = g + -37/20636. Which is smaller: s or 0?
s
Suppose -g + 4*g + 6*a = -72, 101 = -4*g - 3*a. Suppose 8*c - 96 = 12*c. Does g = c?
False
Let u = -21313/381 + 27/254. Are -56 and u equal?
False
Let f be ((-2)/(-8))/(16/192). Let i be 1 - (2 - (f - 2)). Which is bigger: 5/49 or i?
5/49
Let d = -13.954 - -14.954. Which is bigger: 123 or d?
123
Suppose -3*d + 58 = y, 4*d + 0*d - 64 = 2*y. Let z = -187 + 177. Let b(m) = 6*m + 61. Let i be b(z). Are i and d nonequal?
True
Let h = -229.175 + 229. Let b = h + 0.075. Which is smaller: b or 2/19?
b
Let u = -177 + 192.6. Let r = u + -10.6. Are 0.1 and r unequal?
True
Let l be 34*(3 - (-1 + 0)). Suppose 0 = -23*m + 21*m + 552. Suppose l + m = 4*s. Is 102 less than s?
True
Let v = 47 + -152. Let c = 108 + v. Is 1/5 greater than c?
False
Let p(o) = -o**3 - 27*o**2 - 25*o - 33. Let x be p(-26). Let w = -54 - x. Suppose j = 21 - w. Which is smaller: -1 or j?
-1
Let n = 125 - 248. Let z = 122.6 + n. Which is smaller: z or 0?
z
Let c be 3 + -1 + 1440/(-8). Let w be (-11133)/63 + -1 + 20/28. Which is bigger: c or w?
w
Let i = -655 - 98. Which is greater: i or -2/5?
-2/5
Let p = -30 - -33. Let q = 107581/15 + -7169. Let g = q - p. Which is smaller: g or -2?
-2
Let l = 516 + -523. Let i(m) = 10 + 7*m**2 + m**3 - 3*m**3 + m + 3*m**3. Let s be i(l). Which is bigger: 3/4 or s?
s
Let s = -2023 + 2347. Is s less than or equal to 319?
False
Let s(x) = 2*x**3 - 3*x + 2. Let g be s(2). Let d = -106 + 92. Let w be (-24)/d*16/g. Does w = 2?
False
Let n = 3043 - 3043.1. Do -1007 and n have the same value?
False
Let d = -17237965/364 - -47357. Which is bigger: 3/4 or d?
3/4
Let k = 227 - 604. Which is smaller: -382 or k?
-382
Let d = 1470 - 4411/3. Which is smaller: -652 or d?
-652
Suppose -4*a = -17*a + 4329. Let w = 334 - a. Which is smaller: w or 2/79?
2/79
Let p be (-65064)/130176 + (4/(-6))/((-8)/6). Which is smaller: -1 or p?
-1
Let z = -17 - -28. Suppose 0 = 10*a - 4949 + 4919. Which is greater: a or z?
z
Suppose -15398*o + 808529 = -15355*o. Do o and 18803 have the same value?
True
Let a = 0 - 0.44. Let g = a + 0.94. Let c = -6.3 + 6.3. Which is smaller: c or g?
c
Let d = 88.93 + -89. Let q = 0.2455 + -0.4455. Is q at most d?
True
Let x = 19405/62 + -313. Suppose a + 4 = 0, 0*a + 2*a + 31 = i. Suppose -9*d + 32 = i. Is x smaller than d?
True
Suppose -66*o = -64*o + 252588. Let c be o/420 + (-3)/10. Is c greater than -301?
False
Let b = 576 + -596. Suppose 4*f = -3*j - 64, -3*j + 4*j + 24 = -2*f. Is b at least as big as j?
False
Let r be -1*(0 + 1)*4500/913125. Which is smaller: 0 or r?
r
Suppose -5*k = -4*w - 35, -9*w + 19*w - 4*k + 28 = 0. Let z be (-3)/(-1)*(-5)/69. Which is smaller: w or z?
z
Let m = 1495.02 - 1482. Let i = -13 + m. Let v = -716.2 + 716.3. Which is greater: i or v?
v
Let j = -8.636 + 26.808. Let w = j - 0.172. Which is smaller: w or 0.07?
0.07
Let q(o) = 18*o + 68. Let a be q(-8). Let t be (-1546)/8 - (-57)/a. Does t = -193?
False
Let z be ((-18)/(-3))/(-1) + 406/(-28) + 15. Is 17 at least z?
True
Suppose 107 = 11*q + 2439. Let v = q + 213. Is 1/63 at least as big as v?
False
Let p be ((-748)/153)/(-4)*(1 - 0). Let y(h) = -h**3 - 7*h**2 + h + 9. Let o(c) = 2*c - 1. Let v be o(-3). Let b be y(v). Which is greater: p or b?
b
Suppose -18*p = 58299 + 10875. Is -3843 at most as big as p?
True
Suppose -11*a + 25 = -6*a, -2*k - 2*a + 22 = 0. Let w(s) = s**2 - 3*s + 6. Let x be w(k). Suppose -4*u + x = -4*j, -1 - 3 = u - 3*j. Which is greater: u or 10?
u
Let k = -430 + 432. Suppose -4*g - 262 = k*m, -3*m = -5*m - 2*g - 260. Which is greater: m or 2/3?
2/3
Let u = -476302 + 3339648/7. Let l 