 be c(12). Which is greater: a or 122?
122
Suppose -3*i + 8*i - 15 = 0. Suppose c + 0*f + 7 = 5*f, c = i*f - 5. Let s be (-50)/c + 14/21*3. Is s < 27?
False
Suppose -2954 = -22*r + 60. Is 126 at least r?
False
Suppose -5*n - 10 = -5*b, 3*n = 5*b - 467 + 459. Let v be (-1)/(-6)*(-3)/43. Which is greater: v or n?
v
Suppose 3*k + y = 1, -2*k - y = -7*k + 7. Let l = -2481598/705 - -3520. Which is greater: k or l?
k
Suppose 1212 = -2*t + s, -309*t - 5*s = -304*t + 3015. Is -605 bigger than t?
False
Let w(v) = -2246*v**3. Let t be w(-1). Which is smaller: t or 2248?
t
Let l be 4 + -4 + 2/(-12). Let n be ((0 + 7 - 8)/1)/(2 - 0). Is l less than n?
False
Let g(a) = 6*a + 9. Let w be g(-3). Let j be ((-8)/(-28))/(w/(-42)). Suppose 0*v = -5*v + 5. Is j > v?
True
Let z = -1280877/5 + 254671. Is z bigger than -1504?
False
Let h be 220/264 - 12/(-9)*-1. Is h greater than or equal to 150?
False
Suppose -y + 307 - 297 = 0. Let b be (-126)/315*y/398. Suppose 12 = -4*n, n - 3*n = -k + 6. Which is bigger: b or k?
k
Let g = -95.033 - -0.033. Let m = g + 91. Is m at least 13?
False
Suppose -6811 = -w - 5*p, -4*w = 38*p - 33*p - 27259. Is 6815 less than w?
True
Let t = -54540.1 + 54540. Suppose 4*u + u = 0. Let g = -1 - u. Is t smaller than g?
False
Let x be 0 + 20 + (-23585)/712. Are x and 26 nonequal?
True
Let l = -552.5754 - -0.5754. Which is smaller: l or 2/9?
l
Let i be 65*(1 + -2)*(-13 - -14). Suppose 969 = -27*w - 840. Is w smaller than i?
True
Let r = 782 + -791. Let u be 99/18 - r/(-6) - -51. Is u >= 47?
True
Suppose 48 = 22*t - 24*t. Let f be ((-4)/3)/(2/t*-1832). Do f and -1 have different values?
True
Let h be (-20)/6*(-33)/22. Suppose 13 = -b - 4*w + 5, 2*b + 13 = -h*w. Let z be (2 + -2)*(10 + -9). Is b bigger than z?
False
Let b = 88 - 62. Let f = -23 + b. Let m = -178.9 - -181. Is m less than f?
True
Let y = -1598026/13 - -123016. Is y bigger than 91?
False
Suppose 13*q + 24*q + 23*q = -2940. Let f(a) = a**2 + 14*a. Let z be f(-6). Is z > q?
True
Suppose u + 0*u + 1 = y, 5*y + 15 = -5*u. Let i be (81/(-54))/(((-9)/u)/(-3)). Which is smaller: i or 5.4?
i
Let j be ((-24)/(-10) - 2)/((-8)/(-80)*-4). Which is smaller: -1/5242 or j?
j
Let i be 1*6 + 17278/(-1141). Let l = 13 + -21. Is i greater than or equal to l?
False
Suppose 0 = -57776*i + 57821*i + 26775. Which is smaller: i or -12?
i
Let m be 1689516/(-1328) + -1*1/(-4). Let g = -1508 - -236. Let j = m - g. Which is bigger: j or -1?
j
Let o be (-437)/209 - 24/(-22). Which is bigger: -1/11809 or o?
-1/11809
Suppose 4*m = 5*b - 17152, -b - 72*m + 3413 = -67*m. Is b bigger than 3428?
False
Suppose -2*u + 14*v + 234 = 11*v, 2*u - 232 = 2*v. Is u greater than 79?
True
Let d = -25.44 + 262.44. Is -0.07 bigger than d?
False
Let g = -332 + 297. Let s(r) = 3*r - 19. Let j be s(-5). Is j >= g?
True
Suppose 2*a = -6*i + 4*i + 16, 4 = -4*a. Let r(z) = 20*z - 8. Let c be r(2). Suppose -n + 16 - 3 = 2*u, -n = -3*u + c. Is i less than or equal to u?
True
Let i = 53 + 5. Suppose -i - 68 = -3*u. Let l = -208/5 + u. Which is greater: l or 2?
2
Let r = 380.8 + -662. Let z = r - -281. Which is smaller: z or 36?
z
Let k be 3/4 - (-5)/(140/(-21)). Suppose 5*i + 16 = 3*v, i + 3*v + 26 - 12 = k. Let q = -79/2 + 35. Which is smaller: q or i?
i
Suppose -2*t = -k - 4*k - 154, -k + 412 = 5*t. Let c = t - 82. Which is smaller: 1 or c?
c
Let c = 749 + -262. Let o = 1480/3 - c. Which is bigger: o or -1/11?
o
Let c = -394.09 - -396. Let z = c - -0.09. Is -101 smaller than z?
True
Let l(u) = -u**2 - 16*u. Let f be l(-12). Suppose 0 = -f*d + 36*d - 1020. Which is smaller: -86 or d?
-86
Let b(f) = -5*f**2 + 96*f - 7. Let u(y) = -12*y**2 + 190*y - 15. Let j(w) = 5*b(w) - 3*u(w). Let g be j(8). Is g <= -17/4?
True
Let z be ((-2*(-8)/(-16))/1)/((-2)/(-90)). Is z != 78?
True
Let i = 876 + -858. Let l be (-4 - -3) + (-1 - -17). Suppose -3*n - i - l = 0. Is -15 greater than or equal to n?
False
Let f = -68295317/44052 - -11/14684. Do f and -1549 have the same value?
False
Let o be (-2243222)/873*18/(-4). Are o and 11562 non-equal?
True
Let p = -0.011 + 0.505. Let s = 0.094 - p. Is -26 bigger than s?
False
Let v = -2 + 3. Let h be (-78)/(-4)*(22/3 - 0). Let r be (220/h)/(-1 - -3). Is r bigger than v?
False
Let p(r) = 2*r**2 + 127*r + 2203. Let t be p(-45). Is 544 greater than or equal to t?
True
Suppose 0 = 153*v - 117*v - 895 + 103. Is 5 >= v?
False
Let s = 58.38 - 59. Let q = s - 26.38. Let l be -3 + 16 + 245/105*(3 - 9). Is q greater than l?
False
Let j(v) be the second derivative of -v**3/6 + 7*v**2/2 - 5*v - 2. Let x be j(8). Is x less than or equal to 9/61?
True
Suppose 24*i - 52554 = -14*i. Suppose -777 - i = -24*g. Let k(x) = -31*x - 2. Let q be k(-3). Which is greater: g or q?
q
Suppose 4*c + 11 + 10 = -x, -c = -4*x - 33. Let s(r) = -r**3 - 9*r**2 - r - 9. Let t be s(x). Which is smaller: 8/23 or t?
t
Let i = 106 - -19. Let d = i + -48. Which is bigger: 0 or d?
d
Suppose -3*i - 8 - 4 = 0. Let k be -3 + 25/4 - (-1)/i. Suppose 3*p - 3 = 4*c, 0 = -c - 0*p + 3*p - k. Is c < -1/3?
False
Suppose 48 - 8 = -2*v. Let s be (-3)/(-10) + (-4)/v. Let c(j) = -j**3 - 5*j**2 + 6*j + 1. Let r be c(-6). Which is greater: r or s?
r
Suppose 155*r = 33*r - 77470. Which is smaller: r or -639?
-639
Let r be 217/(-21) - (8 + -18). Suppose -6*d + 1310 = -d. Which is smaller: r or d?
r
Suppose 3801 = -14*k - 7*k. Let s be (1 - 3)/2*0. Which is smaller: k or s?
k
Let b = 6 - 3. Suppose 0 = -b*r - 0*v + 2*v + 29, -v + 26 = 3*r. Suppose -9*w + r = 36. Which is smaller: w or -2?
w
Let l = -0.4894 + 0.4294. Are 225 and l unequal?
True
Let o(p) = -239*p - 1. Let g be o(-1). Suppose 2 = -237*j + g*j. Is -11 != j?
True
Let h be (154/55 + -1)*1805. Is h at most as big as 3250?
True
Let r be (-21)/(-7881) + (-7 - -6)*(10 - 10). Is 1 not equal to r?
True
Let d(z) = -z**2 - 6*z. Let x be d(-7). Suppose 0 = 4*y - 20, -3*y = 8*m - 3*m - 25. Let o be 2*68/(-16) - m/4. Is x at least as big as o?
True
Let m(x) = 3*x**2 + 2*x + 13. Let g be m(-4). Suppose -2*o - 4*c = g + 5, 2*o = 5*c - 49. Which is smaller: -28 or o?
-28
Suppose -4*k = -7*p + 3*p + 20, 0 = 5*k - 3*p + 17. Which is bigger: k or -3/3659?
-3/3659
Let w = 25 + -45. Suppose 0 = -3*j - x - 63, 4*j + 2*x - 24 + 106 = 0. Are j and w unequal?
True
Let w = -26 + 111/2. Let f = -731/26 + w. Is 1 less than f?
True
Suppose 9*c - 13*c = 4*j - 156, -2*j = -c - 69. Suppose 4*r - p = j, r = -4*p - p + 9. Which is bigger: r or -10/9?
r
Let u = -3.792 + 1904.792. Which is smaller: u or -0.1?
-0.1
Suppose -55*p - 2852 = -57*p - k, -5*p + 7130 = 3*k. Does p = 1426?
True
Let x be 1 + -1 - 2/(-2). Let o be x/(-6) + 185379/198. Let j = 935 - o. Is j < -1?
True
Let r(n) = 11 - 153*n - 2 - 5 - 6 + 0. Let x be r(1). Is -155 equal to x?
True
Let t(a) = 139*a**3 - 15*a**2 + 52*a + 4. Let q be t(3). Is q greater than 3780?
False
Let i(k) = 10*k**2 + 79*k + 1832. Let o be i(-25). Which is smaller: 6108 or o?
o
Let c = 13058 + -36671. Is -23613 greater than or equal to c?
True
Let j be ((-8)/5)/(6/(-5)). Let a(d) = -d - 10. Let t be a(-9). Let x be t*4/(-8)*4. Does x = j?
False
Let s = 34 - 36. Let w be 2*1/4 - 679/(-14). Let d be -5*(3/(-1) + w/15). Is s greater than or equal to d?
False
Suppose -4*b = -4*v + 2*v, -20 = -3*v - 4*b. Suppose 5*n + v*t - 10 = -0*t, n + 3*t - 2 = 0. Let a = 0.39782 + -0.29782. Is a >= n?
False
Suppose -3*a = -a - 3*p - 11, 0 = a - p - 7. Let t = a + 12. Let x be 6/(-16) + t/16. Which is smaller: x or -2/13?
-2/13
Suppose 0 = -40*b - 144 + 864. Suppose 14 - 50 = b*i. Is i less than -40/13?
False
Let a = -12 + -19. Let w = a + 36. Suppose -w*r = -15 - 20. Which is bigger: r or 6?
r
Let s be (1/(-4) - (-5895)/(-20)) + 5. Let j = s - -290. Is j at most 4/301?
True
Let i be (822/4)/(((-24)/14)/(2/(-7))). Is i < 33?
False
Suppose 0 = 50467*q - 50506*q - 819. Let x be (5 - 3)*(0 + 1). Suppose 2*o + x*o = -76. Is o at most q?
False
Let q(d) = -d**2 + 40*d + 769. Let i be q(56). Which is bigger: i or -42?
-42
Let k be (-3)/5 + (-1241)/(-85). Let c be (-4)/k + ((-204)/(-28) - 2). Suppose 4*j = d + 4 + 1, 2*d = c*j - 1. Which is smaller: d or 8?
d
Let y(i) = -32*i**2 + 3*i - 2. Let l be y(1). Let u = 29 + l. Is 13 not equal to u?
True
Let k(p) = -p**2 + 23*p - 61. Let h(g) = -g + 1. Let d(j) = -6*h(j) - k(j). Let o