9*k**2 + 47*k - 3. Let l be m(16). Let p(x) = -6*x**2 - 2*x. Let q be p(-2). Which is smaller: q or l?
q
Let y = 1633 - 1721. Is y at most as big as -93?
False
Let d = -16 + 13. Let l = 1 + d. Are 0 and l non-equal?
True
Suppose 2*l + 12 = f + 8, 0 = 2*l - 2. Suppose 0 = c - 36 + 6. Suppose c = 3*k + f. Are k and 8 equal?
True
Let o = 79 + -78. Which is greater: -2/5 or o?
o
Let w = 1005/2 + -5179/10. Let d = w + 15. Let v = -3 + 2.6. Do v and d have different values?
False
Let i = -93.06 + 93. Which is smaller: -7 or i?
-7
Let i be (-81 + 3)*(-4)/12. Suppose 2*m - 3*h = -3*m - 56, -2*m = -3*h + i. Is m < -10?
False
Let f(w) = -9*w + 24. Let o be f(4). Let i(r) = r**3 + 13*r**2 + 11*r + 5. Let u be i(o). Which is smaller: 18 or u?
u
Suppose 16*f + 2 = 14*f. Let q be (f - 74/(-40)) + (-56)/(-140). Let v be (2 + -1)*(4 - 2). Which is greater: v or q?
v
Let q be (22/(-33))/(2/(-3)). Suppose 163 - q = -3*u. Let h be (-104)/18 + 12/u. Which is greater: h or -7?
h
Suppose -5*d = -5*j + 6*j - 16, 18 = 3*j + 5*d. Let t be (6/24)/(j/(-4)). Which is bigger: -1/16 or t?
-1/16
Let x be 30/35 + ((-48)/14)/6. Suppose 4*a = -8, 4*i - 3*a + 2 = -2*a. Is i at least x?
False
Let p(h) = 3*h**3 - h - 1. Let c be p(2). Suppose 0 = -4*u + 7*u - c. Let k be (((-54)/12)/(-1))/((-6)/(-8)). Which is bigger: u or k?
u
Let r = 11/247 - 4330/113867. Which is greater: r or 0?
r
Let p be 2180/30*(-120)/(-1745) - 5. Which is smaller: p or -1?
-1
Suppose -3*m = -5*d + 851, 5*d - 843 = 5*m - 6*m. Suppose 16 = 9*g + d. Suppose -2*p - 51 = p. Is p greater than g?
False
Let l be 1964/4354 - (-294)/(-686). Is -1 < l?
True
Let r(z) = 2*z - 7. Let n be r(7). Suppose 2 = n*s - 5*s. Is s < 2/35?
False
Let o = -397 + 398. Which is greater: o or 14/9?
14/9
Let r be (-7)/(126/58) - (-2)/9. Is r at most as big as -12?
False
Let y be (-1 - -2) + -231 + 2. Let j = -1379/6 - y. Let s = 1029.1 - 1029. Which is bigger: j or s?
s
Suppose 4*i = -s + 3*s - 20, 0 = -3*i - 12. Suppose -2*b + 1 = -3. Suppose 0 = -0*n + b*n. Is s at least n?
True
Suppose 0 = -9*o + 29*o - 40. Is 17 equal to o?
False
Let p be ((-12)/2)/((-6)/4). Suppose 224 = 4*n - 0*i + p*i, -4*n + 209 = i. Is n bigger than 51?
False
Let h be -1 + 10 - (-10 - -18). Let u = -1244/1593 + 22/27. Is u > h?
False
Let f = 14 + -11. Suppose -h - 5*c - 19 = 0, 0*h - f*c - 13 = h. Let x = -8 - h. Is -2 greater than x?
True
Suppose 3*w + 2 + 1 = 0. Let u be w*5/(525/20). Is u at most -1?
False
Let o = 25 + -19. Suppose -o*v + 11 = -19. Suppose 3*c - 14 = v*l, -l + 9 = c - 9. Is c less than 13?
False
Suppose -2*q + 9 = -d, -2*q = -5*d - 17 - 4. Suppose 5 = x - 5*g, -3*x + 53 = g + q*g. Let m = -15 + x. Which is greater: m or -1/17?
m
Suppose 5*x - 13 - 12 = 0. Suppose 5 = 4*g + x. Is 4 != g?
True
Suppose 16 = 2*m + 7*x - 3*x, 5*m = -5*x + 20. Suppose d + m*p = -p - 4, 0 = -3*d + p - 4. Do d and -1/9 have the same value?
False
Let i be 2 + 1 + (-8)/1. Let p be 7/(-20)*((-1 - i) + -8). Which is bigger: p or 0?
p
Let p(i) = -i**2 + 2. Let x be p(2). Let h be x/(-8) + 10/(-104). Suppose -11*a = -108 + 119. Which is bigger: h or a?
h
Let x be (-24)/(-30)*255/3. Suppose 5*s = -5*a + 78 + 7, 0 = 4*s - a - x. Is 14 <= s?
True
Let o be ((-40)/50)/((-2)/15). Let b be (40/(-6))/((-4)/o). Let v = -7 + b. Which is smaller: 2 or v?
2
Let d be 9*-3*(-4)/12. Suppose 0 = -4*y + 3*u + 7, 2*u = -u + d. Let q(i) = i**2 - 3*i - 2. Let v be q(y). Do 2 and v have the same value?
True
Suppose 3*u - t = -3 + 1, 3*u - 3*t = -6. Which is greater: u or -3/106?
u
Suppose x + 16 = 5*v, 0*v - 5*v + 17 = -2*x. Which is greater: x or 2/39?
2/39
Let c be (4 + -5)/((-75)/36 - -2). Suppose 3*w + 42 + c = 2*o, 0 = -5*o. Do w and -22 have the same value?
False
Let o = 8 - -83. Which is bigger: o or 89?
o
Suppose 40*h + 63 = -23*h. Which is bigger: -69.2 or h?
h
Let u be (-4)/(-6)*(-5)/10*-51. Which is bigger: u or 31/2?
u
Let m(s) = -2*s + 17. Suppose 7*p = 9*p - 14. Let q be m(p). Which is smaller: q or 0?
0
Suppose -32 = -10*y + 6*y. Let p(a) = a**2 + 3*a + 2. Let w be p(-4). Let o = y - w. Which is smaller: o or 3/5?
3/5
Let a be 8/(-16) - 2/(-4). Let i be 24*(21/(-6) - -3). Let r be 6*(-8)/i + -3. Does a = r?
False
Let n be 135/9 + 2 + -2. Let y(t) = t**3 + 4*t**2 - 9*t - 7. Let c be y(-5). Which is greater: n or c?
n
Suppose 4*j - 1 = -25. Let m(o) = o**3 + 6*o**2 + 6. Let x be m(j). Is x less than 4?
False
Let u = -36 - -38. Suppose 10*v = u*v. Which is bigger: -6/11 or v?
v
Suppose -96 = -2*x + 10*x. Suppose 9 + 1 = 5*g. Suppose -24 = g*v - 0*v. Is v greater than or equal to x?
True
Let h = -2 + 2. Let o = -26 + 54. Let m be (2/o)/((-14)/12 - -1). Is h < m?
False
Let y(x) = -x**3 - 15*x**2 - 10*x + 12. Let b be y(-15). Let k be (-3)/13*(-18)/b. Is 1 equal to k?
False
Let n be 1 + 11/(-13) + (-592)/(-208). Let s = 3 + 0. Is s at most as big as n?
True
Let c = 826123883/18870 - 437797/10. Let u = c + -2/185. Which is smaller: u or -1?
-1
Let h be 3/1 - 3*597/72. Let m = h - -97/4. Which is smaller: 2 or m?
2
Let f be (-7 + 5)*2*11. Is f bigger than -42?
False
Let j = 0 - 60. Let v be (-2)/(-10) + (-48)/j. Is v equal to -4/27?
False
Let p = -5.1 - -5. Let i = -0.067 + 5.067. Are p and i unequal?
True
Let p(m) = -m + 4. Let y = -22 + 25. Let r be p(y). Is r at most -3?
False
Let o = -2142 + 2142.6. Is o not equal to 6/7?
True
Let y = 4348 + -56532/13. Let r be (-2)/((1/1)/1). Is y greater than or equal to r?
True
Let j = -130 + 160. Which is smaller: j or 29?
29
Let j = -157 + 111. Let c be 4/6 - j/(-54). Which is smaller: c or 1?
c
Let c be (3/2)/((-3)/(-8)). Let z = 41 + -30. Suppose -4*p + 27 = -3*h, z = -4*p + 4*h + 43. Is c bigger than p?
True
Let l = 64 + -41. Let j = l + -22. Is j greater than 32?
False
Let n = -414 + 410. Suppose y = -2*s - 3, 0 = -s - s + 3*y + 1. Are n and s nonequal?
True
Suppose -2*v + m - 26 = -4*m, 2*v + 4*m = -8. Which is smaller: v or -101?
-101
Let s(z) = -7*z**2 - 58*z + 6. Let x be s(-15). Is x at least -700?
True
Suppose 12*t + 23*t + 35 = 0. Suppose 0*m + 175 = 5*m. Let z be m/28 + (0 - 1). Is t less than z?
True
Let o = 345/16 - 43/2. Let f = -10 - -10.1. Which is smaller: f or o?
o
Suppose 0 = -4*n - 3*f + 490, -2*n + 255 - 15 = 4*f. Let o = n + -123. Do o and 0.4 have different values?
True
Let c be (9/3)/(-1)*-1. Suppose -8 - 22 = -c*b. Let o = b - 10. Which is greater: o or 3/4?
3/4
Let h = -788/7 - -96. Which is greater: h or -16?
-16
Let d be 2/(-184) - 2/8. Let k be (3 + (-16)/6)*(2 - (-13 + 18)). Which is smaller: k or d?
k
Suppose -3*c + c - 56 = -3*n, -n + 4*c + 2 = 0. Are -2 and n unequal?
True
Let m(g) = 27*g - 2. Let s be 12*6/18 - (2 - 1). Let f be m(s). Which is smaller: f or 80?
f
Let f = -139 - -66. Is 4 not equal to f?
True
Let r(j) = -j + 13. Let c be r(10). Suppose c*f - 18 = -a, a + 2*f + 0*f - 13 = 0. Suppose d + a*d = 0. Which is greater: d or -1/4?
d
Suppose -690 = 2*i + 3*i - 5*x, -4*i = -x + 546. Let p = 78 + i. Is p at most as big as -58?
True
Let p be (4/55)/(6/(-570)). Let b = -17992 + 1384830/77. Let q = p - b. Are q and 1 unequal?
True
Suppose -33 = -5*r + 122. Which is smaller: r or 154/5?
154/5
Suppose -190*v - 45 = -187*v. Which is bigger: -2 or v?
-2
Let r be 12 + -16 + (-381)/(-9). Are r and -0.1 equal?
False
Let g be (-2)/225*48 - 2/(-5). Is 0 less than or equal to g?
False
Suppose -4*v + n + n = -150, 0 = -v + n + 35. Let q be 75/3*(-4)/((-80)/12). Let a be q/v + (-10)/(-16). Which is greater: 2/3 or a?
a
Suppose 5*h - 5*v = -455, -4*h + v + 2*v - 360 = 0. Is h greater than or equal to -87?
True
Suppose -4*t = 5*b + 278, 8*t - 3*t = 2*b - 364. Suppose 2*k - 1 = -3. Let m be 1/k + t/(-81). Which is bigger: m or 1?
1
Let o = 5 - 4.94. Let z = 0.011 - 0.049. Let f = z + -1.962. Is f > o?
False
Suppose 2*b + s = 6*b - 6663, -5*b - 4*s = -8355. Let c = -211707/127 + b. Is c > 1?
False
Let q be (-2)/(2 - 1) + 8 + -10. Let y be q/22 + 0 + 378/22. Do y and 17 have the same value?
True
Let l be ((-20)/3 + 0)*(-3)/2. Suppose 0 = -5*j - l. Do -1/2 and j have the same value?
False
Let c be (129/21 - 6) + (-32)/28. Are 8/23 and c equal?
False
Let x be 6/12*8 - 8 - -4. Is x smaller than -8/45?
False
Let g = -241 - -219.2. Let t = -22 - g. Which is smaller: t or -0.1?
t
Let y = -0.245 - -0.345. Are y and -11 non-