13. Let r = -9 + k. Are c and r unequal?
True
Let i = 191633/10500 - 2/2625. Is 18 >= i?
False
Suppose 0 = j + 4*y + 107 - 43, 2*y - 232 = 5*j. Let a be 25 + (j/(-18))/(-2). Which is smaller: a or 24?
a
Let a = 19 - 36. Let m = -14 - a. Which is bigger: 2/37 or m?
m
Let h(t) = 5*t - t**3 - 9 - 4*t + t**2 + 8*t**2. Let y be h(9). Is y <= 1.3?
True
Let r be 6*4/6*1. Suppose -9 = -5*l - 4, r*f = -l - 3. Let w be 18/(-30) + (0 - (-15)/27). Is f at most as big as w?
True
Let s(b) = b**2 - 3. Suppose -1 = t + 2. Let j be s(t). Suppose -6*n = -3*n + j. Is -1 greater than n?
True
Let i = 69 + -64.9. Let a = -6 + 2. Let r = i + a. Is r less than -1/2?
False
Let n be -1 + 2/(-3)*(-31 + 22). Let p = n + -6. Which is smaller: p or -3/26?
p
Suppose -16 = -4*z + 5*m, -23*z - 2*m - 6 = -25*z. Let s = 0.004 - -22.996. Which is greater: s or z?
s
Let r = -12.91 - -13. Let a = r - 0.89. Is 0 at least a?
True
Suppose 0 = 5*v - 2*l - 26, -4*v + v + 3*l + 21 = 0. Suppose -5*i + 3 = -v*i. Suppose 0 = 2*s - 4*s - 5*f - 23, -4*f - 23 = -i*s. Is s >= 0.3?
True
Let y = 11.7 - 0.7. Let h = y + -10. Is h greater than -2?
True
Let j = -1282 - -1281. Which is bigger: 1/15 or j?
1/15
Suppose 0 = -2*f - 5*l - 62, 2*f = l + 2*l - 94. Which is smaller: 1 or f?
f
Let i = -8275923/9980 + 3317/4. Is -1 not equal to i?
True
Let m be (3 + -1)*66/44. Suppose 0 = -5*s - 2*d - 105, -5*s + 2*d = -m*d + 105. Are s and -21 nonequal?
False
Let d be (-4 - 0/(-5)) + 5 + -2. Is -2/25 at least as big as d?
True
Let g = 16 + -15. Let p = 0.42 + -14.42. Is g bigger than p?
True
Let t be (1440/150)/((-66)/(-20) + -3). Which is greater: 0 or t?
t
Let t = -18 - -37/2. Let s = 41 - 16. Suppose -s*a = -27*a. Is a bigger than t?
False
Let s = 783 - 783.04. Let u = 0.1 + 0.9. Are u and s unequal?
True
Let q be ((-148)/(-13505))/((-32)/(-30) - 1). Are 1 and q equal?
False
Let t(q) = 2*q + 3. Let i be t(-3). Let c = 9 + i. Let o(w) = w**2 - 5*w + 1. Let j be o(6). Are c and j equal?
False
Let b = 47 - 43. Let w be (b/(-3) + 1)*27/(-36). Let u(r) = r**2 - 5*r - 6. Let a be u(6). Is w < a?
False
Let j(x) = x - 3. Let d be j(3). Let k = -19 + 36. Let q = -16.9 + k. Which is bigger: d or q?
q
Suppose 0 = 2*g + y + 5, 3*g = g + 3*y + 15. Let j = -18526 - -18600. Is g smaller than j?
True
Let t = 0 - 0. Let d be 2 + (-11 - 2184/(-243)). Do t and d have the same value?
False
Let c be (-3013)/1160 - (-3 - (-2 + 2)). Let w be (-1572)/6090 - (-2)/7. Let t = c - w. Is t != -1?
True
Suppose -5*b = -5*u + 382 + 788, -3*b = 9. Suppose 14*s + u = 3*s. Which is bigger: s or 0.1?
0.1
Let m = 0.1 + 0.9. Let v = -4.5 - 4.2. Let c = 9.2 + v. Which is smaller: c or m?
c
Let h = 247/10 + 24/5. Which is smaller: 29 or h?
29
Let m(n) = 5*n**3 - 2*n**2 - n + 1. Suppose -10 = -4*i - 6. Let g be m(i). Suppose -g*f = -5 - 49. Which is smaller: 19 or f?
f
Let s = -0.252 - -0.152. Is -212 != s?
True
Let i(s) = -2*s + 11. Let v(u) = 2*u**2 - 19*u + 12. Let g be v(9). Suppose o = g*o + 4*y + 2, -4*o - y = -24. Let b be i(o). Is b greater than -2?
False
Let j = 0.21 + -0.73. Let o = 0.29 + -0.19. Which is smaller: o or j?
j
Let i(r) = 40*r - 14. Let t be i(-2). Which is greater: -0.2 or t?
-0.2
Let o = 39/7 - 632/7. Let w = -85 - o. Is 49/5 equal to w?
False
Suppose -i + 5*i = 0. Suppose 0 = -3*h - 3, d - h - 3 = i. Let n(o) = 2*o**2 - 5*o + 2. Let f be n(d). Is f greater than 0?
False
Let m be ((-2)/6)/((-1)/15). Let q be -2 + 5/(m/4). Let r = 2 - 1. Is q > r?
True
Let t = -11 + 398. Is t greater than 1/4?
True
Suppose 5*x - 5*c - 50 = 0, c + 26 = 4*x - 20. Which is smaller: x or 0.21?
0.21
Let m = -32 + 79. Let q = m + -20. Which is smaller: -2/9 or q?
-2/9
Suppose 8*t - 3*t - 20 = 0. Suppose 3*w + 2*k = 18, 5*w - t*k = -k + 30. Are w and 6 non-equal?
False
Let s = -3 - -4. Let u(z) = z - 17. Let x be u(20). Suppose 2*p - x*p = 0, 3*j - 3 = -p. Does s = j?
True
Let p be 2 + ((-9081)/(-12))/(66/176). Is p >= 2020?
True
Let r be 10200/(-53625) + 11/(-13) + 1. Which is smaller: r or 0?
r
Suppose 3*k - 2*l + 335 + 760 = 0, 1104 = -3*k + 5*l. Let y = -11256/31 - k. Is -1/4 > y?
False
Suppose 0 = -2*q + 2*y - 14, 0 = 3*y + 12 - 3. Let o be ((q/8)/5)/(-1). Let b(p) = -2*p**3 + 2*p**2 - 1. Let s be b(1). Which is smaller: o or s?
s
Suppose -525 = 5*m + a, 4*m - 5*a + 631 = 240. Let b = 91 + m. Which is greater: 1 or b?
1
Let p(q) = -q**2 - 9*q + 4. Let n be p(-8). Let m be (33/n - 2)*28. Let c be (-4)/14 - (-27)/m. Is c >= -1/4?
True
Let y be 13/(-91)*-14 - 3. Is y bigger than 1.297?
False
Let c be (-104)/(-4)*(2 + -1). Let g = c + -1. Let b = g - 20. Which is smaller: 6 or b?
b
Let o(l) be the second derivative of l**3/6 - 5*l**2 - l. Suppose 4 = -9*z + 4. Let b be o(z). Which is bigger: b or -12?
b
Let l = 3.84 + -3.997. Let n = -11.943 + l. Let m = n + 12. Is -8 != m?
True
Let o = 512 - 501. Do o and 7 have different values?
True
Let a = -218/699 + -5/233. Suppose -w = -4*g + 4*w + 29, -2*g - 13 = 3*w. Is a not equal to g?
True
Let t = 21 - 29. Let m be (-38)/t + -1 - 4. Suppose 2*w = -2*w - 4. Which is smaller: w or m?
w
Suppose p = -2*p. Let r = -806 + 21752/27. Which is smaller: p or r?
r
Suppose -5*h = -4*h + 8. Let x = 7 + h. Which is greater: x or 6/19?
6/19
Suppose -8*b - 27 - 221 = 0. Which is greater: -243/8 or b?
-243/8
Suppose 6*a + 152 = 14. Let w = -9 - a. Does 13 = w?
False
Suppose -3*z + 2*b - 8 = 0, z = -b - 3 + 2. Let m be (-6)/(-12) + 21/z. Is -10 <= m?
True
Let s(o) = -4*o - 11. Let f be s(-8). Let h be (3/f)/((-4)/16 + 0). Is h > 0?
False
Suppose -1209 = -4*c - 5*o, 2*o - 529 = -3*c + 383. Are c and 306 equal?
True
Suppose h + 0*h = 5, 0 = 2*g - 4*h + 20. Suppose g = w - z - 5, 0 = w + 2*z - z - 11. Let b = -8 + w. Is 5/8 != b?
True
Suppose -438 = -3*f + 3*z, -3*f + 8*f = 2*z + 724. Is f > 143?
True
Suppose 3*n - 11 = 1. Suppose 1 = 2*i + 3*x - 1, 2*x + 4 = n*i. Suppose -9 = -4*c - i. Is c greater than -6?
True
Suppose -12*y - 517 = 707. Let n = y - -124. Is 22 greater than n?
False
Let o = -26 - -13. Let t = -19 - o. Let m be t/(-8)*(-2)/3. Is m <= -2?
False
Let x be 2 - ((-3)/9)/(14/114). Which is smaller: 4 or x?
4
Let x = 109 + -151. Let g be 40/70 + (-718)/x. Do g and 19 have the same value?
False
Let l(c) = 27 - 5*c + 6*c**2 - 4*c**2 - 3*c**2 + 0*c**2. Let v be l(6). Which is smaller: -40 or v?
-40
Let q(d) = d**2 + 2*d - 3. Let x be (-6)/(2 + 0/4). Let o be q(x). Let p = 11/27 + -205/459. Is p bigger than o?
False
Let q = -425/3 - -129. Let o = 24 + -37. Which is smaller: o or q?
o
Let d = -15 - -28. Let r = d + -8. Let l(h) = -h**2 - 8*h + 38. Let f be l(-11). Is r at least f?
True
Let i be (-3)/(-2)*6/9. Suppose -6*b + i = -5*b. Suppose x + 2*u = -b, -5*u + 1 = -2*x - 1. Is 3/17 bigger than x?
True
Suppose 2*i = -10, 5*i - 8 + 33 = 3*j. Let t(s) = s**2 + 2*s + 3. Let f be t(j). Let a = 0 - -1. Is f <= a?
False
Let k = -2174 + 2173. Suppose 5*a + x + 31 = 0, 2*x - 17 = 2*a + 7*x. Are a and k equal?
False
Let j(d) = -4*d**3 - 2*d**2 - 16*d + 27. Let k be j(2). Which is smaller: k or -0.1?
k
Let p = -0.543 + 0.543. Is 275 >= p?
True
Let p = 1.61 + -1.66. Which is smaller: p or -23?
-23
Suppose -4*p - 11 = -71. Suppose -4*f - g - p = 0, 5*g = 4*f + 67 - 22. Let t be -4 + (-9)/(f - -2). Is 3 at least t?
True
Let k = 118 - -11. Is 130 at most k?
False
Let w = -2743 + 3570. Are w and 827 unequal?
False
Let b = -39 - -43. Let i be b/((4 - 6)/(-1)). Are 7/6 and i unequal?
True
Let h(t) = -15*t + 2. Let r be h(-1). Let l = 18 - r. Which is bigger: -1 or l?
l
Let g(y) = -y. Let i be g(0). Suppose h + 2 = -i*h. Suppose -14 = 3*c + 13. Is h <= c?
False
Let d(c) = c**3 - 3*c**2 - 3*c + 3. Let q be d(3). Let x be ((-11)/44)/(2/q). Let b be 1*-2*3/(-6). Which is bigger: b or x?
b
Let j be 3 - -21*(-8)/36. Suppose -16 = -2*l - 4*k, 0 = -3*l - 2*k + 4*k - 16. Let n(f) = f + 1. Let s be n(l). Which is bigger: j or s?
s
Let a(c) = -c**3 + 5*c**2 + 2*c - 7. Suppose 0 = 4*w + w - 25. Let t be a(w). Suppose -2*v + 17 = -t*v. Is v at most -17?
True
Let k be -6 + 4*(-10)/(-8). Is k < 2/2375?
True
Suppose 0 = -6*x - 6*x - 636. Let i = 47 + x. Which is smaller: i or 0?
i
Suppose 0 = -941*n + 936*n - 330. Is n smaller than -73?
False
Suppose 0 = -6*j - 2*j + 7*j. Suppose 5*k + h - 2 = 1, 5*h - 15 = j. Which is smaller: -4/13 or k?
-