et u(b) = 3*b**2 - 2*b + 1. Let i be u(k). Is i >= -13?
True
Let a be (-38)/(-6) - 6/(-9). Let c(w) = -w**2 + 10*w - 9. Let m be c(a). Which is bigger: 13 or m?
13
Suppose 5*i - 20 = 0, 3*d = -i + 4*i. Which is bigger: -1/5 or d?
d
Let a be (-13 + -107)/(-12) + 1874. Which is greater: a or 1?
a
Let b(x) = -x**3 - 5*x**2 - 2*x - 2. Let k(u) = -u**3 + 8*u**2 - 8*u + 3. Let a be k(7). Let i be b(a). Are i and -11 unequal?
True
Let y(j) = -j**3 - 14*j**2 - 16*j + 28. Let l be y(-13). Suppose 430 = -62*z + l*z. Is 87 < z?
False
Suppose 3*v - 8 = 4. Suppose -v*w + 5 = -11. Suppose 2*y + 5*u - 13 = -y, -4*y - w*u = -12. Is -1/23 equal to y?
False
Let o = 28801 - 174259/6. Let p = -140 + -103. Let x = p - o. Which is bigger: x or 0?
0
Let z = 1027 - 3071/3. Which is smaller: z or -1/5?
-1/5
Let q be 123*(-268)/(-105) + -3. Let t = q + -311. Is 0 < t?
False
Let m be 4156/(-18) - ((-276)/(-54) + -5). Is -231 bigger than m?
False
Let j = 85.47 - 0.47. Let w = 81 - j. Which is bigger: 6 or w?
6
Suppose -127 = -5*m + 23. Let v = m - 34. Let c(h) = -h**3 - 2*h**2 + 7*h - 4. Let s be c(v). Which is greater: s or -1/28?
s
Let v(d) = d - 3. Let l be v(2). Let q be ((-46)/12 - l) + 2. Which is greater: q or -2?
q
Let t = 8.8 + -5.8. Let q be (-14)/35 - 32/(-5). Suppose -16 = 4*p + m - q*m, -4*p + 8 = m. Is t at most p?
False
Let h = -7592126/515 - -14742. Are 1 and h equal?
False
Let r(c) = 2*c**2 + 23*c - 36. Let j be r(-15). Is j > 70?
False
Let p = 188 - 185. Suppose -2*r = -0*r + 3*q, 5*q + 19 = 3*r. Does p = r?
True
Let o be -1*2/((-4)/(-6)). Let m be 1*((-3)/6)/(3/12). Is m greater than or equal to o?
True
Suppose 53 + 2 = y. Let z = y + -54. Is z greater than or equal to -1/54?
True
Let m = -205 - -611/3. Which is bigger: m or -1?
-1
Let v be 287/140*(1 - 5). Which is greater: -9 or v?
v
Suppose -5*h + 5*n - 20 = 0, 4*n = -5*h + 7*n - 10. Are -57 and h unequal?
True
Let x = 377 + -295. Which is greater: 84 or x?
84
Suppose -v + 2*v + 5*u + 8 = 0, 2 = -v - 2*u. Let t(d) = 17*d**2 - 10*d**v + d - 6*d + d**3 + 19. Let b be t(-8). Which is smaller: -23/5 or b?
b
Let z = 18350 + -91321/5. Is 87 greater than or equal to z?
True
Let b = -5 - -6. Let h = -1 + b. Let j be 6/(-20)*16/(-12). Is j equal to h?
False
Let s(b) = 2*b**3 - 15*b - 6. Let k be s(4). Which is bigger: 0 or k?
k
Let r = -1810.9788 + 1811. Is r at least 0?
True
Let u = -1677 - -1678. Let p be (-1)/(-4) + (-37)/180. Which is greater: u or p?
u
Let u(m) = -m - 3. Let r be u(3). Let n(l) = l + 9. Let o be n(-3). Let f be (r/4)/(o/(-12)). Which is greater: f or 4?
4
Let k be (5 - 5)/(3 - (2 - 1)). Let o = -0.19 - 1.01. Which is greater: k or o?
k
Let k = 46 + -47. Let o = 74 + -48. Let m = -25.78 + o. Which is smaller: m or k?
k
Let c = -43/658 - 2/329. Let k(y) = -y**2 + 5*y - 1. Let s be k(5). Is c at least as big as s?
True
Let w = 0.51 + -0.51. Let k be (-8)/174*(-3)/2. Which is bigger: k or w?
k
Let c = 1121 + -1116. Which is smaller: c or 7.2?
c
Suppose 0 = -2*p + 5*a, -3*p = 6*a - 4*a. Which is smaller: -3/80 or p?
-3/80
Let q be (-21)/(-135) + (-200)/(-450). Let t = -87 + 955/11. Which is smaller: q or t?
t
Let l = -20 + 19. Let d be 12/34*4/8. Which is bigger: d or l?
d
Let c(b) = 38 - 4*b + 47 - 77 + b**2. Let k be c(6). Are 22 and k equal?
False
Suppose -2*l - 189 = -2*c + 35, 3*c - 333 = 2*l. Let s = 102 - c. Which is bigger: -2 or s?
-2
Let v = 341/1017 - 2/1017. Let s = 0.42 + -0.5. Is v less than or equal to s?
False
Let w be 2*(-3)/27 + (-27914)/1071. Which is smaller: w or -27?
-27
Suppose 2*b = 3*o - 7*o + 22, 0 = 2*o - 3*b + 1. Suppose -295 = o*u - 111. Which is bigger: -2/3 or u?
-2/3
Let n = 7.11 + -6.6. Let z = 32 - 31.69. Let b = n - z. Is -2/31 equal to b?
False
Suppose 8*m - 1672 = -144*m. Let n be 14/10 - (-2)/(-5). Which is greater: n or m?
m
Suppose 486 = -3*w - 3*p, 3*w + 494 = -0*p - p. Which is greater: w or -164?
-164
Let b = 107 - 80. Is b greater than 24?
True
Let a(l) = l**2 + 16*l + 17. Let r be a(-15). Suppose -4*y + r = -6*y. Are 2/7 and y unequal?
True
Let q = -58/63 + 17/18. Are -1 and q equal?
False
Let q be (1/40)/((14 + -24)/(-20)). Which is greater: q or -1?
q
Let n = 1.518 + -1.618. Do 2/717 and n have the same value?
False
Let l = 1048275/6092086 + 1/158236. Let y = l + 5/44. Which is smaller: y or 5?
y
Let m(x) = x**2 - 6. Let c be m(3). Suppose 9*q = -c*q - 192. Let p be (1/2)/((-6)/8). Is q > p?
False
Suppose -1716 = -2*p - 562. Suppose -8 = -d - 3*d, 0 = 3*z + 4*d + p. Let b be (-6)/28*52/z. Is b > -1?
True
Let v be 2/3 + -23 + 22. Which is smaller: -242 or v?
-242
Let z(f) = -f**2 + 2*f - 1. Let g be z(2). Let s be 1 - (g/(-7) - -1). Is s less than or equal to 2/9?
True
Suppose 3 = 4*s + j - 9, -5*s = -2*j - 2. Suppose -s*h = w - h + 2, -4*h = 5*w + 6. Suppose w = 5*t + 2*o - 5, 3*t + o = 4. Is -1/6 less than or equal to t?
True
Let s = -1 - 1. Let p be 1*0*s/(-10). Suppose -5*w = -p*w - 90. Does w = 18?
True
Let p be (-18)/4*(-8)/(-12). Let t(v) = v**3 + 5*v**2 + 4*v + 2. Let d be t(p). Let l be 14/14*4/(-10). Which is smaller: l or d?
l
Suppose -3*s - 13 = -25. Let q be s/(-6) - 44/132. Does -2/97 = q?
False
Let x = -71.5 + 59. Let q = -4.5 - x. Which is greater: q or 0.1?
q
Suppose -2*l + 119 = -5. Suppose -4*m = -8, -3*m = -5*r + m + l. Is 14 at most r?
True
Let s = 21382/1027 + -270/13. Which is smaller: s or 1?
s
Let a(m) = m**3 + 5*m**2 - 6*m - 34. Let v be a(-5). Which is greater: v or -10/3?
-10/3
Let o = -1341 + 223946/167. Which is bigger: 0 or o?
0
Let p be 3 + -15*(-12)/4. Let x be -2*6*1*12/p. Which is smaller: x or 1?
x
Suppose l = 1 - 2. Suppose 4*g = q - 17, q + 17 = -3*g - 1. Let i be 4/(-1) + (q - -6). Is l less than i?
False
Suppose -4*f = f - 145. Let j = 24 - f. Which is smaller: j or -7?
-7
Let n(q) = -q**3 + 17*q**2 - 7*q + 14. Let t be n(15). Let h = 231 - t. Let a = -1154/9 - h. Which is smaller: -1 or a?
-1
Let b(o) = o**2 + 20*o + 51. Let i be b(-17). Let u(t) = t**3 + 10*t**2 - 11*t + 1. Let y be u(-11). Is i at least y?
False
Let v be 2/2 + (-38)/26. Let q = -57 - -256. Let m = q - 199.1. Which is smaller: m or v?
v
Suppose 5*w = 3*d + 34, 4*d = 3*w - d - 14. Let a be (1/(-22))/(3895/780 + -5). Is w at most as big as a?
False
Let w be 57/2*8/42. Let z be (-181)/(-35) + (-22)/(-55). Let n = w - z. Which is smaller: 0 or n?
n
Let l(y) = y**2 + 7*y - 22*y - 2*y - 3. Let f be l(18). Suppose 0 = 2*m + 5*i - 20, -2*i - 3 = 1. Is f greater than m?
False
Let w be 140/(-23) - (20 + -26). Suppose 2 = 2*u + p, 4*p - 3*p - 2 = -3*u. Is u at least w?
True
Let h = 538.084 + -538. Is h < 2/5?
True
Let q = 4 - 2. Suppose 5*r = 4*m + 2 + 7, 4*r + q*m = 28. Suppose -4 = -u + r*u. Do u and -1/9 have different values?
True
Let m be (-2 - -4)*(-22)/(-198)*-6. Let f be 0/((-1 - 0)/1). Is m not equal to f?
True
Let m be ((-85724)/60 - 5)*3/(-326). Let b = m + 1/163. Which is smaller: 13 or b?
13
Let d = -0.147 - -14.247. Let j = -0.27 - 13.73. Let b = d + j. Which is smaller: b or 2?
b
Suppose -4*j = j - 15. Suppose 18 = j*f - 5*f. Suppose 2*y = -20 - 0. Are y and f non-equal?
True
Let c = 582881 - 44882694/77. Let b be (114/56)/(15/80). Let g = c + b. Is g bigger than 0?
False
Let z = 166 - 476. Is -309 at most as big as z?
False
Suppose -2*z - u + 3 = 0, 2*z + 5*u - 2 = -3. Suppose q = -w, -4*q = -z*w + q - 7. Is 1/39 less than or equal to w?
False
Suppose -324 = -2*r - 874. Let d be 2 + (-1 - (-265)/r). Is 0 greater than or equal to d?
False
Suppose 9*c + 8 = -298. Which is smaller: -31 or c?
c
Let k = 2272 - 386239/170. Is 0 at most k?
True
Let c = 5 - 15. Let t = -0.389 + -2.611. Which is smaller: t or c?
c
Suppose -l - h = 4*l + 260, -5*l = -5*h + 260. Let b = l + 54. Which is smaller: 4 or b?
b
Let s(q) = 2*q**2 - 3*q + 3. Let x be s(3). Let b = -13 + x. Let p be 3 + (136/(-20) - b). Is p at most -3?
False
Let r = 2.59 + -2.4. Let s = -7.539 - -7.439. Is r smaller than s?
False
Let w be 4/(-6)*9/6. Let l be ((-26)/65)/(7/5). Which is bigger: w or l?
l
Let r = -2/5969 - -1408690/17907. Do 79 and r have the same value?
False
Let i = -40818959/4004 + 132506/13. Let q = -2980/120659 + -2/1567. Let v = q - i. Which is smaller: 1 or v?
1
Suppose -8*p - 38 + 94 = 0. Suppose -36 = 10*n - p*n. Is -12 > n?
False
Let t(g) = g**3 - 5*g + 6.