. Let y be 148/c + -3 - -2. Is 0 at most y?
True
Suppose 29*v = 10*v - 1539. Which is bigger: -82 or v?
v
Suppose 3*k + 0*k + 174 = 0. Let y(w) = 18*w - 474. Let p be y(23). Which is bigger: p or k?
k
Let r be 98/6 - (-8)/12. Let o be -4 - ((5 - 3) + r). Is o at least as big as -21?
False
Let d = 775 - 698. Which is smaller: 1/2 or d?
1/2
Let g be (-3)/(-6)*0/28. Is 8/313 > g?
True
Let p(t) = 14*t - 2. Let y be p(1). Suppose -y + 11 = -n. Which is bigger: n or 2/133?
n
Let b = 11 - 7. Suppose -b*n + 4 = -0. Suppose -n = -7*f + 8*f. Which is smaller: f or 0.03?
f
Let b(r) = r**2 - 13*r. Let y be b(10). Let t be y/4*4/(-6). Suppose -6 + 1 = -t*n. Which is bigger: n or 0?
n
Let r = 79.2 + -100. Let l = -16 - r. Let x = 5 - l. Which is greater: 0.4 or x?
0.4
Let g = 3853/135 - 28/135. Let w be (12/4 + -31 + 2)/(-1). Let m = g - w. Is 1 not equal to m?
True
Let y = -4 - -4. Suppose 2*q + y*q - 3*r = -3, 0 = -2*r + 2. Suppose q = -m + 34 - 4. Are m and 30 non-equal?
False
Suppose -10 = 6*f + 14. Let w be 3 - (f + (-28)/(-2)). Which is bigger: -3 or w?
-3
Let f = 167 - 150. Is f at most as big as 2/9?
False
Suppose 0*h - h + 388 = 4*v, -v + 100 = h. Suppose v = -3*i - 6*p + p, 69 = -2*i - 5*p. Is -25 > i?
True
Suppose -5*d - 2*o - 4152 = 0, 4*o = d + 750 + 76. Is d at most as big as -828?
True
Let y = -2.7 + 20.7. Does y = -1/12?
False
Suppose 160 = -35*k + 19*k. Is k less than or equal to -80/7?
False
Let s = -32 + -24. Let z = -57 - s. Let j be ((-1)/10)/((-6)/(-15)). Is z bigger than j?
False
Let r be (-1 - 8/(-3))*992/2170. Is 2 greater than or equal to r?
True
Suppose 5*f = 4*q - 92, 0 = 4*f + 2*q - 3*q + 67. Let a = f + 18. Let x be a + 30/(-14) + 0. Are x and 0 unequal?
True
Let j be 664/(-581) + 492/14. Suppose -126 = -2*o - 2*o + 5*f, 0 = o - 4*f - 26. Is o less than or equal to j?
True
Let b(q) = 81*q - 167. Let k be b(2). Let a(f) = f**3 + 6*f**2 - f - 8. Let v be a(-6). Which is greater: k or v?
v
Let g be (5 - 0)*(-18 + 19) + -2. Which is smaller: -0.04 or g?
-0.04
Suppose -d - 4*k + 103 = 0, 5*d - 6*k - 565 = -k. Let l = d - 111. Which is greater: l or -2/77?
l
Suppose -23 = -d + 5*a - 3, 2*d + 5*a + 5 = 0. Suppose 3*c - 54 = -d*j, c + 4*c = -5*j + 80. Which is bigger: c or 12?
c
Let y be 5 - (-15)/((-30)/(-16)). Does y = -5?
False
Let s = -964 + 969. Which is greater: s or 92/19?
s
Let i(o) = 3*o**2 + 2*o + 1. Let u be i(-1). Suppose -d - u - 1 = -4*n, -2*d - 34 = -n. Suppose 0 = -2*v - 25 - 11. Which is smaller: d or v?
d
Let n = 633/1064 + -5/8. Which is greater: n or -1?
n
Suppose 36*d - 19 = 34*d + 3*s, -d + s = -10. Let p = -22 - -13. Let k = d + p. Is 4 > k?
True
Let w = 9041398/417 - 21682. Are w and 1 unequal?
True
Suppose -2*p + 0*q + 6 = 5*q, -q - 4 = 3*p. Suppose -1 = -j + 3*b, 4*j + 2 + 3 = 3*b. Is j greater than or equal to p?
True
Let a = -1683/4 - -421. Which is smaller: a or 41?
a
Suppose -5*q = -0*q - 2*b - 36, -3*q + 5*b + 14 = 0. Suppose -4*j = 4 - q. Which is smaller: 2/91 or j?
2/91
Suppose 2*s + m = -4*m - 10, -2*m = -4*s + 28. Let l be (1/(-3))/(s/(-15)). Suppose -3*w + l = -2*w. Is -2/17 greater than w?
False
Let q = -203/545 - 3/109. Let u be -2 - -1*3/1. Let l be u*(4/(-2) + 1). Do q and l have the same value?
False
Suppose -5*i = -9*i + 380. Let l = -133 + i. Let b = l - -113/3. Which is bigger: b or -2/17?
-2/17
Suppose 61*y + 17*y = -7176. Let b be 3 + -2 + 2368/26. Let u = y + b. Is 0 less than or equal to u?
True
Let v be (-1)/(-6)*3*(-8)/3232. Is v at least 3?
False
Suppose -24*d + 14 = -38*d. Do d and 2/513 have the same value?
False
Let z be (-288)/10 - (-8)/(-28 - 12). Which is smaller: z or -241/8?
-241/8
Let s = 37 + 287. Let o be s/(-585) + (-2)/(-5). Which is smaller: 1/4 or o?
o
Suppose 102 = 2*f - 2*x, 0*x + 3 = 3*x. Do -3/8 and f have different values?
True
Let d = 606 - 606. Which is smaller: 12/17 or d?
d
Suppose 0 = -4*v + 2*v - 18. Let z = -330 + 321. Do v and z have the same value?
True
Let s = -20.5 + -10.5. Is s > -1/4?
False
Let s(i) = -i**3 - 12*i**2 - 10*i + 15. Let q be (0 + -7)*1 - 4. Let z be s(q). Let x = 4 - z. Which is greater: x or -2/9?
x
Let l = -1301 + 382. Is -920 greater than or equal to l?
False
Let h(y) = y + 10. Let u be h(-8). Let n(q) = 1 + q**u - 1. Let f be n(3). Is 9 at most as big as f?
True
Let f = 0.4 - -6.6. Let p = f - -4. Which is smaller: -2/5 or p?
-2/5
Let g(q) = 4*q + 66. Let s be g(-14). Let x = -45 - -19. Let f = -16 - x. Is f <= s?
True
Let p = 3.3 + -191.3. Let k = -187.3 - p. Let w be 2/(-6) + 10/(-24). Which is greater: k or w?
k
Let r(o) = -o**2 + 15*o - 55. Let g be r(6). Is g less than -7/75?
True
Let x(h) = h**3 + 4*h**2 + 2*h. Let p be x(-3). Suppose 22 = -p*u + 10. Is u equal to -17/5?
False
Let d = -79.7481 + -0.2519. Is -5 >= d?
True
Suppose -17*o = -4*o - 12*o. Which is smaller: 2/767 or o?
o
Suppose 22 = -3*s - 59. Let q = s - -16. Suppose -i = 13 - 2. Are q and i non-equal?
False
Let o = -109 + 63. Let u be 7/21 + o/174. Let a = -4 - -5. Are a and u nonequal?
True
Suppose 0 = 5*b - 3*v - 211, 3*b + v - 95 = 40. Suppose -6*o - b = -2*o. Suppose -5*q = 41 + 9. Are o and q unequal?
True
Let t = -2 - 0. Let r be (-335)/680 - 4/(-34). Which is smaller: r or t?
t
Let w be (-3748)/(-13167) + 2/(-7). Let u = w - 8776/1881. Let h = -11 + 5. Which is smaller: h or u?
h
Suppose 0 = -n - 3*r - 2, -4*n + 2*r = -2*r - 8. Let v be -1 - 90/(-51) - 1. Which is smaller: n or v?
v
Let f(m) be the second derivative of -m**4/12 - 11*m**3/6 + 4*m**2 + 28*m. Let s be f(-12). Which is bigger: 6 or s?
6
Suppose -2*o - 8 = -0. Let y be 2/8*o/(-5). Let m = 1 - 2. Which is smaller: y or m?
m
Let b = -191 - -331. Is b less than or equal to 138?
False
Suppose g - 2*q + 1 = 2, -4*q - 11 = g. Let n be (0 + -3)*(g - 0). Let y = 12 - n. Which is smaller: 2 or y?
2
Let q(a) = -34*a - 246. Let d be q(-7). Let l(y) = -y - 6. Let v be l(0). Which is smaller: v or d?
d
Let o be (-2)/(0 - 8) - 1065/(-60). Which is greater: o or 21?
21
Let s(u) = -u**3 - 7*u**2 + 7*u - 8. Let l(i) = -8*i**2 + i + 1. Let k be l(-1). Let p be s(k). Let o be 38/70 - (-2)/(-5). Is p equal to o?
False
Let j be 2 - 3 - (-11)/13. Let a = -696 + 704. Are a and j equal?
False
Let t = 71 + -69. Let m(k) = 3*k**3 + 3*k**2 - 4*k + 5. Let b be m(t). Is b less than or equal to 33?
True
Suppose -h + 2*a - 80 = -5*h, 4*h + 3*a = 80. Suppose 0 = -h*x + 15*x + 25. Suppose n - 2*n + 7 = 2*c, 35 = 4*c - x*n. Which is smaller: 4 or c?
4
Let z be 783 - 3 - (16 + 0)/(-4). Let y = z + -1611/2. Which is smaller: y or -22?
-22
Let r(u) = -u**3 - 7*u**2 - 14*u - 12. Let a be r(-5). Which is smaller: 9 or a?
a
Suppose 5*d + 2*h - 28 = 0, -3*d = 3*h - 5 - 19. Suppose f - d*u + 0 + 10 = 0, 4*f = -u - 6. Let y be 1*(-1 - -3 - 1). Is y less than f?
False
Suppose -12*x + 8 = -8*x. Let q be ((-12)/(-8))/(1/x). Suppose -q*i = -6*i. Is 3/23 bigger than i?
True
Let m be (3/(-36))/(14/32). Let x = 143/861 + m. Which is smaller: -1 or x?
-1
Let l = -16 - -45. Let r be (-20)/60 - l/3. Which is greater: -1 or r?
-1
Let f = -11 - -8. Which is smaller: 1 or f?
f
Let x be ((-72)/84)/(4/(-14)). Suppose -x*w = -2 - 10. Suppose 7*z - w = 3*z. Which is greater: z or 3/2?
3/2
Suppose 2*x + 2*l = l - 8, -4*x - 4 = 5*l. Suppose -7 = 3*w + 4*w. Let g be (1 - w)*-3*7/14. Are x and g unequal?
True
Suppose t + 3*k = -137, -3*k - 4 = -7*k. Is t > -141?
True
Let b = -724 - -977. Is b less than 253?
False
Let x(b) = b**3 - 19*b**2 + 32*b + 34. Let v be x(17). Is v at most -1/5?
False
Let c be 10/(-4) + (-1)/2. Let r = 0.177 - 2.177. Which is bigger: r or c?
r
Let v = 420 + -1064. Are -643 and v nonequal?
True
Suppose -14*x + 10*x + 124 = 0. Let f = -33 + x. Are f and -5/3 non-equal?
True
Let q(k) = -13*k + 14. Let h(m) = 9*m - 9. Let v(b) = 7*h(b) + 5*q(b). Let g be v(-8). Is g at least 23?
True
Let q be (-2 - -1)*1*2. Let s(b) = -b**2 - 10*b - 18. Let h be s(-7). Let j = q + h. Is j bigger than -4?
True
Suppose 140*z - 87622 = -25042. Is 447 bigger than z?
False
Let r be (-94)/154 - 2/(-11). Let o = 211 - 210. Do o and r have the same value?
False
Suppose q = -17 + 22. Suppose 5*u + q*n = -145, 3*u - 3*n = -5*n - 86. Is -28 greater than or equal to u?
True
Suppose -4*l + 5 = 3*z + 19, -2*l = -4*z + 18. Are z and 1/79 nonequal?
True
Let c = -21.02