*(2 - 1)). Which is smaller: j or 21?
j
Let o be (-1)/(0 + (-2)/54). Let f = o - 23. Suppose f*y - 53 = -41. Which is smaller: 4 or y?
y
Suppose 0 = -4*n - 5*m + 11, -3*n + 6 = 4*m - 2. Let c = n + 1. Let f(l) = -2*l**3 + 40*l**2 + 44*l - 35. Let s be f(21). Is s at most c?
False
Let f = -121 - -130. Suppose -8*t - 44 = -20. Is t greater than or equal to f?
False
Suppose q = 5*g - 38, -2*q = -g - 3*g + 58. Let s = q - -3. Which is greater: s or -18?
-18
Let b be (-17)/3 - (63 + 2590/(-42)). Let i be 2/(-66)*(-4)/(-2). Which is greater: i or b?
i
Let s be 121 - 134 - 6376/(-490). Is -0.1 > s?
False
Let w be ((-6)/10)/(65/(-325)). Let d be 100/(-10) - (-1)/(w - 4). Is d greater than or equal to -28?
True
Let m = -5198/3619 + 4/517. Is m bigger than 6?
False
Suppose -3*u = 3*r - 78, 125 = 10*r + u - 108. Which is greater: 303/13 or r?
303/13
Let q be -2 + -3 + 12 + -1. Suppose -8*l = -q - 2. Let h be 122/(-152) + (-27)/(-36). Is h equal to l?
False
Let a be 6/30*0 - 9/(-8 + -1). Let c be (-114)/(-45) - 2/6. Which is bigger: c or a?
c
Suppose -102 = -12*i + 9*i. Let f be i/(-8) - (-7)/28. Let a be (-2 + f/(-2))*7/(-14). Is a bigger than -2/47?
True
Suppose -13*m - 2*m + 4152 = 9*m. Is 174 != m?
True
Let f = 87 - -3493. Which is greater: 0.1 or f?
f
Let m = 1617523/5489 + -3241/11. Which is smaller: -1 or m?
-1
Let a = 380462003/567 - 671009. Is a >= 0?
False
Let o be 9/21 - 390/(-315). Let v = 83 + -101. Let w = -17.9 - v. Which is smaller: o or w?
w
Let n = -67 + 73. Suppose -2640 = 7*j + n. Is j bigger than 0?
False
Suppose 0 = -2*s - 0*o + o - 195, 2*s + 194 = 2*o. Suppose 2*v - 2*l + 317 = 125, -2*l = -5*v - 486. Let d = v - s. Which is smaller: d or 1?
d
Let b(g) = 8*g**2 + 4*g - 3. Let k be b(1). Suppose 4*f + k*l - 511 = 14*l, -3*f + 3*l = -381. Which is smaller: 125 or f?
f
Let i(r) = -2*r**3 - 28*r**2 - r - 12. Let b be i(-14). Suppose -2*f = -b*j + 18, -j + 5*f + 10 = -11. Which is greater: 41/7 or j?
j
Suppose m - 2*m + 3*k = -5, 4*m + k - 85 = 0. Suppose 0 = -d + 6*d - m. Suppose n - 16 = -3*w - w, d*w = -3*n + 16. Which is smaller: n or -9/8?
-9/8
Let g = -0.0136 + 300.0136. Let u = -304 + g. Which is bigger: u or -17/2?
u
Let u = -0.3 + 1.2. Let p be -3 - -5 - 2 - 1416. Let k be (p/(-180) + -8)/(4/5). Are u and k nonequal?
True
Let k = 0.266 - -107.734. Let o = -0.0568 - -108.0568. Let u = k - o. Which is smaller: u or 30?
u
Let a(j) = -3*j**2 + 6*j + 9. Let f be a(3). Suppose f*g + 2*g - 4 = 0. Let i be g*-3*(645/(-160) - -4). Is i > -0.1?
True
Let n = -94 + 120. Let a = n + -6. Suppose a = 3*v - 10. Is 10 at least as big as v?
True
Let t be (-10)/210*-3 - 9601/28. Let w = t - -127511/372. Suppose n + y + y - 7 = 0, -6 = -2*y. Which is greater: w or n?
n
Let h(n) be the second derivative of n**4/12 - 17*n**2/2 - 5*n. Let y be h(-5). Suppose y*a + 5 = 13*a. Which is smaller: a or -1?
-1
Let p(t) = t**3 + 6*t**2 + 2*t - 5. Let b be p(-4). Let x(y) = -208*y**3. Let n be x(-1). Suppose -13*h + 39 = -n. Does h = b?
True
Let w = -1 - 11. Let n(z) = z**2 + 15*z - 7. Let a be n(w). Let r = a + 53. Is r >= 11?
False
Let u be 4/16 + (-63)/156. Let t be -5 + 13 - 5 - (3 + -1). Are t and u nonequal?
True
Let t = -853255/16 + 53349. Which is smaller: 21 or t?
t
Suppose 3*l + 21*h = 18*h + 15, 2*l = 4*h - 14. Which is smaller: -10/41 or l?
-10/41
Let k be (3718/132 + -28)/(2/(-92)). Is -12 not equal to k?
True
Suppose 180 = -5*p - p. Let y be (p/(-18))/((-2)/(-6)). Suppose 3*f - 5*s = 13, -6 + 16 = -y*s. Which is greater: f or 3/4?
f
Suppose 0 = -3*l - 2*l + 3*u - 72, l = 2*u - 20. Let f be 424/16*4*2/l. Which is bigger: f or -17?
-17
Let j = -2.2 - 8.3. Let b = 5.7 - j. Let l = -16 + b. Which is bigger: l or 11?
11
Let t = -227 - -355. Let i = t - 128. Which is bigger: 1.62 or i?
1.62
Let t = 9833 + -8258. Is t at most 1575?
True
Let g = 45/2 - 22. Suppose -15*f = 360 - 600. Is g at least f?
False
Let q be (-984)/(-29)*352/704. Which is bigger: q or 1?
q
Let u = -39.8 + 32.8. Let i = 27 - 109/4. Which is smaller: u or i?
u
Let n = 43 + -39. Suppose 3*p - n - 14 = 0. Suppose -p + 22 = -4*h. Is -26/7 at least as big as h?
True
Let d = -3 + 3.1. Let a be 50 - (-12586)/(-248) - 2/8. Is d less than a?
False
Let w = 2093756/25 - 83726. Is w greater than or equal to 25?
False
Let n = -1574945/21 + 75023. Is 27 > n?
True
Let p be 1/3 + 194807/3. Let j = p - 1168357/18. Let d = j + -27. Which is bigger: -1 or d?
d
Let v = -181740/89 + 2042. Let l = -2472 + 2473. Is v at least l?
False
Let m = 0.95 - 1. Let w(g) = g**3 + 12*g**2 - 66*g - 33. Let v = 770 + -786. Let x be w(v). Is x greater than or equal to m?
False
Let s(k) = -8*k**2 + 28*k + 48. Let f be s(-2). Which is bigger: f or -197/5?
-197/5
Let c be 3 + 1611934/100*(-8)/42980. Let g = c + 6/875. Which is bigger: g or -1?
g
Let c be 16/(-1024)*-144*16/(-6). Which is smaller: 677 or c?
c
Let m = 101 - 77. Suppose 15*z + 51 + m = 0. Which is greater: z or -64/11?
z
Let l(n) = -210*n**3 + 4*n**2 - 39*n - 44. Let o be l(-1). Which is bigger: 185 or o?
o
Suppose v + u = -2*u - 2, 0 = 4*u - 20. Let d be (v - -2)/((-27)/(-18)). Let o = d + 22. Which is greater: o or 11?
o
Let p(s) = -608*s - 20596. Let l be p(-34). Suppose -186 = -5*q + 199. Which is smaller: l or q?
l
Let n = -976 + 2488. Suppose -3*i - n = -12*i. Is 167 < i?
True
Let t(a) = -2*a**3 - 19*a**2 - 8*a + 13. Let n be (-4 + 5)*-7*-1. Suppose 3*h + n = 5*s, -5*h = 2*s - 5*s + 33. Let y be t(h). Does y = 8?
False
Let c be (-4 + 1)/(3/(-14)). Suppose d - 13 = 27. Let l be (d/(-18))/(4/(-24)). Is c greater than l?
True
Let r = 6262.3 + -6252. Is -3/86 less than or equal to r?
True
Suppose 2*z + 26 - 144 = 0. Suppose -4*o + 426 = 190. Is z < o?
False
Let f(a) = -10*a + 180. Let d be f(18). Let x be (-2)/14*2*(d - 21). Is x less than or equal to -8?
False
Suppose 0 = i + 5, 2*o = -3*o + 2*i + 20. Let b(t) = -14*t + 54. Let g be b(4). Which is smaller: o or g?
g
Let g(p) = -p**3 - 14*p**2 - 35*p - 14. Let f be g(-11). Suppose f = 10*c - 2. Is -16/59 bigger than c?
False
Let s be 1*4/2 - 1. Suppose -q = -0 + 6. Let h be 372/(-1332) + (4/q - -1). Is s at least h?
True
Suppose 12802 + 3916 + 5042 = -85*l. Does l = -253?
False
Let m = -67 + 11. Let c = -41 - m. Let k = c + -14. Is 1.4 smaller than k?
False
Suppose -y = -5*o - 4, y + 13 = -5*o + 47. Let p be y/(38/8)*(2 + 2). Which is bigger: 4 or p?
p
Let d = 3385 - 3387. Is 323 at least d?
True
Let w = -1.13 - 38.87. Let v = w + 92. Is v not equal to 2?
True
Suppose 0 = 2*b - 3*b - 251. Let n = 255 + b. Is n not equal to 15/4?
True
Let l = -254.32 - -0.32. Let j = l - -253. Let z = 1.9 + -0.4. Is z bigger than j?
True
Let i be (-740)/(-1295) + (-17670)/30926. Which is smaller: 0 or i?
0
Let m(c) = 158*c - 1267. Let x be m(12). Is x != 628?
True
Suppose -3*j = 5 - 17. Suppose -j*x + 3*t + 240 = 0, t + 180 = -8*x + 11*x. Let f be (4 - 369/x) + 2/(-8). Which is smaller: f or -1?
f
Let k = -1957 + 1961. Let i be ((-32)/4)/2*-1. Let l be 5/(20/12) + i. Which is greater: k or l?
l
Let o be ((-253739)/(-29370) - 1/6)*(2 + -3). Is o smaller than -8?
True
Let m = -6034 + 5952. Is m at least as big as -62?
False
Suppose -3 = -10*w + 7. Let b(k) = 2*k + 18. Let q be b(-8). Suppose 0 = q*f + 1 + w. Is f bigger than 2/29?
False
Let i(k) = -109*k + 1. Let g be i(-5). Suppose -2605*j + 228900 = -2185*j. Which is smaller: j or g?
j
Let p = 47/17 + -3495/1258. Is p smaller than -5?
False
Let j = -30.69014 - 2.36766. Let v = j - -0.0578. Which is greater: -2 or v?
-2
Suppose 0 = 4188*w - 4116*w + 299592. Which is greater: w or -4163?
w
Suppose 1171 = -3*a - b, -1593 = -503*a + 507*a - 5*b. Is a != -401?
True
Suppose 0*k - 2*k + 336 = 2*q, 0 = -2*k + q + 321. Suppose 0 = 19*r + 1475 - 4591. Are k and r nonequal?
True
Let w = -52642 - -371208/7. Which is smaller: w or 387?
387
Let c(g) = 3*g**2 - 148*g + 592. Let p be c(49). Is p bigger than 545?
False
Let u = 11978 - 15135. Is u < -1/3?
True
Let o = -947298/107 + 8854. Is 0 at most o?
True
Let n = 22165 - 953106/43. Let p = 3 + -3. Which is greater: n or p?
p
Let s(d) = -163*d**2 + d. Let b be s(-1). Let p be ((1625/(-39))/25)/(1/99). Is b >= p?
True
Let k(j) = -3*j**2 - 13*j - 5. Suppose b + 25 = 21. Let m be k(b). Let p be (-336)/6*(m + 2). Is p < -55?
True
Let d =