+ 71). Is a >= -4?
True
Let j(n) = -52*n + 1. Let c be j(-1). Let u = -46 + c. Suppose 3*t + 2*f - 7 = 0, -t + u = 2*f + f. Which is greater: 14/9 or t?
14/9
Let a(v) = v**3 - 4*v**2 - 4. Let l be a(5). Suppose -37 = -6*k + 257. Suppose 2*s - 4*x = 24, -k = -4*s + x + 34. Which is bigger: l or s?
s
Let d(w) be the second derivative of -w**4/12 - w**3/2 - 3*w**2/2 - 2*w. Let a be d(-2). Let c = -1042/7595 - -2/245. Which is smaller: c or a?
a
Let v be -29*(-6 + 2 + 5). Let o(p) = -13*p - 24. Let x be o(-6). Let c = v + x. Is c less than -2?
False
Let x be -2*13/(156/(-10518)) + -11. Is 1738 greater than or equal to x?
False
Let q = -0.15 - -34.15. Let g(z) = z**3 - 16*z**2 - 19*z + 35. Let h be g(17). Let v be (-57)/(-21) - h - 2. Is v less than q?
True
Let x(t) = -14*t**2 - 9*t + 37. Let z be x(-10). Which is smaller: -1275 or z?
-1275
Let v = 463.8 + -466.797. Let n = v - 0.003. Which is smaller: n or -0.1?
n
Suppose -15651 = 21*i - 15756. Is i equal to -728?
False
Let x = -41903 - -41904. Let y be 2/34*(-4)/76. Is x less than or equal to y?
False
Suppose -270 - 522 = -6*h. Let f = 120 - h. Let n(t) = -t**3 - 14*t**2 - 23*t + 11. Let j be n(f). Which is smaller: j or -5?
-5
Let f(l) = 304*l + 11. Let x be f(1). Suppose x*c - 120 = 291*c. Suppose -a + 2*o + 16 = 1, 2*a = o + 18. Which is smaller: c or a?
c
Let c = 9664 + -9663.734. Which is smaller: c or -7?
-7
Let g = 2702 - 6120. Is g at least as big as -3416?
False
Let k be (-5908)/(-6) - (8/(-144))/((-11)/(-66)). Is k bigger than 981?
True
Let n = -13.924 + 14.024. Let v(d) = -d**2 + 8*d - 7. Let r be v(6). Let o be r*-1*(-14)/(-5). Which is smaller: n or o?
o
Let u = -10145 - -10196. Which is bigger: 302 or u?
302
Let u(d) = d**3 + 24*d**2 - 23*d + 50. Let w be u(-25). Are w and 4/7 nonequal?
True
Let h be 10/15 - 14/(-6). Suppose 95 = -6*w + 11. Let x(b) = 4*b + 59. Let s be x(w). Is s equal to h?
True
Let z be 2/(-2)*4389/(-11). Let f be 2 - 545757/z - 8/(-28). Let o = f - -1366. Which is smaller: o or 0?
0
Suppose 2*a + 1 = -4*y - 5, 3*a + 4*y = -5. Let x = 27231/74 + -368. Is x at least a?
False
Let z(y) = 6*y + 71. Let b be 4 + ((-52)/4 - 5). Let a be z(b). Is -15 greater than or equal to a?
False
Let l = -7487 - -7485.2. Which is smaller: 141 or l?
l
Let j = -7.3 + -391.7. Let v = j - -399.164. Are -1 and v equal?
False
Let r = 3482.9 + -3485. Which is bigger: -85 or r?
r
Let v(u) = 7*u**2 - 83*u + 591. Let c be v(9). Is -2/3 less than or equal to c?
True
Let g(n) = 14*n - 85. Let k be g(6). Let z be 20*(22/(-21) - -1). Which is smaller: z or k?
k
Let f = 211 - 211.0757. Let t = 2.0757 + f. Which is greater: t or -6/73?
t
Let y = -604 + 604.271. Let m = y + 4.429. Which is smaller: m or -3?
-3
Let a be (11 - (-6)/((-42)/77))/5. Which is greater: 1/13699 or a?
1/13699
Let z(r) = r**3 - 7*r**2 + 5*r - 7. Let p be z(7). Suppose 27*x = p*x. Let o be 2 - (-22)/26 - 3. Do x and o have the same value?
False
Let w = -19.891 - -20. Let q = w - -67.891. Let c = 66 - q. Which is greater: c or -0.6?
-0.6
Let f = 672 + -1006. Let n = f + 474. Let y = -145 + n. Which is smaller: y or -2/31?
y
Suppose 0 = 2*i - 3*x - 19, -6*x = -5*i - 5*x + 15. Suppose i*v + 12 = 5*j, 3*j = -4*v + 6 + 22. Is v less than or equal to 5?
True
Let c = 4859 + -102013/21. Is c less than -1?
False
Let k = 291.95 + -292. Which is smaller: 6/47 or k?
k
Let l = 4 - -5. Let y be (l + -7)/(-3*4/(-30)). Suppose x = 3*r - 6*r - 12, y*x + r = -18. Are x and 1 non-equal?
True
Suppose 3*t = -5*j + 214, -455*j = -3*t - 456*j + 194. Is -7 > t?
False
Let x = -31.4 - 129.6. Let s = -161.1 - x. Is s smaller than -230?
False
Let n = -3194.9 + 3195. Is n >= 22632?
False
Let i = 3865 - 8288. Which is bigger: i or -2/5?
-2/5
Suppose 4*w + q + 1689 = 6*q, 11*w = 4*q - 4674. Which is bigger: -428 or w?
w
Suppose -15*z + 5577 = -28*z. Let o be 3/3 + 1 - z/(-65). Suppose 12 = -3*b + 2*r, 3*r = -4*b - b - 20. Which is smaller: o or b?
o
Suppose 981 - 63 = 6*w. Suppose 6*o = -11*o - w. Let f = 8 + o. Which is greater: f or 2/113?
2/113
Let t = 107 - 106.975. Let n = -3.025 + t. Does n = 0.18?
False
Let c = 123343240907 - 13971582270798871/113274. Let l = c - 1/8091. Let g = -19/7 - l. Which is smaller: 0 or g?
g
Let n(c) = -c**2 + 2*c + 17. Let h be n(5). Let m be (((-24)/(-9))/h)/((-18)/12). Let z(l) = l**3 + 8*l**2 + 7*l - 2. Let u be z(-7). Which is smaller: m or u?
u
Suppose -3*s = -6, 3*k = -2*s - 2*s + 1244. Suppose 2*p - 4*j = -276, -3*j - k = 3*p - 7*j. Which is bigger: -135 or p?
-135
Let i = 14549 + -14513. Is i greater than or equal to 13?
True
Let v(k) = 2*k**2 + 163*k + 546. Let f be v(-75). Is f at least as big as -429?
True
Suppose -6721 = -53*d + 56*d + 1622. Is d < -2781?
False
Let q = 188 - 258. Let g = q + 67. Which is smaller: -9/5 or g?
g
Suppose g = 5*y + 749, -4*g - 18 = -g. Is y at least -159?
True
Let h = 1.9771 - 0.9771. Is h at most 7681?
True
Let p(h) = h**3 - 13*h**2 + 11*h + 11. Let f be p(12). Let s be 1*(4 + f)/3. Which is greater: -4/19 or s?
s
Let c be (-4)/(-18) + (-992)/1062 + (-49 - -49). Is c > 0?
False
Suppose -y = -2*f + f - 7, -2*f = -8. Let u be ((-3)/(-6))/(y/(-1210)). Is -55 < u?
False
Suppose 10*r - 4*r = -42. Let l(d) = -d**3 - 6*d**2 + 9*d + 10. Let o be l(r). Let i be 2520/(-15554) + o/(-22). Which is smaller: -1 or i?
-1
Let j(h) = 136*h - 2113. Let i be j(26). Which is greater: 1421 or i?
i
Let q be (32/(-9))/8 + 19791/243. Which is greater: q or 1556/19?
1556/19
Suppose -4*w - 17 - 24 = -57. Is w smaller than 18/7?
False
Let o(b) = -16*b - 4. Let n be o(1). Let g be 69/(-21) - (-8)/28. Let h be (21/(-2))/(g/(-6)). Which is smaller: n or h?
h
Let t(j) = 5*j**2 - 8*j + 9. Let z be (2 - 3) + ((-2)/1 - -6). Let n be t(z). Let v be (-1)/(((-3)/(-2))/(n/20)). Which is bigger: v or -1/2?
-1/2
Let j be 10*(21/(-56))/((-6)/8). Suppose -z + 3 = -4*x, j*x = 3*x - 2. Let a = -6694/7 - -954. Which is smaller: z or a?
a
Let d(v) be the second derivative of -v**4/12 - 5*v**3/3 + 9*v**2 - 5*v. Let k be d(-11). Suppose 0 = 2*n - n - k. Is n < 20/3?
False
Let o = 5326561/161 - 233710/7. Let c = -303 - o. Let h = 6 - 4. Is c at least as big as h?
False
Suppose -29 = 3*b - 20, 3*b - 1015 = -4*c. Let j = -327 + c. Are -71 and j equal?
True
Suppose -4042 = w - 3*c, -5*w = -4*c - 5319 + 25496. Which is greater: -4034 or w?
w
Suppose y + 5 = -2. Suppose 14525 = 148*s + 17189. Which is smaller: s or y?
s
Suppose -4*m = 11*c + 3139, 0 = 5*m + 4*c + 3996 - 82. Which is bigger: m or -784?
m
Let l = -345 - -62. Let h be (-18235)/65 - 78/169. Which is greater: h or l?
h
Let d be 2/(-3) - 11/(-3). Let r be ((-88)/825)/(2265/175 + -13). Is r at least as big as d?
False
Let i be (-3)/((-105)/(-20))*49/70574. Which is smaller: 0 or i?
i
Let h be (-4)/(-33) + (-2)/(-11). Suppose -374 + 659 = 5*r. Let z = r + -58. Is z equal to h?
False
Let m = -15858 - -15881. Which is bigger: 109/5 or m?
m
Let w be 0*4*1/8. Suppose 8*o - 9*o - 7 = w. Let k be (o/(-2) + -4)*-38. Which is greater: k or 18?
k
Let l be -2 + -2 + (-2 - (-126)/3). Suppose -5*x = -2*x + l. Suppose 3*f + 1 - 4 = 0. Which is smaller: f or x?
x
Let b = -3.5 + 3.1. Let h = 1.6 - b. Let f be (-75)/(-9) - (-3)/(-9). Is h != f?
True
Suppose 0 = -u + 4*t + 92, -4*u - 32 + 370 = -t. Is 70 greater than or equal to u?
False
Let x = -26 - 4. Let q be (-5)/(-6) + (-2495)/x. Let m = -64 + q. Which is smaller: 19 or m?
19
Let y be (-796)/28 - 28/49. Let b = -7171/244 - 22/61. Which is bigger: y or b?
y
Suppose 167406*b - 3 = 167403*b. Is 6/235 at most b?
True
Let p(s) = -s**2 - 47*s - 551. Let g be p(-24). Which is bigger: g or 2/2623?
g
Let h be 3/5 + 31908177/(-232065)*-3. Let x = -3718/9 + h. Is x greater than 0?
False
Let v = 30409 + -103725098/3411. Is v at most -1?
False
Suppose 320*p = 322*p + 878. Suppose s + 280 = 6*s. Let i be p/(-40) + (-21)/s. Which is smaller: i or 12?
i
Let a = -9240 + 9253. Are 290 and a equal?
False
Let t(a) = a**2 + 25*a - 34. Let j be t(-26). Let c(l) = -l**3 - 6*l**2 + 18*l + 19. Let i be c(j). Which is greater: i or 24/11?
i
Suppose -344 = 4*n + 196. Let m be -330*((-22)/20 - (-9)/6). Which is smaller: n or m?
n
Let i be 670 - (-9 + 7 - -6). Let v = i + -465. Is 0 smaller than v?
True
Suppose 2*f = -2*d - 0*f - 30, -4*f = 5*d + 78. Let v be 1