 be c(8). Is m less than 4033?
False
Suppose 29*s - 1116 = 60*s. Which is smaller: s or -19?
s
Suppose 27600 = 23*f - 19550. Let w = 1419 - f. Which is bigger: w or -630?
-630
Let j(d) = 2*d**2 + 7*d + 4. Suppose 50*v = 47*v - 12. Let y be j(v). Suppose -2*i - 2 = 5*x + 2, 3*x + 3*i = 3. Which is bigger: y or x?
y
Let s be ((-3)/(27/(-2)) - 1148/2952)*-30. Which is smaller: 269 or s?
s
Let c(p) = -3*p**3 + 2*p**2 + p + 1. Let w be c(-1). Suppose 18*g - 26 = w*g. Let u be (-1 - -2 - 0)/1. Which is smaller: g or u?
u
Let l be 2 + 1 + (-198)/65. Let w = 56906 - 56906. Do l and w have the same value?
False
Suppose -11159 = -11*c - 2249. Is -0.2 less than c?
True
Let o = 115 + 288. Let x = 410 - o. Suppose 0 = -2*v + l + l + 20, 15 = -v - 4*l. Are v and x non-equal?
True
Let a be ((-4)/3)/(34/9). Let u(k) = 2*k**3 + 4*k**2 + 12*k + 25. Let d be u(-2). Which is smaller: d or a?
a
Let q be (-48)/(-60)*35*60/(-28)*2. Suppose 0 = t - 3*t - 242. Which is greater: t or q?
q
Let w be (-7 - (-1)/(143/1056))*658/(-5). Which is smaller: -52 or w?
-52
Let q = 40.883 - -0.117. Let z = q + -51. Is z <= -24?
False
Let d(s) = 46*s - 121. Let c be d(4). Let h = c + -63. Let j = -29/5 + 248/35. Which is smaller: h or j?
h
Let j = -285823826/2415 - -828510/7. Let y = j - 74/15. Suppose -3 - 2 = 5*d. Is y greater than or equal to d?
True
Let i = 53 + -52. Let n be 10/(-3)*((-144)/(-30))/i. Let p be -44*(0 - (-6)/n). Are 16 and p unequal?
True
Let g be (0 - (-222)/(-8))/((-349)/(-6282)). Which is smaller: g or -501?
-501
Let l be (255396/(-20))/(-7 - (10 + -20)). Which is smaller: -4257 or l?
-4257
Let c = -540620/4339581 + 136/1083. Which is bigger: c or 1?
1
Let c = 243 - -11. Let o = c - -104. Which is smaller: 359 or o?
o
Let y be (-35)/(-50)*44/154 - 4/(-30). Is 4/595 at most y?
True
Let g(z) = z - 113. Let i be g(0). Let a = -105 - i. Suppose 55 = 2*f + 9*f. Is f less than a?
True
Let f = -86.9 + 84.9. Is -3/1499 > f?
True
Suppose 0 = -45*m + 57*m - 2748. Suppose 5*l = -3*t + m + 24, -2*l + 409 = 5*t. Is t < 80?
False
Suppose 12*h + 5*k + 1176 = 14*h, -4*h + 2412 = 20*k. Is h < 593?
False
Let b = 47.14 + -47. Let o = 8 + -6.4. Let z = o + 1.4. Is b at least as big as z?
False
Let m = 2255767/502 - -1491/251. Which is smaller: 4500 or m?
m
Let i be (460005/(-30639) - -15)*(-3)/15. Is i equal to 0?
False
Let w be 23892/120 - ((-18)/(-36))/(10/(-4)). Is 200 at most w?
False
Let p be (-4)/18 + (60/27 - 0). Suppose -12 = 4*z - p*m, -2*z + 2*m - 4*m = 0. Let g = 8 - 12. Is g at most z?
True
Let a = -17 + 16. Let u = 0.062 + 44.938. Let n = -45.43 + u. Is n less than or equal to a?
False
Let t = -6131.3 + 6131. Is t less than or equal to -1846?
False
Let d be -1*(0 - -1) - 0. Let a = 67987748/162723 - -80/14793. Let z = a + -418. Which is bigger: z or d?
z
Let p = 1022 + -888. Is 132 > p?
False
Let h = -76/15 - -92/15. Suppose -2 = 3*s - 5. Is h >= s?
True
Let k = 13454 - 13454. Does 2/27 = k?
False
Suppose -59*r = -58*r - 22. Let y(h) = 5*h**2 + 19*h + 18. Let t be y(-8). Suppose -6*u = -t + 54. Is r smaller than u?
False
Suppose -4*q + 6 = -3*q + 4*a, 5*a = -5*q + 30. Let m(y) = 3*y - 17. Let p be m(q). Let i be 2/(-3)*51/(-850). Which is greater: i or p?
p
Let f = -183059/7 + 26030. Let w = 121 + f. Let r = 1.19 - -5.81. Which is smaller: w or r?
w
Let d = 2792 + -5305. Let j = 1758 + d. Let x = j + 3792/5. Is x at least as big as 2?
True
Let x = -8203.66 - -8204. Which is bigger: x or 12?
12
Suppose 0*c + 450 = 3*c. Suppose 5*y - 5*z - c = 0, -5*y = 2*z - 96 - 19. Suppose 3*j - y - 19 = -5*n, 2*n + 10 = 0. Is j greater than 23?
False
Suppose -4*h = -4*b + 12, h + 4*b - b + 3 = 0. Let q(g) = 50*g - 2. Let x be q(h). Let j = 151 + x. Do -12/29 and j have the same value?
False
Suppose 19 = -4*y + o, o = 5*y + 2*o + 35. Suppose 135*z - 140*z = -40. Let v be (0 + z/12)*y. Is v at most -2?
True
Let v = -457 + 842. Let y = v + -381. Is y greater than 0?
True
Suppose 112*r + 278 = -27*r. Suppose 7*s - 10 = 2*s. Let b be ((-3)/s)/1 - 0. Which is bigger: b or r?
b
Suppose -110 = 5*x - 730. Suppose -x*r = -115*r - 36. Is r less than or equal to 7?
True
Let s = -57913/3 + 19823. Let z = 514 - s. Let f = -121 - -117. Which is bigger: z or f?
f
Let j = -227/42 - -61/21. Is 174 at least j?
True
Let p = 639.142 + -639. Let l = 0.017 - -0.025. Let v = l - p. Which is bigger: -5 or v?
v
Let n be 4/(-62) + (-44)/(-21483)*171. Which is greater: 79 or n?
79
Suppose -2210 = -28*b + 3670. Is 206 smaller than b?
True
Suppose 0 = -2*f - 3*t + 1 + 8, -3*f + t + 30 = 0. Let l(k) = k**3 - 8*k**2 - 4*k - 9. Let h be l(f). Let p = h + -35. Which is smaller: p or -1/21?
-1/21
Let l = -62 - -91. Suppose 18 = -11*p + l. Which is smaller: p or -15/34?
-15/34
Let t be (2 - 6)*((-2)/108 - 0). Let y be ((-2)/3*-1)/(52/(-78)). Which is smaller: y or t?
y
Suppose 2*v - 2*x - 178 = -184, 2*v - 5*x = -18. Are v and 4/977 unequal?
True
Suppose -3*b = -d - b - 7, 6 = -3*d + b. Let s be ((-1092)/(-21))/(d - -3). Let a be (-7)/(-6) + 18/(-27). Which is smaller: s or a?
a
Let k = 106 - 80. Suppose 9*p - 60*p + 2019 = 693. Is k at most as big as p?
True
Let x(b) = -2*b**2 + 36*b + 39. Suppose -4*p = -20, 0 = -27*u + 24*u - 4*p + 77. Let l be x(u). Which is bigger: l or -3?
l
Let u be (-206725)/(-20) + (-86)/344. Is u equal to 20673/2?
False
Suppose 4*l = 3*g - 57, -10*g - 62 = 4*l - 8*g. Let b = -2980928/218603 - 2/19873. Which is smaller: b or l?
l
Let m = -680 + 483. Let c be (-2)/(-2 + (-393)/m). Is c != 394?
False
Let p be 13/(3120/963392) - (-6)/(-45). Is 4016 >= p?
True
Let v = 87.45 + 2.55. Let w = v + -101. Which is smaller: w or -8?
w
Let d(l) = -l**3 + 31*l**2 - 182*l - 16. Let m be d(8). Do 12/841 and m have the same value?
False
Let w = -0.48 - -0.58. Let k = -1643 - -9883/6. Is k greater than w?
True
Suppose -58308 = 35*f - 276813. Are 6245 and f non-equal?
True
Suppose 2*a = -0*a - 10. Let v be (a + -1)*(-1)/3. Let j be (-207)/117 - 1344/5824. Which is smaller: j or v?
j
Let c(y) = -41*y + 25. Let p be c(2). Which is bigger: p or 21/2?
21/2
Suppose 20*m + r = 15*m + 11, -5*r = -4*m - 26. Which is bigger: 1/2787 or m?
m
Let w = -343 - -5149/15. Suppose 0 = m + 2*c - 73 - 18, 4*m - 373 = -5*c. Suppose -m*d = -83*d. Which is smaller: w or d?
d
Let g(u) = -u**3 + 13*u**2 + 65*u - 14. Let w be g(-11). Let t be (-3)/(-6)*-2 + 1875/w. Suppose 3*s = 3*v + s + 6, -2*v - 4*s = -12. Does t = v?
False
Suppose 0 = 4*x + 24*t - 27*t - 57, -2*x + 39 = -5*t. Is 175 bigger than x?
True
Let v(l) = -5*l**2 + 21*l - 5. Suppose 0 = 3*a - 4*k - 23 + 19, -10 = -4*a + 3*k. Let h be v(a). Is 2/655 at least h?
True
Let i(s) = -s**3 - 8*s**2 + 13*s + 4. Let d be i(-8). Let f = 100 + d. Suppose 3*z + 10 = -4*c + 6*z, f = -5*c - 2*z - 1. Which is greater: c or 3/10?
3/10
Let g be ((-1431)/5565 - (-4)/10)*7. Is -980 at most g?
True
Let q be -115*-1*4/20. Let x = 21 + -19. Let u be 86/(-4*(-2)/x). Is u at least q?
False
Let f be 20 + ((-378)/(-441))/(6/28). Which is bigger: f or 35?
35
Let f(w) = -3*w + 64. Let h be f(21). Let z be ((-1)/38)/((-6)/192) - h. Which is smaller: z or -2/9?
-2/9
Let k = 45541/60 - 759. Let q = -7/60 + k. Is q at least as big as 11/2?
False
Let k = -24 - 6. Let h be (-100)/19 + (k - -35). Which is smaller: h or 0?
h
Suppose 0 = 4*t - 12, 533 = i + 5*t. Is 521 at most i?
False
Let y be 14/21*-9939 - (0 + 1). Does y = -6628?
False
Suppose 0 = 3*b - 5*b. Let c be 0 - ((-131)/(-44) - (-36)/(-12)). Let d = 207/1364 - c. Is d >= b?
True
Let n = 434 - 485. Which is smaller: n or -54?
-54
Suppose -8 = 2*o, -4*h + 0*h + 3*o + 152 = 0. Let x(r) = 761*r - 53238. Let c be x(70). Which is smaller: h or c?
c
Let j = -24 + 44. Let z be 16/j - 3/(-15). Let y = 131 - 1439/11. Which is smaller: y or z?
y
Let a = 55 - 14. Let o = 38 - a. Let u = 16 + o. Which is bigger: 12 or u?
u
Let i be 13/26 + ((-36)/(-8))/(-9). Which is smaller: 12/965 or i?
i
Let g = 93.58 - 95. Let s = g - -1.573. Let t = s + 63.847. Which is smaller: t or 1?
1
Let j = 39 - 49.5. Let n = 1063.5 - 1064. Let i = n + j. Is i > -2/9?
False
Let j be (-2)/(7/(35/(-2))). Let l(o) = 5*o**3 - 13*o**2 - 4*o - 8. Let m(w) = w**3 - w**2 - w - 2. Let t(v) = l(v) - 3*m(v). Let b be t(j). Does -2 = b?
False
Let j(h) = -16*h + 121. Let t(d) = 17*d - 125. L