 is bigger: a or 15?
15
Suppose 0 = -5*t + 2*f + 80, 0 = 7*f - 8*f. Suppose -4*k - 4*x = -t, -4*k = k - 2*x + 8. Is 3/17 > k?
True
Let u = -4290 + 3687. Which is smaller: u or -604?
-604
Let d = -844 - -843.9. Is 2840 <= d?
False
Let d(u) = 2*u + 5. Let v be d(-4). Suppose 3*b + 78 = 81. Let l be (0/1)/(v + b). Which is smaller: -5 or l?
-5
Let c(l) = l**3 + 5*l**2 - 16*l - 12. Let g be c(-7). Are 729 and g equal?
False
Let k = -0.011 - -18.011. Let c = k + 15. Let q = 39 - c. Is q >= 0.2?
True
Suppose 0*g + 2*g - q - 7 = 0, -13 = 2*g - 5*q. Suppose -15 = -3*d, 50 = -5*c + 5*d - d. Let v be ((-54)/(-30))/(c/(-20)). Is v less than g?
False
Suppose 0 = 277*m - 270*m - 28. Let s be m/(-3) + (-5792)/192. Is s > 0.2?
False
Suppose -w - 5*n - 184 = 2*w, 0 = 3*w - 5*n + 134. Let f = -7 + w. Let m(l) = -57*l**2 - 3. Let k be m(-1). Are f and k nonequal?
False
Let u = -196843 + 197351. Let o = -0.2 - -0.1. Is u at most as big as o?
False
Suppose 3*a = -2 + 14. Let u = -2403 + 2405. Suppose -a = 4*c - u*c. Which is greater: c or -16/5?
c
Let z = 136525/8 - 17100. Which is smaller: z or -34?
z
Suppose -3*f - 4*s + 21 = 0, -139 + 146 = 5*f + 2*s. Let z = -414.185 - 0.815. Are f and z equal?
False
Suppose 3*y + 36 = -0*y. Let j(o) = o**3 + 11*o**2 - 238*o - 2311. Let t be j(-9). Is y bigger than t?
False
Let o be 5 + (3 - (-277 + -4)). Is 291 at least as big as o?
True
Suppose 1311*b - 1319*b = -1088. Which is smaller: 139 or b?
b
Let k(o) = o + 9. Let t be k(-7). Suppose -c + 5*g - 12 = 9, 2*g + t = 3*c. Let r be -2*(-5 - -4)/c. Which is smaller: r or 1?
r
Let r = -11656/45 - -259. Let y = 43/90 - r. Which is bigger: 0.69 or y?
0.69
Suppose -20 = 4*f - 5*y - 7, -2*f + 5*y = 19. Suppose 8 = 3*v - v - 3*z, 28 = 2*v + 2*z. Let a be f - 4/30*v. Are a and 2 nonequal?
True
Let w = 292 - 295. Let o be -7 - ((-4 - 0) + w). Are o and 28/27 nonequal?
True
Let t(y) be the first derivative of -y**4/4 + 2*y**3/3 + 9*y**2/2 + 2*y - 24. Let s be t(4). Suppose g = -s*g - 7. Is g < -11/6?
False
Let d(c) = -c**3 + 5*c**2 - 8. Let j be d(5). Let l be (-4)/j - (2 - 55/2). Let g = 41 - l. Which is smaller: 16 or g?
g
Let y be 42/4*(-418)/1320. Let q = 2/1199 + -3677/47960. Let s = y + q. Which is smaller: -3 or s?
s
Suppose 131810 = -2*j + 137*j + 134*j. Is 6380/13 bigger than j?
True
Let h be 90/36*2/5. Suppose 2*r + 177 = -h. Which is greater: -90 or r?
r
Suppose -3*i + 5*y + 959 = 776, -5*i + 5*y = -305. Suppose 5*h + 330 = 5*n + 2*h, 5*n = -4*h + 295. Which is smaller: i or n?
i
Let m be (2/2)/((-18)/(-72)). Suppose 15 = -m*g - 265. Let z = -43 - g. Is 25 < z?
True
Let r be ((-2)/8)/(1/(-2)). Let w = 16590 + -16589.97. Which is greater: r or w?
r
Let s = 62 - 528. Let j = s - -469.06. Which is smaller: 0 or j?
0
Let f(x) = -6*x - 28. Let d be f(5). Suppose n - 4*n + 99 = 2*o, o - 4*n = 77. Let z = o + d. Which is smaller: 0.5 or z?
z
Let g = -5319 - -5561. Is 219 > g?
False
Let b(w) be the second derivative of -w**4/4 + w**3/3 + 5*w**2/2 + 27*w. Let i be b(3). Let o = 18 + i. Which is smaller: o or -1?
-1
Suppose 4*k = -3*j + 5, -149*j + k - 30 = -144*j. Does j = -6?
False
Suppose 68*a + 9650 - 10991 + 44385 = 0. Which is smaller: a or -636?
-636
Let a(i) = 2*i**3 - 18*i**2 - 15*i - 8. Let d be a(6). Is -309 smaller than d?
False
Let c = 23114 - 23064. Is 666/13 at least c?
True
Let y(n) = n**2 - 5*n - 1. Let j be y(5). Suppose -7 - 6 = 2*m + 3*l, 4*m + 5*l = -27. Let i be (75/(-800))/(10/m). Are i and j equal?
False
Suppose -2866*m = 2886*m - 5776*m + 40200. Is m less than or equal to 1684?
True
Let s = -118 + 118. Let g = 472358113008/10373 + -45537271. Let j = -1/451 + g. Is s equal to j?
False
Let b = 105.43682 - 0.63282. Let i = b + 0.196. Let f = i - 105. Which is greater: f or 4?
4
Let f(w) = -779*w**2 + 43*w - 174. Let x be f(4). Is -12467 less than x?
True
Let i(b) = 7*b**2 - 2 - 9*b**2 + 3*b**3 + 4 - 5*b - 6*b**3. Let n be i(-2). Suppose -q = 3*q - n. Are 31/4 and q nonequal?
True
Let h be (33/3)/(-4 + (-1045)/(-261)). Let q be 2/22 - ((-2880)/h)/(-10). Which is smaller: q or -1?
-1
Let w be (-4)/(-18) + (-381)/2079. Let z = w - -1039/1001. Let x be (15 - 19) + 15 - 162/18. Is x less than z?
False
Let c = -9490 + 15624. Are c and 0.1 nonequal?
True
Let u be ((-2)/(-13))/((-10)/(-785)) + -9. Which is smaller: u or -28?
-28
Suppose -156*p = -157*p + 11. Let t(u) = 2*u**2 + 2*u - 2. Let d(z) = z + 13. Let f be d(-11). Let v be t(f). Is p smaller than v?
False
Suppose 65*n = 61*n + 12. Suppose -2*d + 5*m = n, -5*m - 1 = d - 2*d. Let i be 2*3/(-24)*d. Is i at least as big as 2/29?
True
Let a be (-19449)/(-18) + 0 - 11. Which is bigger: a or 1071?
1071
Let y be (-2 + 5)/(-1 - (-14)/8). Suppose 5*s - 4 = y*z, -5*z + s - 4*s - 5 = 0. Is z less than 1/131?
True
Suppose -3 = -q - 1. Suppose 26 = g + 5*u - 63, 0 = 3*g - q*u - 301. Let z = 105 - g. Are z and 19/4 unequal?
True
Suppose 3564 = 2*i - 2064 + 148. Which is smaller: i or 2739?
2739
Let i be ((-2)/(-5))/((-8)/(-10)). Let b = 187.03 + 3.97. Let l = b - 188. Which is greater: i or l?
l
Suppose 2*k = 6*k - 36. Let n = 0 + k. Let i be ((-23)/8 - -1)*60/n. Which is greater: -12 or i?
-12
Let p(b) = -2*b + 1. Let v be p(-2). Let i(u) = -2 - u + 8 + 3*u**2 - v*u**2. Let h be i(-3). Which is bigger: -11 or h?
h
Let n be 4*1/(-13)*2. Let q = 2698 - 2699. Which is smaller: q or n?
q
Suppose -4*h = 8, 2*h - 306 = -4*g + 3*h. Suppose 9*z - 5*z = g. Which is greater: 23 or z?
23
Let r(k) = -110*k - 1295. Let y be r(-9). Are y and -308 unequal?
True
Suppose x - 4*x + 37 = -2*p, 2*p - 5*x = -43. Suppose -13*b = -7*b + 1068. Let q = b + 180. Which is bigger: p or q?
q
Let t = 136 - 150.2. Let u = 14.378 + t. Which is smaller: -1 or u?
-1
Let t be (-7 + 8 - -37)*(-106)/(-4). Let b = -13067/13 + t. Which is greater: b or 3?
3
Let z = 299 + -299. Let i be 52/(-234) + (z - 507/27). Which is bigger: i or -21?
i
Let l(x) = 3*x - 1. Let y be l(4). Let k = y + 15. Let h = -16464 + 16489. Is h bigger than k?
False
Suppose -3*d = 5*l + 62, 5*l - 5*d + d + 69 = 0. Let h be 1 + l + (-12 - -11). Which is smaller: h or -14?
-14
Let d = -66/73 - -3629/219. Let h(k) = k**2 - 4*k - 8. Let v be h(6). Suppose t - 4 = 2*n + 8, 4*t - 56 = v*n. Which is bigger: t or d?
t
Let k = 0.1 - 0.3. Let x = -526223/13 - -40477. Which is smaller: x or k?
x
Let k(c) = 2*c + 22. Let s be 95/38*1*2. Suppose 3*b + 17 + 12 = -4*o, 0 = 4*b - s*o + 49. Let n be k(b). Is n less than 1/41?
True
Let y = 0.718 - -341.282. Let q = y + -339.81. Let n = q - 0.19. Which is bigger: -0.4 or n?
n
Let x(u) = -u**2 + 4*u + 37. Let d be x(8). Suppose -5*h = -d*a + 30, 0*a - 14 = h + a. Which is smaller: h or -34/3?
-34/3
Suppose 0 = -r - 0 + 3. Let v be (12368/8720)/((-1)/(-2)). Let f = v + -4/109. Is f < r?
True
Let q(h) = -2*h**2 - 215*h - 2933. Let c be q(-15). Is -193 equal to c?
False
Let g = -58 - -151. Let w = g + -95. Let a be ((-3)/6)/(w/28). Are 6 and a unequal?
True
Let m = 17592 + -158317/9. Is m greater than or equal to 1/2?
True
Let h(w) = 20*w + 28. Let r be h(-8). Let y be (r/(-1150))/((-6)/60). Let p = y + -15/23. Is p < -2?
False
Let c(g) = -3*g + 66. Let d be c(19). Let y be 18/99 - (-295)/11. Let w = d - y. Are -19 and w unequal?
True
Let u = 7506.28 + -7509. Which is greater: 0.3 or u?
0.3
Let u = -8 + 8.3. Let b be 1/(-4 - ((-11)/2 - -2)). Let g be 135/(-54) + (-1 - 1/b). Do g and u have the same value?
False
Suppose 2*o + 4*z = 0, 2*z - z = 0. Suppose -3*b + 2*x + 12 + 8 = 0, o = 2*b + 3*x - 22. Let r = -1223/5 - -253. Is b at most as big as r?
True
Suppose l - 5*t + 20 = 96, 2*l - 4*t = 134. Suppose -14 = -5*u + l. Are u and 8 nonequal?
True
Let q(g) = 1 + 68*g**3 - 4*g - 4 - 42*g**3 + 5*g**2. Let d be q(-4). Let u = d + 146105/93. Which is bigger: u or 1?
1
Let a = 3037 + -3032. Is a smaller than 211?
True
Suppose -9*d + 659 = -511. Which is smaller: d or 129?
129
Let x be (-1614)/(-1345) - 5802/(-15). Suppose 233 = 2*m - 543. Is m less than x?
False
Let o = -537 + 3767/7. Let g be -6*(-4)/(-8) + 8. Let y be (0/(-3))/(10/g). Which is greater: o or y?
o
Let r(b) be the first derivative of -9*b**2/2 - 164*b - 167. Let y be r(-26). Is 70 <= y?
True
Let a be ((-275547)/212)/(2*(-15)/(-40)). Is a bigger than -1730?
False
Let n = -33278.995 - -33362. Let s = 