22. Which is smaller: -1.3 or a?
a
Let v = -1.658 + 1.358. Does 181 = v?
False
Let k be 40/88*7 - 3. Which is greater: -91 or k?
k
Let b = 1649 - 1653.13. Is b bigger than -2/3?
False
Let f = -280 + 242. Is f greater than or equal to -57?
True
Let j be (-6)/(-9)*((-48780)/37 - 3). Let i = j - -881. Which is smaller: 1 or i?
i
Let r = 1.25 - 52.25. Let s = 43 + r. Is s equal to 0.2?
False
Let d = -409/11 + 28531/770. Do d and 1 have different values?
True
Suppose f - 8 = -3*f. Suppose -f = 5*a - 17. Suppose a*z = 8*z. Which is smaller: z or -1?
-1
Suppose -800 = -7*h + 40. Is 118 < h?
True
Let r(m) = m**2 + 48*m + 125. Let s be r(-44). Are -48 and s unequal?
True
Let a be 50*14/18 - (-4)/36. Which is bigger: 35 or a?
a
Let s be (10/(-8))/((-2)/(-16)). Let n(d) = -d**3 - 9*d**2 + 9*d - 14. Let y be n(s). Let j be y/(-52) + (-1 - -1). Which is smaller: -1 or j?
-1
Let z = -2336 - -1829. Is z greater than or equal to -508?
True
Let s(u) = -u**3 + 9*u**2 + 9*u - 1. Let x be 4 + 4 + -13 + 15. Let n be s(x). Which is smaller: n or -12?
-12
Let f = 1038 + -129752/125. Which is bigger: f or 0?
0
Let g = -7 - -3. Let m(z) = z**2 - 5*z - 29. Let x be m(8). Which is bigger: g or x?
g
Let f(y) = 2*y - 13. Let a be f(7). Is a at most -40?
False
Let q = -68 - -73. Suppose q*u - 52 = -12. Are u and -3 nonequal?
True
Let a = -137/14 + 19/2. Is a > -18?
True
Let j = 873/2 - 4369/10. Let f = 3.656 - -0.044. Does f = j?
False
Suppose -u + 12 = -3*t, -t - 10 - 7 = 4*u. Are t and -34/7 equal?
False
Let h be 47/(-4) + (-1)/4. Suppose 6*m + 2 - 62 = 0. Let g = m + h. Which is bigger: -5 or g?
g
Let w = 27.7 + -39.7. Which is greater: w or -1?
-1
Let g = 42.4 + -38. Let f = -4.5 + g. Is f less than 5?
True
Let b be (8/6)/(2*4/(-12)). Let h be (-1 - 1)/(b/(-3)). Which is bigger: h or -7?
h
Suppose -2 + 8 = 2*z. Suppose -a = -z*a. Which is bigger: a or -4?
a
Let j = 22.1 + -120.1. Let d = j + 75.6. Let x = d + 4.4. Is 2/3 > x?
True
Let w = -5 - -3. Let p = w + 15. Let b = p + -13.06. Is -2/3 <= b?
True
Suppose -2*j = -3*r - 271, 28*r + 532 = 4*j + 32*r. Let v be (4/(-3))/(10/(-1005)). Are v and j nonequal?
False
Suppose -5*o - 1275 = -4*d, 31*d = 36*d + 2*o - 1569. Is 317 >= d?
True
Let g(c) = -c**2 - 11*c + 32. Let j be g(-13). Suppose 3*k = j*k + 12, -5*b + 4 = -k. Let v = -425/56 + 71/8. Is v at least b?
True
Let z = -0.61 + 0.5. Let b = -0.878 + -0.012. Let g = b + z. Which is smaller: 0.05 or g?
g
Let a = -18 - -20. Suppose q + 1 = n, -q = a*n - 11 + 3. Let r be ((-40)/(-50))/(q/35). Is 14 greater than or equal to r?
True
Suppose -26*x + 6968 = -0*x. Do 268 and x have different values?
False
Let b be 10/(-55) + (-65)/(-55). Let u = -3080/46779 - -2/1509. Let p = u - -65/527. Is p smaller than b?
True
Let x be 7698/(-24) - 4/16. Let v be 2/10 + x/1555. Which is smaller: -1 or v?
-1
Suppose 11*u - 98*u = -4002. Which is bigger: u or 38?
u
Let b(l) = -l + 9. Let c be b(7). Let j(z) = z**2 - 2*z + 2. Let u be j(c). Suppose 5 = -u*x + 3*o + 42, -x + 2*o = -21. Is x >= 12?
False
Let o = -2382 - -111949/47. Let t be 3/(-9)*((-12 - -3) + 9). Which is greater: o or t?
t
Let w(j) = -2*j**2 + 32*j - 79. Let v be w(20). Is v less than -239?
False
Let y = 961 + -18249/19. Let h(j) = j**3 + j**2 - 6*j + 1. Let v be h(2). Which is bigger: y or v?
v
Let w = -3 + 4. Suppose 0 = 9*p - 8*p + 1. Let h be (-3)/78*-25 + p. Which is smaller: h or w?
h
Let p be 46/(2 - (-44)/(-6)). Let z = 185/24 + p. Let u = z - -31/60. Is 6/7 != u?
True
Suppose -59 = 3*f + 19. Let g = -27 - f. Which is bigger: 5/36 or g?
5/36
Let m = 19609/9 + -2169. Which is smaller: 1 or m?
1
Let k = 30 - 31.3. Let q = -1.5 - k. Let g = 0.73 - 0.53. Which is smaller: g or q?
q
Let t = -974813/234 - -51258/13. Let l = 449/2 + t. Are 2/3 and l equal?
False
Let c = -0.0488 + 511.0488. Is 2 > c?
False
Let q be (380 - 1 - 0)/(-152). Let j = 1/152 - q. Let i be (-2)/5*5/(-8). Which is bigger: i or j?
j
Let g be (-2)/11 + (-70)/(-22). Suppose -4*s + g - 1 = 5*h, -2*s + 8 = -h. Let d(b) = b - 1. Let m be d(s). Is m > 4?
False
Suppose u - 2*u + 2*f - 4 = 0, -2*u - 5 = -3*f. Let r be ((60/(-25))/((-10)/(-25)))/((-28)/6). Which is bigger: r or u?
u
Suppose 2*z - 1 = -3. Let s be (4 + -8 - -6) + z. Let r be -1 + 0 + (-27)/(-21). Is s greater than or equal to r?
True
Let o = 239 - 608. Is -370 <= o?
True
Let q(o) = -3*o**3 + 2*o**2 + 8*o + 41. Let l be q(7). Is -834 greater than or equal to l?
True
Let r(i) = i**2 + 17*i + 21. Let m be r(-14). Let f = m + 149/7. Are 2 and f unequal?
True
Let z = -8 + 7. Does z = -1/130?
False
Let f = 0.008 - 0.608. Is f > 20?
False
Suppose -241 = 18*d + 173. Which is bigger: d or -28?
d
Suppose -238*b + 257 = -237*b. Is b <= 258?
True
Let k = -58 - -24. Let i = 35 + k. Let a = 379 - 4173/11. Is i at least a?
True
Let s be (1 - 1 - -3)*(3 - 0). Suppose 5*d + 85 = s*d - 3*y, 2*y - 32 = -2*d. Is 20 < d?
False
Let j(u) = -2*u**2 + 8*u + 6. Let y be j(5). Let d(p) = -p**3 - 3*p**2 + 5*p + 4. Let o be d(y). Which is greater: 5/4 or o?
5/4
Suppose -h - 4*h = 365. Let c be 2/5 - h/(-170). Which is greater: 0 or c?
0
Let r be ((-5)/30)/(-1) + (-6)/((-36)/509). Suppose 5*m + 5*c - 204 = 216, -4*c + 78 = m. Is m greater than r?
True
Suppose 1 = -2*o - 3*w, 0 = 4*o + 2*w - 2. Is 7/38 greater than o?
False
Let m be (6/15)/((-2)/20). Suppose 0 = 2*p + 4 + 6. Is p at most m?
True
Suppose -2*m + 0 - 2 = -2*j, 29 = m + 5*j. Suppose t + 4*u + u = -18, -3*t - m*u = 10. Suppose 0*z = t*z - 18. Is z equal to 8?
False
Let n(y) = y**2 + 10*y + 28. Let m(p) = 2*p**2 + 20*p + 55. Let z(k) = -6*m(k) + 11*n(k). Let i be z(-11). Is i <= -32?
True
Suppose -5*n = 3*p + 325 + 444, 0 = -n - 2*p - 151. Which is greater: -156 or n?
n
Suppose -2*y + c - 56 = 4*c, -10 = y - 3*c. Let n(m) = -m**2 + 3*m - 4. Let d be n(6). Is y at least as big as d?
True
Let m be 2/5 + 8/5. Let z be (-2 - -6)*315/(-120). Let s = m + z. Which is greater: s or -9?
s
Let l = 10 - 6. Let n = -1322.3 - -1322. Is n >= l?
False
Let a be (1 - (-51)/(-6))*(-4)/6. Suppose 4*f = 2*j - 2, 2*f + j - a = 6*f. Is f >= -2?
True
Let g be 19834/2834 + (14 - 21). Is 1 at most g?
False
Let d = 2 + 0. Suppose -3*o + 27 = -4*l, 2*l + 5*o - 13 = -d*l. Which is smaller: -5 or l?
-5
Suppose -2*p = f - 5, 0 - 1 = -f + 2*p. Suppose -f*a + 26 = -16*a. Which is bigger: -9 or a?
a
Let z = 28 - 22.1. Let j = z - 6.7. Which is bigger: j or -0.4?
-0.4
Let v = 13 + -10. Let m = -87 + 86. Is m >= v?
False
Let u = 12 + -9. Suppose 0 = 3*k + z - 3, -2*z + 3*z = -k + u. Let s be (-2)/1 + (-19)/(-7). Are k and s unequal?
True
Suppose 2*y - 4*s - 4 = 0, -4*s + 2 = -2*y - 6*s. Suppose y*w = w. Suppose d + w*d - 4*x + 13 = 0, d + 2*x + 13 = 0. Is d at least as big as -13?
True
Let r = -2 + 2.02. Let q = r + 8.98. Let g = -6 + q. Are 1/2 and g nonequal?
True
Let g = -3 - -4.8. Let o be (-11)/22*(-5 + 4)*2. Which is greater: g or o?
g
Let b = -59.08 + 56.009. Let k = 0.071 + b. Is 3 < k?
False
Let d be (((-20)/6)/(-5))/(290/(-15)). Let n be (0/(3 + -7))/2. Which is greater: n or d?
n
Let n be (9 - 11)/((-1)/(-5)*-2). Suppose -44 = 4*s - 2*s - 2*o, n*s + o = -110. Is 3 bigger than s?
True
Suppose -3*u - 90 = -27*t + 24*t, -u - t = 36. Which is bigger: u or -101/3?
u
Let r be (-2 - (-11)/3)*240/(-750). Is 2/7 at most as big as r?
False
Let t be (-2)/84 + ((-24)/(-28) - 1). Which is smaller: t or -273?
-273
Let i(t) = 0*t - 3*t + 2*t + 2. Suppose m + 2*u + 4 = 11, 0 = 5*m + 3*u. Let f be i(m). Which is smaller: f or 14/3?
14/3
Let u = 1668 + -1667.9. Is 797 less than or equal to u?
False
Let o be (-3)/((-357)/(-710)) - (1 - 7). Is o at least as big as -1?
True
Let m = -63 + 66. Suppose 5*c + 2*h + 30 = 0, -5*c - 6 = -5*h + 24. Is c >= m?
False
Let q = -2.94 - 0.06. Let m = 117 + -38. Let c = 81 - m. Which is bigger: c or q?
c
Suppose -5*j + 8*j = 42. Suppose j = 3*a + 17. Suppose -2*k + m - 1 = -0*m, 0 = 2*m + 6. Which is greater: a or k?
a
Suppose -3*r + 5*v = 6 - 60, 0 = -4*r - 5*v + 37. Let c(l) = 7*l + 1 + 5*l - 4*l + l**3 - 7*l**2. Let h be c(6). Does r = h?
True
Let a(b) = b**3 - 20*b**2 + 41*b - 37. Let z be a(16). Is z >= -405?
True
Let u = -2 - -7. Suppose -u*p = -88 - 2. Let s(i) = -20*i**3 - 2*i**2 - 3*i - 2. Let g be s(-1). Is p less than g?
True
Let t(v) = -11*v + 60. Let k be t(