ue
Let g be (-455)/12*(-10)/(-21). Let c = 39/2 + g. Let d = -10/9 + c. Which is smaller: 1 or d?
d
Let v be 2*3/6*36. Let n = v + -109/3. Let c = 0.2 + -0.1. Is n greater than c?
False
Suppose -3*w + 2 = -2*t - 2, t = -4*w + 9. Suppose -w*n = -5*c - 150, -4*n = c - 2*c - 264. Let u be -4 - -1 - n/(-15). Which is smaller: -0.2 or u?
-0.2
Suppose 5*v - 39 = 216. Which is greater: v or 50?
v
Let y = 30/17 + -103/68. Are 2 and y non-equal?
True
Let g = 8 - 7. Let h = g - 6. Which is smaller: -4 or h?
h
Let x(y) = y**3 - 7*y**2 + 7*y - 3. Let i be x(6). Let l = i - 3. Suppose -2*j - 1 = p + 1, -5*j - p - 2 = 0. Is l <= j?
True
Let i(z) = 2*z - 4*z + z - 5. Let a be i(-6). Let u(v) = -v**3 - 2*v**2 - v - 1. Let x be u(-2). Are x and a nonequal?
False
Let k be (-15 + 15)/(3 + 0). Are -1/16 and k equal?
False
Let c be (24/(-15))/(1/5). Let r(g) = 7*g + 2. Let w(h) = h**2 + h + 1. Let n(q) = -r(q) - w(q). Let v be n(c). Does -2 = v?
False
Suppose 2*r - 1 = 5*h, -3*r - 5 = -0*r - h. Let c be (3 + 0 + r)/(-1). Is 1/4 <= c?
False
Suppose 0 = -q - 0*q + x - 6, 2*q + 2*x = 8. Let z be -1 + (q/6 - -1). Which is bigger: 0.3 or z?
0.3
Let m be (10/(-4) - -2)*0. Suppose m = 2*r + z - 3*z + 4, -5*r + 17 = 4*z. Which is bigger: r or -4?
r
Suppose -4*g - 3 = -m, 4*g + m = -g - 6. Which is greater: g or -8/9?
-8/9
Suppose -4*k - 7*s = -4*s - 12, 0 = 5*s - 20. Let z = -124 + 865/7. Is z smaller than k?
True
Let q(w) = -w**3 - 8*w**2 - 9*w - 5. Let x be q(-7). Do x and 9 have the same value?
True
Let m = 2 + -6. Let q be 2 + 0 + 8/m. Suppose 0 = -a - q*a. Is a equal to 0?
True
Let x = 125467/9 + -13991. Let o = -50 - x. Suppose 25 = -v + 24. Is v >= o?
False
Let t = -6 + 6. Suppose t*q + 4 = q. Suppose 4*r - 20 = -0. Which is smaller: q or r?
q
Let b = -32 + 31.6. Is b >= -0.2?
False
Suppose 0*v + 5*b + 24 = v, 2*v - 3*b = 13. Let m = -74/3 + 1844/75. Is v less than m?
True
Let x be 3 + (-3)/6*2. Which is bigger: x or -13?
x
Let s = -0.21 + 0.01. Is s equal to 1?
False
Let x = -1622/1845 + -2/205. Which is smaller: 0.1 or x?
x
Suppose 3*k = 7*k. Let p = 121/452 - 2/113. Do k and p have the same value?
False
Let p be 4 + 0/(-9) + 412/(-102). Which is greater: p or 0?
0
Let y(w) = -7*w + 4. Let j be y(-3). Suppose 4*u = -2*g + 4*g + 14, 5*u - j = -5*g. Which is bigger: g or 1/3?
g
Suppose 9*t - 149 = 58. Is t greater than 23?
False
Let u be 4 + -6 - (-3)/2. Which is smaller: 59 or u?
u
Suppose -5*m - n = -24 - 24, 2*n = 3*m - 21. Which is bigger: m or 12?
12
Suppose -4*t + 0*t - 56 = 0. Let x be (1 - t/(-10))/2. Let l = -31/66 - 1/33. Which is bigger: x or l?
x
Let t = -116.1 + 117. Are t and 2 unequal?
True
Let o be (-8)/(-10)*(-10)/(-4). Let w be (o - 1) + (3 - 0). Let r be (-9)/(-6)*w/(-3). Which is bigger: -3 or r?
r
Suppose -18 = -2*d - 20. Which is greater: d or -1/5?
-1/5
Let v(u) = 2*u**2 + 18*u + 18. Let i(f) = f**2 + 9*f + 9. Let p(x) = -7*i(x) + 3*v(x). Let s be p(-8). Let t = -128/5 + 26. Which is smaller: s or t?
s
Let l = 5 + -5. Suppose b + 0 = -1. Which is smaller: l or b?
b
Let q(b) = -b**2 - 11*b - 21. Let f be q(-9). Let p(s) = -s - 1. Let v be p(0). Is v not equal to f?
True
Suppose 5*q - 29 = 31. Which is smaller: -1 or q?
-1
Let x = -56 + 55.9. Which is smaller: 0.3 or x?
x
Let k = 28 - 35. Does k = -6?
False
Let y(h) = 2*h + 19. Let b be y(-10). Let v(d) = 5*d - 2*d**2 + 4*d**2 + d**3 - 8 + 5*d**2. Let u be v(-6). Is u less than or equal to b?
True
Let j = -3.3 - -20.3. Let w = -16.8 + j. Let l = -3 - -23/7. Are w and l nonequal?
True
Let b(a) = a**3 + 4*a**2 - 6*a + 4. Let k(w) = -5*w**3 - 20*w**2 + 31*w - 19. Let l(v) = -11*b(v) - 2*k(v). Let g be l(-5). Does -1/7 = g?
False
Let s = 0 + 5. Suppose s*z - 2*n = 124, 3*n = -z + n + 20. Suppose 0 = 5*m + 2*b + z, 4*m + 26 = -6*b + b. Is -4 at least as big as m?
True
Let o = -1.25 - -1.4. Let x = -0.05 + o. Which is smaller: -0.06 or x?
-0.06
Let b be (1/((-25)/20))/(-2). Let m(t) = t**2 + 4*t. Let i be m(-4). Are i and b equal?
False
Let i = -3 - -2. Suppose -4 = -x, -a + 4*x = -x + 14. Suppose 3 = -3*u + a. Is u equal to i?
False
Suppose -3*j - 45 = 3*g, 2*g = j - 0*g + 6. Which is smaller: j or -2?
j
Let q = 78/85 + -4/5. Let j = -1 - -2. Which is smaller: j or q?
q
Let g be (-43)/(-5) - 10/(-25). Let m be 6/g - (-1)/(-2). Let r be (-2)/4 + (-1)/2. Which is bigger: r or m?
m
Let c(w) be the second derivative of w**5/20 - w**3/6 + w**2 - 2*w. Let n be c(0). Suppose 0 = -b - n. Which is greater: b or -3?
b
Let t(s) = -s**2 + 3*s - 3. Let r be t(1). Which is smaller: r or -13/9?
-13/9
Let k be (2/3)/((-3)/(-9)). Let c(l) = -2*l + 3. Let i be c(k). Are i and -4/3 non-equal?
True
Let q = -7 - -2. Let s = 142 + -143. Does q = s?
False
Suppose -9 = -4*j + 23. Suppose -j*g + 9*g = 14. Is 14 at least g?
True
Let d = -3 + 4. Let q(h) = 51*h - 6. Let n be q(-7). Let o be (-209)/n + 2/(-3). Which is smaller: o or d?
o
Suppose -3*n = -5*l + 10, 0*n + 10 = -n + 5*l. Suppose 0 = -5*r + m + 6, -r - 9 = 4*m - 27. Which is greater: r or n?
r
Let u = -9 + 17/2. Let j = -1 + 1. Is j at most as big as u?
False
Let v = 4.8 + 0.2. Let t = v - 5.1. Which is smaller: -2/5 or t?
-2/5
Let q be (5/2)/((-10)/(-8)). Let s(x) = -x**2 - 4*x - 3. Let k be s(-2). Which is greater: q or k?
q
Let a be (-3)/5 + 26/30. Is 0 less than a?
True
Let n be 36/(-15) - (-2)/5. Let i(k) be the third derivative of k**5/60 - k**4/4 + k**3 - k**2. Let g be i(4). Is g at least n?
True
Let g be 1*6/154 - 2/(-14). Is 6 at most as big as g?
False
Let r = 7 + -9. Let x = 2.1 + r. Is x >= -2?
True
Let x = 12 - 13. Let r be (-4 + 3)/x*0. Is r at most as big as 0?
True
Let p(w) = w**2 - 9*w + 10. Let z be p(8). Which is smaller: 8/11 or z?
8/11
Suppose -6*d + 3*d = 0. Suppose z + 2 - 3 = d. Which is bigger: 3 or z?
3
Let w = 1 + 0. Let i = 10 + 2. Let r be (-5)/(-15) - (-2)/i. Which is smaller: w or r?
r
Let k = 24 + -97/4. Is -0.1 >= k?
True
Let d = 89 - 625/7. Suppose -3 = -20*y + 19*y. Is y <= d?
False
Suppose 0 = 3*x + 2*x + 5. Which is greater: -2 or x?
x
Let j be -9 + 11 + 100/(-46). Is j < -1?
False
Let s = 6.67 + -7. Let a = 0.13 - 0.16. Let q = a - s. Are q and -0.1 unequal?
True
Let x = -12 - -1. Let u(i) = -5*i**2 - 2*i + 1. Let o be u(2). Let f be 2/x - o/(-55). Are -2/7 and f equal?
False
Suppose -5 = 6*g - g + 5*l, 0 = 5*g + 4*l + 3. Let q be ((-4)/(-50))/(6/(-10)). Is g at least as big as q?
True
Let g = -4 + 4. Suppose c + 2*c = 24. Let h be (c/18)/(-2)*1. Is g equal to h?
False
Let c(j) = -j**3 - j**2 - 4. Let h be c(0). Suppose 3 = -d - 2*d. Is h < d?
True
Let w = -659 + 4631/7. Which is smaller: 4 or w?
w
Let g be (-1)/2*(-1454 + 0). Suppose -g = 2*o - 219. Let h = -2792/11 - o. Which is smaller: h or 0.1?
0.1
Let l(o) = -o**2 + 5*o - 4. Let m be l(5). Let s(a) be the third derivative of -a**5/60 - a**4/24 + a**3/3 + 5*a**2. Let i be s(2). Is m greater than i?
False
Let n = 2 + -1. Are -2/81 and n equal?
False
Let o be (-1)/(2/2)*4. Let r(w) = -w**2 - 4*w. Let m be r(o). Are 0 and m non-equal?
False
Suppose r = 4*r. Let y = 39/4 - 125/12. Is r not equal to y?
True
Let l(z) be the first derivative of -z**2/2 + 2*z + 1. Let s be l(5). Let c be (3/(-9) - 0)*s. Is c at most 1/5?
False
Let t(l) = -27*l. Let h = -2 + 7. Let u be t(h). Let m be (-84)/u - (-2)/(-9). Which is greater: -1 or m?
m
Suppose v + 4*g = -0*v + 10, 4*v = -4*g + 16. Suppose -5*t + v*t - 4*o = -11, -t - 1 = -o. Let s(a) = 3*a - 13. Let f be s(5). Is t less than f?
True
Let k(p) = 5*p + 1. Let g(q) = -4*q - 1. Let f(t) = -4*g(t) - 3*k(t). Let m be f(-2). Do m and -4/5 have the same value?
False
Suppose -2*q + 9 = 2*i - 45, 5*q + 2*i = 138. Let s be 8/q - (-8)/(-126). Let k = -0.2 + 0.2. Which is smaller: k or s?
k
Let j(y) = 2*y - 8. Let z be j(-6). Let d be (-16)/z*(-1 + -4). Which is smaller: -3 or d?
d
Let a = 2 + -3. Suppose -n - 1 + 3 = 0. Suppose n*m + 3*j + 16 = 0, -2*m + 0*j - 24 = 5*j. Which is smaller: m or a?
m
Let w = 125 + -134. Is -12 bigger than w?
False
Suppose -3*i + 10 + 2 = 0. Let t(o) = -o**3 - 6*o**2 + 6*o - 4. Let y be t(-7). Suppose -2*f - 5 = -y*f. Are f and i equal?
False
Let j be ((-6)/5)/(6/30). Let u be (22/j + 3)/(-1). Is 1 < u?
False
Suppose 5*r = g + 2*g + 61, g = -4*r - 26. Is g at most -22?
True
Let a be 1*(0 + 2/(-2)). Let p = -1 -