= -0.02 + 0.05. Which is greater: k or u?
k
Let p be 1 - 3 - (-4 + 2). Suppose p + 9 = -u. Which is bigger: u or 3/13?
3/13
Let t = -79 + 47. Let w = 798 - 815. Let d = t - w. Are d and 0 unequal?
True
Suppose 3*x + 2232 = -9*x. Let z = x - -171. Suppose -4*n = -s + 56, n + n + 4*s = -46. Does z = n?
True
Let n be 68/238 - (117/(-252) + 1 + 0). Is 267 bigger than n?
True
Suppose -3*g + 17 - 3 = b, -2 = 2*g - 5*b. Suppose -5*n + m + 11 + 32 = 0, g*n - 42 = -3*m. Let w be (-140)/6*(-33)/88. Are w and n equal?
False
Let l be (9 - (-333)/(-36))/((-2)/(-4))*0. Are -2/36633 and l non-equal?
True
Let c = 304.2 + -304. Is c smaller than 5/62?
False
Let b(q) = -q**3 + 32*q**2 - 28*q - 961. Let f be b(30). Which is smaller: 2/4789 or f?
f
Suppose 0 = -3*m - s + 406, -252 = -3*m + 2*s + 151. Let t = -124 - -124. Suppose t = -6*r + 3 - m. Which is bigger: r or -21?
-21
Let z(r) = 3*r**2 + 66*r + 107. Let d be z(-23). Is 182 < d?
False
Let j(b) = -2*b**2 + 42*b - 18. Let h = 4 - -16. Let f be j(h). Suppose -l - f + 23 = 0. Is 16/7 greater than or equal to l?
True
Let j be (-2)/(-2 - 15/(-10)). Suppose -2*v - 2*u = -30 + j, 5*v + u = 45. Suppose 2*s - v = 6. Is 6 greater than s?
False
Suppose 8*g = -12512 + 4472. Let y = -7033/7 - g. Is y at least as big as -0.74?
True
Let y = 756/11 + -69. Suppose 18*h - 13675 = -7*h. Suppose -h*r + 543*r - 4 = 0. Which is greater: r or y?
y
Suppose 4*s + 0*s + 4*q - 1616 = 0, -829 = -2*s + 5*q. Let o = 410 - s. Do 6 and o have the same value?
False
Let h = 0.1816 - 0.1816. Is h greater than -23.54?
True
Let k(y) = -y**3 - 9*y**2 - 7*y + 14. Let j be k(-8). Let w(x) = -3*x + 3. Let v be w(j). Let g be (-3)/v - (-16)/20. Which is smaller: 3 or g?
g
Let s(r) = -2*r + 132. Let m be s(-13). Which is bigger: m or 175?
175
Suppose 2*w - 11*w - 1557 = 0. Let h = 194 + w. Suppose 2*j = -2*p + 50, -3*p - 81 = -6*p - 5*j. Does h = p?
False
Let k = -3 - -4. Let q = 161 - 215. Let i be 1/16*(-29)/(87/q). Is i at least as big as k?
True
Let v = -142 - -358. Suppose -2*s + 2*i - 257 = -705, 4*s - 872 = i. Does v = s?
True
Let i(l) = 5*l**2 + 30*l + 403. Let t be i(-13). Is t at most as big as 858?
True
Let q = -5 - 22. Let z be 1134/(-231) - 24 - (-2)/22*-1. Which is smaller: q or z?
z
Let w = -16.07 - -14.67. Let l be (14/12 + -1)*-1. Which is bigger: l or w?
l
Let i = 2.8 - -31.2. Let f = 195.9 + -161.56. Let a = f - i. Which is smaller: a or 1?
a
Let d = 1737 - 1786. Which is greater: d or -352/7?
d
Let j = 8440 - 7811. Is 625 smaller than j?
True
Let p(l) = -3*l + 89. Let o be p(24). Suppose 0 = -4*a + 16, 4*a - o = -r + 16. Which is smaller: 18 or r?
r
Suppose s = 3*p - 1, 15*p - 12*p = 4*s + 4. Which is greater: s or -68/251?
-68/251
Let g = 178829/330 + -6229/30. Suppose -24*k = 2690 + 5326. Let o = k + g. Are 1 and o equal?
False
Let r = -1625 - -1573. Let i(l) = l**3 - 9*l**2 + 13. Let v be i(8). Is r < v?
True
Let k be 412*(-1 - -2)/((-118)/(-118)). Which is greater: k or 2062/5?
2062/5
Let a = 7.79 + -8.2. Let l = 20.62 - 21. Let x = l - a. Which is bigger: -1 or x?
x
Let v = 7269 + -12395. Is v not equal to -5126?
False
Suppose 19*p = 6105 - 1735. Let h = 178 - p. Which is smaller: -53 or h?
-53
Let i be (-2)/(-7) + (-6)/21. Suppose -5*d + i*d + 25 = t, 0 = 3*t - d - 91. Suppose 5*z + 20 - t = 0. Is 2 > z?
False
Let c = -17447 - -14977. Which is bigger: c or -1?
-1
Let a = -891 + 892. Which is smaller: a or -639?
-639
Let r = 35 - 58. Let j = 19 + r. Let g(x) = x**3 - 3*x**2 - 5*x - 1. Let t be g(4). Is j greater than or equal to t?
True
Let k be 7/(28/12) + 12. Let d be 12/k*-2*-5. Suppose -3*i + d = -i. Which is smaller: 2/9 or i?
2/9
Let k = -283.3 + 288.946. Let o = -0.646 + k. Are 25/6 and o unequal?
True
Suppose 0 = 4*o - 2*s - s, -2*o + 2 = -s. Let g be o*((-35)/3 - -7). Is -71/5 smaller than g?
True
Let h be ((-130)/351)/((-312)/9). Which is smaller: -1 or h?
-1
Let s be (-3696)/(-7084) + 304/(-1288). Let d = 1088 + -620. Which is smaller: d or s?
s
Suppose -a + 468 = 25*a. Suppose a*h - 35 + 899 = 0. Is -49 < h?
True
Let f = -578 - -575. Let v be f*(535/(-60) - -9). Is v bigger than -1?
True
Let s be 6*8/(-18)*3/2. Suppose 4*p - 1148 = -220. Let g be s/(-6) - p/(-120). Is 4 > g?
True
Suppose -237 = -1459*l + 1451*l + 563. Is l greater than or equal to 133?
False
Suppose -231*a - 18*a - 11*a = -260. Let l(b) = -55*b - 3. Let k be l(1). Which is bigger: a or k?
a
Let d be 20/(-30) + (-442)/(-6). Let t = -513/7 + d. Which is bigger: t or 0.111?
0.111
Suppose -5*o - x - 4 = 0, 5*x + 12 = -5*o - 8. Is 44/93 less than or equal to o?
False
Let b = 3664701/314 + -11671. Is b >= 0?
True
Let y = 848 + -191. Let n = -557 + y. Do 99 and n have the same value?
False
Let x be -1 - ((2 - -2) + 0 + -17). Let h be (-28)/(-21)*x/2. Let b(d) = -3*d**2 + 23*d - 1. Let m be b(h). Is -7 < m?
False
Let i = 10/59 - -1907/236. Let m(h) = h**3 + 5*h**2 - 8*h - 4. Let o be m(-6). Which is bigger: i or o?
i
Suppose z - j - 52 = 0, 4*j - 62 = -5*z + 4*z. Suppose -z*a = -33*a + 4053. Which is greater: a or -0.1?
-0.1
Let a(u) = -6*u**2 - 15*u + 59. Let l be a(7). Let f = l + 339. Which is bigger: 10/21 or f?
10/21
Let i = 74.0351 - 0.0351. Let y = -1.9 + 7.9. Let l = y - 5.9. Which is greater: i or l?
i
Let v = 187 + -128. Suppose -4 = 5*y - v. Suppose 21 = -y*f + 4*f. Is -3 < f?
False
Let r be 2 - (-1)/24*-46. Let w(n) = -9*n - 45. Let u be w(-6). Suppose 14 = u*a + 5. Is r equal to a?
False
Let p be 2/(3 - (-1945)/(-650))*50/180. Is p >= 0?
True
Let y(d) = 6*d + 24. Let h be y(-4). Let k = -3526/3 - -1126. Let c = 2821/57 + k. Is c greater than h?
True
Let d be ((-320)/(-30) + -10)/((-6)/(-9981)). Is 1109 equal to d?
True
Let m be (-8)/18*(-10989)/222. Which is smaller: m or 7?
7
Let d be (144/720)/((-2)/(-60)). Let q(b) = b**3 + b**2. Let v be q(0). Suppose 0 = -v*p - 3*p + 21. Is d less than or equal to p?
True
Let p = 1107 - 1042. Which is smaller: p or -2.3?
-2.3
Let o = 450 - 6138. Is o greater than or equal to -5688?
True
Let x(m) = -m**2 - 5*m + 1. Let r be x(-4). Suppose -7*d + 12*d = -5*q + 2820, 2*q = 3*d - 1687. Let z = d + -557. Do r and z have the same value?
False
Let j = 15 + -14.66. Let n = j + -0.3. Let p = 481/3 - 161. Which is greater: n or p?
n
Let q = -1211 - -1395. Let y be ((-3)/(-3))/((-3)/(-552)). Is q != y?
False
Let v = -3247 - -6243/2. Let h = 115 - 242. Is v less than h?
False
Let w = -7342/79003 + 21/199. Which is greater: w or -1?
w
Let s = -12440 + 11664. Is -776 not equal to s?
False
Let p be (-11)/19767*-7143 - 4. Which is smaller: 1 or p?
p
Let n be 12/8*22 - 4/2. Let u be 32/3*(n/(-6) - -5). Let q be ((-1)/(-2))/((-2)/4). Which is smaller: u or q?
u
Let h = -27 + 26. Let q be 18/(-30) - (-23112)/20. Let a be 2 + (-14)/6 - (-301)/q. Which is bigger: h or a?
a
Let x = -5984 - -8136. Is x greater than 2152?
False
Let i(v) = 2*v**3 + 9*v**2 + 137*v + 320. Let q be i(-8). Which is smaller: q or -1222?
q
Let d = -2.49 - 30.11. Let u = -211.4 + d. Which is smaller: -1/3 or u?
u
Suppose 3*m - 2*d = 346, 4*m + 3*d = 173 + 294. Do m and -4.7 have the same value?
False
Let r be -22 - 0/(2 - 0). Let s(g) = -g**3 - 6*g**2 - 9*g + 4. Let n be s(-4). Suppose 0 = n*c + 104 + 72. Is c at most as big as r?
True
Let v = -6255.1 - -6255. Is v greater than 5201?
False
Let i(n) = 24 + 755*n**2 - 378*n**2 + 19*n - 375*n**2 + 6*n. Let c be i(-1). Suppose -5*u = 0, -2*w = -3*u - 6 - 4. Which is smaller: w or c?
c
Suppose 47 = -4*q + 43. Let h be 6/9 - (-106)/(-105). Which is smaller: q or h?
q
Let y(s) = s**2 + 1. Let x be y(-2). Let q(f) = -f**3 - 14*f**2 - 12*f + 19. Let u be q(-13). Suppose -u*c = -c + 3*i - x, i = 0. Which is bigger: c or 1/34?
c
Suppose 11*a = 25*a - 294. Suppose -12*t + a = 9*t. Are t and 21/10 non-equal?
True
Let w be (-2 - (-9 + 4)) + (-138)/(-2). Suppose -g = 5*z + w, 4*g = 3*z - g + 60. Let q be (5/(z/(-2)))/((-2)/36). Which is bigger: q or 1?
1
Suppose 2*m + m - 15 = 0. Let w be ((268/(-12) - -2)*-3)/1. Let u = w + -59. Is u at most as big as m?
True
Let c = 806 - 928. Which is smaller: -131 or c?
-131
Let s(w) = -20*w + 157. Let f be s(8). Suppose 5*u - 124 = -169. Are f and u unequal?
True
Let o(x) = -2*x**2 - 5*x - 2*x**3 + 7*x**2 - 11*x**2 + x**3 + 7. Let s be o(-5). Let h = 19 + -16. Which is bi