s**2 + 2*s + 12. Let g be z(5). Let x be -5*q/(-9) - g. Which is greater: x or 10?
10
Let c = 29774/3 + -9677. Which is smaller: 247 or c?
247
Let r be (224/(-98) - 2)*42. Is -717/4 != r?
True
Suppose 2*j + 11 = 3*j. Suppose 4*z = 16*z - 60. Suppose 4*o = 8*o - x + 2, -z*o - 3*x - j = 0. Which is smaller: o or 13?
o
Suppose 0*q + 2*q = 12. Suppose q*z + 12 = 12*z. Suppose 3*l = -5*i + 16, -z*l + 4*i + 4 = 8. Is l at least as big as 4/7?
True
Let l = 2.729 - 0.249. Let q = -138.52 - l. Which is greater: -0.1 or q?
-0.1
Suppose 0 = 3*i + 5*j - 11, -3*j + 2 + 22 = -4*i. Let g be 14/(44100/2082) - (-2)/i. Is g != -1?
True
Let d be (2 - -2 - -1) + -1 - -5. Let m(c) = -c + 9. Let h be m(-7). Suppose -w = w - h. Is w smaller than d?
True
Let w be (447/90 + -5)*(-47 + 0). Which is smaller: 1 or w?
1
Let w = 5.81 + -5.8381. Let z = 0.0719 - w. Which is bigger: 8 or z?
8
Let h = 4.4449 + -0.0349. Let f = 4.41 - h. Which is greater: -0.55 or f?
f
Suppose 5*t = -5*r + 1240, 571 = 4*t + 2*r - 423. Suppose -4*q = -3*n + 738, 2*n + 37*q = 38*q + 497. Is t < n?
True
Let f be (179 - 1)/(56/(-84)). Let t = 1337/5 + f. Is -0.224 != t?
True
Let s be 30/(1/(-1))*(-190)/57. Let u = s + -100. Is u at most 3/85?
True
Let n be (-16)/(-8)*(-2)/(-8). Let b = 4225 - 4226.847. Let k = -0.053 + b. Is n < k?
False
Let v(b) = 71*b + 37. Let y be v(-2). Let r = y + 75. Is r <= -32?
False
Let q = -8423 + 8419. Which is smaller: q or 0.1761?
q
Suppose -3*t = -7*t + 24. Suppose 4*o + 4*y = 32, o - 3*o = -5*y - 9. Suppose 6*j = o*j + t. Is j less than -6?
False
Let u(q) = -107*q**2 - 14*q - 82. Let o be u(-3). Which is bigger: o or -1004?
o
Let n = -15173/18 - -844. Let p = -595/666 + n. Is p at least 0?
True
Let d = -16 + 16.2. Let j = d + -0.1. Let w = -2486 - -2484. Which is greater: j or w?
j
Let k(l) = -17*l + 71*l - 19*l - 28*l + 39. Let m(f) = -f**3 - 4*f**2 + 6*f. Let z be m(-5). Let r be k(z). Is 9/2 greater than r?
True
Let x = -636.7 + 634.7. Let v = 732112/179 - 4090. Which is smaller: x or v?
x
Let u(b) = 15*b - 6. Let i = 13 + -12. Let v be u(i). Suppose 2 = v*f - 7. Is -31 at most f?
True
Let g = -2771 - -2738. Is -67 smaller than g?
True
Let g = 0.09 + -0.05. Let f = -0.14 + g. Let m = -16009/27 - -593. Do m and f have the same value?
False
Let f be ((-53)/2)/((-77)/(-14) + -6). Suppose -l = 5*d + 145, 34 = -3*d - 3*l - f. Let o = -0.043 - -0.043. Are d and o equal?
False
Let i(o) = -4*o + 14. Let f be i(3). Suppose -5*z + 0*w + 4 = f*w, 0 = z + 5*w + 13. Let y be 4*(-265)/40*z. Are -52 and y non-equal?
True
Let f(s) = -s**3 - 19*s**2 - 4*s - 4. Let k be f(-17). Let v be 1/((14/(-7220))/1). Let j = v - k. Is -1 greater than j?
True
Let x be (-42)/(-8) - 5/20. Suppose 18 = -4*m - r + 6*r, -12 = m - x*r. Which is greater: m or -5/6?
-5/6
Suppose 4*w - 736 = -5*x, 5*x - 161 + 141 = 0. Is w greater than or equal to 183?
False
Let d = -14916.8 + 14648. Which is bigger: d or 2?
2
Suppose 123*z = 117*z. Let v be 5/(z + 5)*31. Which is smaller: 27 or v?
27
Suppose 46*x - 18937 - 16943 = 0. Let v = x + -779. Are 44/7 and v equal?
False
Suppose 11789 + 21853 = 34*u - 123*u. Which is smaller: u or 2?
u
Let p be (-9)/(279909/(-329))*130/62. Let q = p - 1/1481. Is q >= 1?
False
Suppose -12*s + 42 = 6. Suppose -70 = -s*g - 4*g. Suppose -10 = -3*w + 4*p, -2*w + 3*w - g = 3*p. Which is bigger: 0.06 or w?
0.06
Let x = -8/14445 + -2825434/14445. Let n = 196 + x. Which is smaller: 0 or n?
0
Let t = 40507 + -770050/19. Which is smaller: t or -21?
t
Let o(g) = g**3 + 36*g**2 + 68*g - 3. Let r be o(-33). Suppose 0 = 21*k - r + 222. Let d = k + -110. Which is smaller: d or 0?
d
Suppose 61*f - 317*f = -534784. Does f = 2087?
False
Let o be 1946/98 - 11 - 9. Are 0.35 and o equal?
False
Let j = 1504207/75 + -20055. Is 2/3 at least j?
False
Let w = 0.008 + 109.992. Let o = 109.85 - -0.15. Let u = o - w. Which is smaller: u or 1/4?
u
Let y = -3044 - -3233. Which is bigger: y or 566/3?
y
Suppose h - 2*h - 8 = -5*f, -3*h = -f - 4. Suppose 79 = 4*r + h*q - 7*q, -q = r - 13. Let o = 1049 + -1034. Do o and r have different values?
True
Suppose 3*u = -69 - 75. Let w be u/64 + (-5)/4. Which is greater: -3 or w?
w
Suppose 31*k + 217 = -74*k + 112. Is k at most -316/163?
False
Let y(c) be the second derivative of -4*c**2 - 1/20*c**5 + 5/12*c**4 + 5/2*c**3 + 0 - 25*c. Let q be y(7). Which is smaller: 1/19 or q?
q
Suppose b + 6928 + 995 = 5*z, -5*z + 7914 = 2*b. Does 9511/6 = z?
False
Let h = 201 + -45. Suppose y = -2, 4*x + h = 3*y - 5*y. Which is bigger: -39 or x?
x
Let v be 242/(-6) - (-1)/3. Let u(r) = r**3 - 7*r**2 - 7*r - 1. Let b be u(8). Let j be 84/b*10*(-5)/15. Is v smaller than j?
False
Let w(n) = -n + 9. Let g be w(10). Let l = 207 - 19. Let b = l - 1319/7. Is g equal to b?
False
Let w be 39/(-6) + 6 - 7/(-2). Let m be ((-8)/w)/((-34)/459). Suppose 4*a = -m + 16. Which is smaller: a or 0?
a
Let f = -0.1 + 43.1. Let c be ((-9)/(-30))/(((-36)/(-70))/(36/(-84))). Which is smaller: f or c?
c
Suppose 2 = 2*p + 84*s - 86*s, 4*p = -2*s - 2. Which is smaller: p or -0.7082?
-0.7082
Let r be 84/(-15) - 40/(-8). Let t(g) = -2*g**2 - 14*g + 17. Let l be t(-12). Let x = l + 926/9. Which is bigger: r or x?
x
Let k(m) = 129*m - 36. Let q be k(12). Suppose 0 = 12*w - 0*w - q. Which is greater: w or 127?
127
Let f = 3604 - 3638. Let g = 14 - 47. Is f at most as big as g?
True
Suppose 0 = -g, -2*n + 94*g = 90*g - 276. Is 5 at least n?
False
Let j = -486 + 334. Let v = -182 - j. Does -32 = v?
False
Let j be (672/(-80))/(-21)*10/4. Is -3/1604 less than j?
True
Let b = 132/589 + -261563/1169754. Which is smaller: b or -1?
-1
Let k(z) = 3 + 4*z + 45*z**2 - 2 + 165*z**2 - 3 - 3. Let f be k(1). Which is bigger: 210 or f?
210
Suppose -2*b = 13*m - 14*m + 19, -4*b - 64 = -4*m. Which is greater: 81 or m?
81
Let v be 254/(-1860) + (858/360 - 171/76). Is 0 bigger than v?
True
Suppose -3*d - 5*j = 13, 3*d - 75*j - 7 = -70*j. Which is greater: d or -9/272?
-9/272
Let x = -4341 - -4095. Is x at least as big as -238?
False
Let t = -1406.5 + 1538. Is t >= -1?
True
Let j = 2 - 1. Let c be (-4264)/(-426) - (440 + -430). Are j and c nonequal?
True
Let c be (4/2)/(8/44 + (-5624)/28633). Is -174 less than or equal to c?
True
Suppose 4*h - 3*k = 17, 4*h - h = 3*k + 12. Suppose 0 = h*a - 10, 64 = 4*x - 0*x - 4*a. Suppose 9*i + 27 = x*i. Which is smaller: i or 1?
1
Suppose 10*a - 39 - 1712 = 609. Suppose 0*f - 235 = -f. Which is greater: a or f?
a
Let a be (9/12)/(0 + 3 + 10602/48). Which is bigger: 1 or a?
1
Let o = 0.713 - 0.013. Let z = o - -40.3. Let t = z - 42. Is t smaller than -20?
False
Let d = 244 + -413. Let l = d - -89. Which is bigger: 0 or l?
0
Let n = 3 - 4. Suppose -5*q = 5*y, q + y - 9 = 3*q. Let v be q + (-6 - -11) - (-722)/(-362). Which is bigger: n or v?
v
Let l be 3 + -8 + 2 + -6. Suppose 35 - 2 = 11*h. Suppose -s + 0*g = 4*g - 7, h*g = 9. Are l and s equal?
False
Suppose 0*k + 2*k = c + 54, -4*k + 3*c = -106. Suppose -4*p + 16 = 0, 0*u + 2*u + p = k. Let y = 13730/91 - 1824/13. Do u and y have the same value?
False
Let g = 6590/1679 + -350/73. Suppose -2 = -j + v, -1 = 5*j - 4*v - 9. Is g < j?
True
Let x(n) = 13*n**2 + 17*n - 9. Let f be x(3). Which is bigger: f or 6/13?
f
Let u be (1972/102*-4)/(28/(-6)). Which is smaller: 3/7 or u?
3/7
Let t = 545467116 + -49114404594597/90041. Let o = t - -1/677. Which is greater: 1 or o?
1
Let o(d) = -2*d**2 - 17*d - 11. Let c = 100 - 96. Suppose 11 = c*h + 43. Let j be o(h). Which is greater: j or -4?
j
Suppose -60 = 64*k - 141*k + 67*k. Which is smaller: 156/23 or k?
k
Let f be (-8256)/(-2) - (58 - 56). Is 4127 at most f?
False
Suppose 0 = -447*i + 428*i + 17822. Let m = 941 - i. Which is greater: 34/13 or m?
m
Let c = 21 + -19. Suppose k - 4*i = -6, -c*i = -2*k - k + 2. Let b = -537/20 + 121/4. Which is bigger: k or b?
b
Let t be 85/((0 + -1)/(-31 + 32)). Suppose 157 = -2*g - 13. Is g at most t?
True
Let z be ((-7590)/81)/(-11) - 10. Which is smaller: 0 or z?
z
Let q = 222 + -42. Let t = -181 + q. Is 2/39 not equal to t?
True
Let l = 9128661 + -4731357. Let k be ((-20)/6)/(-5) - l/6695910. Let o = -4/1261 + k. Which is smaller: 0 or o?
0
Let q = -182/29 + -5/87. Let u = -76 - -84. Suppose 23 = -u*s - 17. Which is greater: q or s?
s
Let u be (-9)/(-189)*-9 - 40076/(-