+ -5). Let t = 2 + -4. Which is smaller: z or t?
t
Let a = 1506 + -1473. Is a >= 36?
False
Let o(w) = w. Let f be o(3). Let a(b) = -b**2 - 5*b - 3. Let k be a(-4). Suppose 2*h = -3*s - 1, k = -2*s - 4*h + f. Is -2 greater than or equal to s?
False
Let y = -57.3 - -55.3. Which is greater: 392 or y?
392
Let g be ((-390)/50 + 7)/((-6)/(-40)). Is g at most as big as -2/29?
True
Let f = -11 + 10. Let h be (f/(-4))/(4/16). Let x be -3 - ((-7)/2 + h). Which is smaller: -4 or x?
-4
Let z = 13018/1605 - 126/107. Which is smaller: z or 2/5?
2/5
Let k = 0.004 + -112.004. Let n = -111 - k. Are n and 53 nonequal?
True
Suppose -5*o = -3*o. Let p(w) = -4*w - 2. Let n be p(-2). Let t be ((-4)/(16/(-20)))/n. Is o equal to t?
False
Let k be 11*((4 - 5) + -3). Let u be (-212)/k + 2/11. Suppose z - 24 = u*z. Is -8 >= z?
False
Let t(g) = -g**3 - g. Let w be t(-1). Let m be (-32)/(-63) + w/(-9). Let f = -5718/5 + 1144. Which is smaller: m or f?
m
Let a be (-1 - 4) + 1236/246. Let y = 4553/82 - a. Is 56 >= y?
True
Let f = 4414 + -737162/167. Which is smaller: 0 or f?
f
Let j = 8717/15 + -1795/3. Is j greater than or equal to -18?
True
Let c(d) = -2*d**2 - 11*d - 4. Let j be c(-3). Suppose -5*x = j*x + 16. Which is smaller: 2/41 or x?
x
Let g be (-7 - -3) + -4 + (-272)/(-14). Suppose 5*w + 0*c - 50 = 5*c, 50 = 5*w + 5*c. Is g less than w?
False
Suppose 0 = b + 3*q + 15, -5 = -0*b - 3*b + q. Suppose -k + 4*y - 5 = 0, -4*y = -b - 4. Do 4/59 and k have different values?
True
Suppose 2*m + 2*m = 16. Suppose 2*v - m = 2. Let s = v - 3. Which is greater: s or 2/5?
2/5
Let r = -1101 - -1100.8. Which is greater: -0.121 or r?
-0.121
Let r(n) = 9*n**2 + 311*n - 11. Let i be r(-39). Which is smaller: 1 or i?
1
Let m(v) = v**2 - 30*v - 2 + 3 + 29*v. Let f(p) = -5*p**2 + p - 13. Let s(g) = f(g) + 6*m(g). Let x be s(6). Which is greater: x or -1/3?
-1/3
Suppose 4*o = o + 15. Suppose -2*t = o*k, 3*k = -t + 7*k. Suppose -2*d - 3*q + 7 = -7*d, 3*d - 3*q + 9 = t. Are d and 1 non-equal?
False
Let q = 1303 + -1238. Is q at most 61?
False
Let w = -242 - -236. Which is bigger: w or 3.4?
3.4
Suppose 2*k - 5 = -4*r - 1, 5 = 5*r + 5*k. Let i be 20 + -18 + (-52)/30. Are i and r unequal?
True
Let r = 3723 - 286687/77. Is 0 > r?
True
Suppose 20*t = 22*t - 136. Suppose -t = -3*p + 73. Suppose -4*f = 3*m - p, -3*m - f + 49 = 4*f. Is m at most as big as 13?
True
Let f = -681 - -678.1. Which is greater: f or 1/4?
1/4
Let l(f) = 3*f - 7. Let v be l(3). Let g be 36/8 - v - 4/(-8). Which is smaller: g or 21/5?
g
Let z be (((-1)/20)/(-1))/(228/(-48)). Which is bigger: z or 1?
1
Let q = -720 + 721.92. Is q bigger than 1/2?
True
Suppose 4*v + b = 2*b + 40, 5*v - 47 = 2*b. Let l(p) = p**3 - 24*p**2 + 51*p - 141. Let m be l(22). Is v >= m?
False
Suppose 0 = -4*l - 2*q - 18 + 2, -q + 12 = -2*l. Let r(w) = w**2 + 6*w - 11. Let h be r(-8). Suppose 0 = 7*z - 8*z - h. Is z < l?
False
Let y(g) = g**3 - 6*g**2 - 5*g - 10. Suppose 0 = 2*z + 3*w - 5, -30 = -3*z - 0*z + 3*w. Let t be y(z). Let f be ((-2)/1)/((-56)/t). Which is greater: f or -1?
f
Suppose 0 = -z + a - 70, -z - 56 = 2*a + 2. Let q = -44 - z. Is q bigger than 20?
True
Let f(o) = -o**3 + o**2 + 6. Let h be f(0). Suppose -l + h + 8 = 0. Suppose 0 = -0*c + 2*c - l. Are 0.1 and c nonequal?
True
Let a = 0.5 + -0.3. Let k = 49 + -49. Let l = k + 3. Is l smaller than a?
False
Let g be -6*(-1)/(1/26). Let l be (g/24)/((-4)/(-2)). Are l and 4 equal?
False
Suppose -12 = -5*u + j, -2*j = u - 0*j + 2. Which is smaller: 19/10 or u?
19/10
Let v(c) = -c**2 + 15*c + 193. Let m be v(23). Is -4.9 != m?
True
Let b(a) = 2*a - 93. Let k be b(38). Which is greater: 6 or k?
6
Let u(q) = 2*q**3 - 15*q**2 - 6*q - 18. Let m be u(8). Is -77/41 >= m?
True
Let f(z) = -6*z**2 + 28*z + 6. Let u be f(7). Let i = 116 + u. Are 22 and i equal?
False
Suppose 2*x = -4*i - 104, 2*x - 4*i + 9*i = -106. Let g = -28 - x. Is 21 greater than or equal to g?
True
Let p = 135 + -161. Which is smaller: -109/4 or p?
-109/4
Let i = 2 + 0. Suppose -i*j - 3*j + 10 = -r, -5*r = -j - 22. Is j less than 2?
False
Let a be (8/90)/((-2)/(-3)). Let p = 48 - 45. Suppose -3*k + 6*o - 5*o = 0, p*k - 2*o = 0. Which is greater: a or k?
a
Suppose -13*u = -9*u - 2832. Suppose -18*p + u = 294. Is 26 less than or equal to p?
False
Suppose -22 = -4*h - 6. Suppose -4*i + 0*i = 2*v - h, -2*v = 2*i - 2. Is i less than -2?
False
Let k = 10 - -4. Let l = k - 19. Which is smaller: -3 or l?
l
Let n = 0.43 + -7.93. Let u = -7.6 - n. Which is bigger: 1 or u?
1
Let u = -3.82 - 5.8. Let a = 0.62 + u. Which is smaller: -6 or a?
a
Suppose u = -5*a - 160, 0 = -3*a + u + 6 - 110. Let p = a + 34. Is -4/73 < p?
True
Let h be 13/(84/(-9) + 9). Which is smaller: -38 or h?
h
Suppose -9*n + 16*n + 7 = 0. Is n < -2/65?
True
Suppose -58 + 8 = -5*i. Suppose i = -3*w - 2. Which is smaller: -3 or w?
w
Let u be -2*(-1)/(-2) + 1. Let a = -74 + 108. Let o = a + -33. Which is bigger: u or o?
o
Suppose -20*z = 1243 - 7763. Which is greater: 327 or z?
327
Suppose -32 = -z - 2. Let b be 4/16*(-8)/z. Let r = 41 + -40. Is b bigger than r?
False
Let p be 47/(-282) + (-326)/(-12). Which is greater: 13 or p?
p
Let f = -0.01 - 0.19. Let y be (((-4)/3)/(-1))/((-2)/9). Let a be (55/75 - 1)*y/4. Which is smaller: a or f?
f
Let g(u) = 4*u + 14. Let y be g(5). Let t = 87 - y. Which is greater: 52 or t?
t
Let r = 2417316/307 - 7874. Let i = 26583089951/402784 - 2705937/41. Let t = i + r. Are t and 1 equal?
False
Let g(u) = u**2 + 2*u - 15. Let o be g(-4). Let f(s) = -s + 12 + s**2 - 2*s**2 - 7*s. Let m be f(-10). Which is smaller: m or o?
m
Let h = -305 + 205. Which is bigger: h or -0.1?
-0.1
Suppose 38*i = 37*i + 1. Which is greater: 105/46 or i?
105/46
Let r = -0.04 + 2.04. Let l = -22/29 + -78/203. Is r != l?
True
Let a = -17.3 - -158.3. Let q = 92 - a. Which is smaller: q or -1/2?
q
Let f = -20.962 - 0.038. Let p = -0.245 - -0.345. Is p >= f?
True
Let y = -29 + 37. Let n = y - 9. Is n <= 2?
True
Let f(y) = 3*y**2 - 4. Let m be f(2). Let w be ((-8)/(-2))/m*-334. Let t = w + 2841/17. Which is greater: t or 0?
t
Suppose -3 = -8*p - 43. Let g be (-113)/p - 3/5. Is g at most as big as 20?
False
Let i(o) = -o + 2*o**3 - 1 + 3 - 4*o**3 - 4*o**2 + 0. Let z be i(-2). Suppose -z*b - b + 14 = -a, 3*a - 38 = -5*b. Which is smaller: 7 or a?
a
Let v = 1709 - 1710. Let w be 40881/(-73780) - (-3)/15. Let c = 1/868 + w. Which is greater: v or c?
c
Let r be (-1 - -1)/((-4)/2). Suppose -m + 37 = -8. Let i be 90/(-42) + -2 + m/21. Which is smaller: r or i?
i
Let b be 1*((-8)/624*-6)/(-17). Is b at least 1?
False
Let p be (-1)/4 - (-5)/36. Let v = 300.9 + -301. Which is greater: p or v?
v
Suppose 4*j + 4*v = -1 + 17, 2 = -4*j + 5*v. Suppose 4 = -j*c + 10, -11 = -x - 3*c. Which is smaller: 10/9 or x?
10/9
Let z(c) = c**2 + 2*c - 4. Suppose 0 = 5*k + 4*t - 35, -1 = 2*k + k - 2*t. Let q(s) = -s**3 + 2*s**2 + 2*s. Let p be q(k). Let f be z(p). Is f greater than 2?
False
Suppose 2*i - 1 = r, 3*r + 7 = -2. Let n = 2 + i. Let h be 58/(-145)*(-10)/16. Is h < n?
True
Let f = 28.9 - 14.5. Let m = f + 5.6. Is 0 smaller than m?
True
Suppose 0 = -19*w + 4 + 15. Which is bigger: w or 1/27?
w
Let j be 2870/119 - 3/102*4. Let l = 1 - -22. Is l not equal to j?
True
Let i be 4/(-8)*(19 - 20). Which is greater: -0.0803 or i?
i
Suppose -1 = -4*j + 31. Suppose 0 = -2*o - 2*v + 16, v + 0*v = o - j. Is o at most as big as 9?
True
Let m = 18 + -12. Let x = -6.1 + m. Is 8 equal to x?
False
Let p = -60 - -65. Let n = -9 + 23. Let m be 38/7 + (-6)/n. Are p and m non-equal?
False
Let l(j) = j**3 + 5*j**2 - 7*j - 3. Let a be l(-6). Suppose 590 = 7*w + a*w. Which is smaller: w or 58?
58
Suppose 0*g + 2*g + p = -194, 4*g + 4*p + 380 = 0. Let i = g - -82. Is i greater than -14?
False
Let h = 40.21 - 0.21. Let u = h + -28. Let j = -17 + u. Which is smaller: 1 or j?
j
Suppose -5*n = -4*n + 243. Let l = 7291/30 + n. Let g be -1 + -1 + (0 - -1). Is g greater than l?
False
Let o = -69.1 + 43.8. Let q = -38.2 - o. Let f = q + 13. Is f at most 3?
True
Suppose -5*b + 7*h - 2*h = 0, 3*b = -3*h. Let p = -78 + 543/7. Is p smaller than b?
True
Let k(q) = -q**2 - 8*q - 6. Let i(o) = o + 1. Let c(x) = 3*i(x) - k(x). Let l be c(-10). Which is smaller: -0.12 or l?
l
Suppose 0 = -3*u - 803 + 6857. Which is greater: u or 20