*a - 5*a - 360. Which is greater: a or -38?
a
Suppose 2*q - 1468 = -5*k, 17*k + 5*q - 1171 = 13*k. Which is bigger: k or 1/2?
k
Suppose -b + 7 = -8*b. Let s = -4657/20 + 233. Which is smaller: b or s?
b
Let x be 2*(1 + (-4 - -3) + -2). Suppose 0 = 5*i - 7 - 18. Suppose i*l - 1 = -16. Is l greater than or equal to x?
True
Let d(t) = -5*t + 5. Suppose 6*j = 15*j. Let p be d(j). Which is greater: -6 or p?
p
Let k = 29 + 11. Which is smaller: 285/7 or k?
k
Let w = -18 - -19. Let b = 422/7137 - 5/117. Is b bigger than w?
False
Let g be 1*(-3)/33 + (-9513)/(-119889). Which is smaller: -0.04 or g?
-0.04
Let z = -14438/23 - -628. Let l be (-2 + -2 - -2)/2. Is z greater than or equal to l?
True
Let s = -0.0084 - 52.7916. Let a = -53 - s. Which is smaller: a or -14?
-14
Let n(g) = g**2 + 4*g - 3. Let a(o) = o**2 + 3*o - 4. Let j(z) = 5*a(z) - 4*n(z). Let k be j(4). Is k greater than 28/9?
True
Let g(a) = -2*a - 1. Let c be g(-2). Suppose 4*x = 7*x. Suppose -3*n - d + 3 = x, -4*n = -0*n - c*d - 17. Are n and 3 equal?
False
Let c = 972 - 971. Which is smaller: c or -1/484?
-1/484
Let a = 235/4 - 1637/28. Let m = -47 + 47. Which is smaller: m or a?
m
Let t(c) = -13*c**2 + 38*c - 170. Let s be t(4). Is -225 bigger than s?
True
Let t(s) = s**2 + 28*s + 14. Let u be t(-27). Does u = -13?
True
Let n(s) = -17*s**2 - 2*s. Let r be n(2). Let w be (-2)/(-5) + r/(-220). Is w > 1?
False
Suppose 17 = -2*j - 11. Let y = -0.13 + -0.73. Let c = y + -0.14. Is j <= c?
True
Suppose -z - 5 = 4*z. Let h = 1.412 - 1.391. Which is smaller: h or z?
z
Let u(j) = -2*j**2 + 13*j - 8. Let k be u(6). Let h be 15/6 - k/4. Let i be 3/21 + h/(-21). Which is smaller: i or 4/21?
i
Suppose -7*l + 2*l - 19 = y, 2*l + 5 = -3*y. Let m be (2/8)/(18/(-8)). Which is greater: m or y?
y
Let q = 5.67 + -0.67. Let u = q - 10. Which is smaller: u or 2?
u
Let a(c) = -c**2 - 1. Let f be a(0). Let k be 255/(-40) - -2 - -4. Is k < f?
False
Let s = 3.9 + -10.9. Let l = 0 + s. Is -1 at most as big as l?
False
Let l be -9 - (-2 - (-5328)/(-762)). Do l and 1 have different values?
True
Suppose -157 = 39*i - 196. Is i at least as big as -1/1494?
True
Let g = 25 - 23. Suppose -2*b - g = -6. Which is smaller: -3 or b?
-3
Let x(z) = -z**2 + 4*z + 6. Let p be x(5). Is p >= -2/73?
True
Suppose 3*k - 5 = 4, 0 = h - 4*k + 8. Let y be (2 + 0)*10/h. Suppose 15 = 5*p - 5*m - 0*m, -17 = -y*p + 4*m. Is p bigger than 3?
True
Let z be (-52)/5 - (-4)/10. Let x be ((-54)/(-8) - 7)*-12. Which is smaller: z or x?
z
Let a(m) = -8*m + 2. Let j be a(-2). Let u = -16 + j. Suppose 0 = r + u*r + 9. Which is greater: r or -2?
-2
Let c = 1.629 + -1.672. Which is bigger: c or 5?
5
Let f(p) = -146*p**2 + 127*p - 1. Let d be f(-2). Which is smaller: -840 or d?
-840
Let f = -418 + 417.95. Is f > -11?
True
Let m(j) = j - 5. Let t be m(5). Let p = t - 2. Let q(i) = i**2 + 3*i + 3. Let s be q(p). Which is greater: s or 4?
4
Let q = 49 + -41. Let z be q/16*1/(-20). Is z greater than 1?
False
Let u = -34 - -39. Suppose s = -1 + u. Let b be ((1 + -1)/s)/(-1). Which is greater: -3 or b?
b
Let c(l) = 70*l + 105. Let b be c(-4). Which is greater: b or -174?
-174
Let u(p) = -p**3 + 3*p**2 - 3*p - 4. Let q be u(5). Let o = q - -47. Is -22 less than o?
False
Suppose f - 4*o = -8*o + 9, 26 = 5*f + o. Suppose 5*x + y + 6 = -2, -17 = 2*x + f*y. Suppose 0 = 5*h - 0*h + k - 1, -2 = 4*h - 2*k. Which is smaller: x or h?
x
Let p = 0 - 2. Suppose 33 = 2*r + 3*k, -3*r + r + 27 = -3*k. Let o be (-3)/(r/(2 + 1)). Does o = p?
False
Suppose 4*y + 0 = -s + 10, y - 12 = -5*s. Suppose -2*q + s = 6. Which is bigger: q or -3?
q
Suppose 7*p = 3*p. Let u = 5 - 13. Let o be 6 + -8*(-12)/u. Which is smaller: o or p?
o
Let c = 26 - -10. Suppose -3*p = p - c. Let z = 3 + p. Is 11 > z?
False
Let m(j) = -9*j + 33. Let h be m(3). Suppose -y - 20 = 3*y. Let p = y - -9. Is p at most h?
True
Suppose 0 = 4*i + s + 5, s = i - 2 - 3. Let y be -3 + (-3)/12*-427. Let t = -103 + y. Which is greater: t or i?
t
Let w = -69 + 107. Let n be 4/34 - w/323. Which is greater: 2 or n?
2
Let v = -95/6 - -39437/2490. Is -1 >= v?
False
Suppose -4*t + 3*m = -15, 5 = 6*t - t - m. Let h be -3 + -1 + (2 - 13). Let d be (2 - (-10)/4)/h. Is d greater than or equal to t?
False
Let y(i) = -i**2 + 8*i + 14. Let w be y(9). Suppose w*p - 3*p = 0. Is 5 bigger than p?
True
Let m = 0.36 - 0.01. Let p = 0.25 - m. Let g = 0.07 + -0.18. Is p bigger than g?
True
Let j(f) = 20*f**2 - 142*f + 9. Let o be j(7). Is o at least as big as -22?
True
Let h = 0.32 - 0.4. Let v = h - 0.02. Let c = -0.1 - 0.9. Which is smaller: v or c?
c
Suppose 9 = z + 2*l, -4*z - 5*l + 3 = -21. Is z less than 1/5385?
False
Let y = 1106 - 1011. Is 94 greater than y?
False
Let j(z) = z**2 + 18*z + 10. Let f be j(-18). Which is bigger: f or 11?
11
Let h = 35 - 35. Which is smaller: -3/35 or h?
-3/35
Let i be (21/182)/((-30)/(-8)). Suppose 5*b = 5*v + 10, 19 - 11 = -2*v + 4*b. Which is smaller: v or i?
v
Suppose -3*c = -1068 - 717. Let t = -7157/12 + c. Which is bigger: -2 or t?
t
Let l be (0 + -2)*3*3/(-45). Which is greater: -4/33 or l?
l
Let t be (-81 - 11) + (-12)/4. Is -381/4 equal to t?
False
Let h be 556/20 - (-1)/5. Let d = -28 + h. Which is bigger: -4/3 or d?
d
Let c = -750 + 749. Let a = -5 - -2. Do c and a have the same value?
False
Suppose a + 5*x = 9*x + 11, 99 = 9*a + 3*x. Is -1/6 less than or equal to a?
True
Let r be ((-7)/((-14)/1))/(1/(-2)). Which is smaller: r or -48/29?
-48/29
Let m = -25.2 - -29. Let l = m - 3.7. Which is bigger: l or -4?
l
Let y be 5*(-10)/(-125) - 7/20. Do 1 and y have the same value?
False
Suppose 5*d = 3*g + 348, -276 = -4*d + g + 2*g. Let q be 1/2*d/(-27). Let j be ((-1)/2*0)/(-1). Is q less than j?
True
Let k be 2/4 + 826/28. Let a be (-10)/14*12/k. Is a less than -52/3?
False
Let y = -11.25 + 448.25. Which is smaller: y or 0.2?
0.2
Let f(a) = -3*a**2 - a - 2. Let x be f(-3). Let z = -25 - x. Is z at least as big as 14?
False
Let v = -895 + 888. Are v and -0.9 non-equal?
True
Let g(f) = -27*f - 1024. Let u be g(-38). Let p = 1.9 - -7.1. Are u and p equal?
False
Let x = -1.94 - 1.06. Let k = -4 - x. Let a = 0.08 - 6.08. Which is bigger: a or k?
k
Let a = -39569/4 - -9843. Let t = a + 49. Which is smaller: 0 or t?
t
Let l = 101.1 + -101. Suppose -187 + 15 = -2*j. Is j less than l?
False
Let c = 131 - 129. Do c and -47 have different values?
True
Let l be (-2)/4 - (-2)/(-4). Let c be 2/(44 + 0)*l. Is c at least 1?
False
Suppose -3*c = 2*c + 4*w - 21, 5*w = -3*c + 10. Suppose 3*f = -12, -4*d = c*f + 41 + 15. Is d greater than or equal to -8?
False
Let o be (3/(-6) - 0)*-2. Do o and -4/41 have the same value?
False
Let v = -23 - -24. Which is greater: 2/61 or v?
v
Suppose 4*j + 5*n = -880, 8*j - n - 1121 = 13*j. Which is smaller: -230 or j?
-230
Let a be 67/(-35) - (-4)/20. Let c(k) = k**2 - 18*k - 363. Let z be c(30). Do z and a have different values?
True
Let f = -2.02 - -0.02. Let b = 670 - 670.2. Which is greater: b or f?
b
Let l be 1/(3*(-1)/57). Let c = l - -17. Let t = 5.8 - 6. Which is greater: t or c?
t
Let b = 2336 - 4659. Let x = 30184/13 + b. Which is smaller: x or -1?
x
Suppose 0 = 29*q - 37*q + 16. Let j be ((-3)/(-5))/(1/5). Is j less than or equal to q?
False
Let w = 41 - 23. Suppose -w = -4*q - 3*j, -2*j + 8 = 2*j. Which is greater: q or 1?
q
Let c = -24 - -43. Let b = c - -26. Is b bigger than -1?
True
Let p(k) = -k**3 - 8*k**2 - 9*k - 15. Let a be p(-7). Which is smaller: a or 4/15?
a
Let m = 1276 + -2251. Is m < -977?
False
Let x(h) = h**3 - h**2 + 1. Let a(n) = -2*n**3 - 12*n**2 + 2*n - 34. Let l(k) = -a(k) - 3*x(k). Let t be l(15). Is t at most as big as 2/17?
False
Let l be 3/(-3) + -1 + -6. Let r(g) = g**2 - 14*g + 24. Let m be r(11). Which is smaller: m or l?
m
Let s = 0.07 - -25.93. Let o = s - 29. Which is greater: o or -8?
o
Let c = 19 + -10. Let f = 8 - c. Let p be (f/2)/(5/20). Which is smaller: p or -4/3?
p
Suppose y + 4*h = -24, -5*y - 3*h - 45 = -8*h. Let p = 0.3 + -1.3. Does p = y?
False
Let h be 8/20*-1 - 222/(-30). Does h = 60?
False
Let n be (1 - 50/45) + 124/1440. Are 0 and n unequal?
True
Let p be 1/2 - 3/(-18). Let g be 0/(1/(0 - 1)). Suppose g = -0*o - 2*o. Which is greater: o or p?
p
Let t = 1 + 3. Suppose t*a - 28 = -4*z, 7 = 3*z - a - 2. Suppose -6 = -2*x + z