se -22*v + 5 = -17*v. Suppose -5*g = -19 - v. Which is greater: 1 or g?
g
Let r be (-9)/((-999)/(-530))*-204. Let b = -974 + r. Which is bigger: 0 or b?
b
Suppose 0 = 3*d - 11 - 1. Suppose 20 = d*k + k. Suppose 3*y - 6*y = 4*t + k, 0 = 4*y. Which is greater: t or 1/5?
1/5
Let a = 0 - -0.18. Let f = 10.18 - a. Let j = 11 - f. Are -0.4 and j nonequal?
True
Let n = -11207921/68706 + 260/3123. Let v = n - -163. Which is smaller: v or -1?
-1
Let a = -9 - -16. Let t = a - 18. Let v = t + 11. Which is bigger: 3 or v?
3
Let b = -2.2 - 0.8. Let j = b + 2. Let o be 12*(4 + 60/(-16)). Which is smaller: j or o?
j
Let d = 10201/39 + -785/3. Let s = -106/273 - d. Let q = 3 + -2.8. Do q and s have different values?
True
Let i = -3 - 5. Let f(t) = t**3 + 8*t**2 - t - 7. Let v be f(i). Which is greater: v or -9?
v
Suppose -5*p + 5*d + 1 = -19, 33 = 2*p + 3*d. Which is smaller: p or 139?
p
Let g(d) = -d**2 - 2*d + 3. Let o be g(-5). Suppose -65 = -4*r - 17. Let m = o + r. Which is greater: 1/12 or m?
1/12
Let k(b) = b - 3. Let t be k(2). Let z(i) = -i**2 - 2*i. Let x be z(-2). Suppose w - 1 = x, -j - 1 = -4*w + 4. Is t less than j?
False
Let r be -2*(-2 + 3) - -1. Let c = -341 + 341.19. Is c less than or equal to r?
False
Let h be (-2)/3*(3 - (-3003)/(-980)). Which is greater: h or -1?
h
Let j = 24 - 8. Let s = -12 + j. Let q = 23 + -16. Is q at most as big as s?
False
Let z = -3 - -2. Let q = -115 - -60. Let h = q + 716/13. Which is smaller: h or z?
z
Let h be (-32)/(-14) - (-12)/(-42). Suppose -s - 3*s + 5*l + 18 = 0, 3*l = -4*s + h. Let w = -6 + s. Do -6 and w have the same value?
False
Let z = -490 - -490. Which is greater: z or 133?
133
Let a = 1 + 2. Let l be (0 - 1) + -1*a. Let u = 1 - 4. Which is smaller: u or l?
l
Let g be ((-3)/(-2))/(-3)*2. Let t = -1520/7 + 217. Which is greater: g or t?
t
Suppose -24 = 12*k - 10*k. Let d be k/(-28)*(-6)/(-9). Let w = 0.4 - 0.4. Which is bigger: w or d?
d
Let a be ((-2)/4)/((-153)/36). Let n = 0.74 - 0.94. Which is greater: a or n?
a
Let v = -1222 + 76984/63. Let o(x) be the third derivative of x**5/60 + 11*x**4/24 + 5*x**3 + 21*x**2. Let d be o(-6). Is v smaller than d?
True
Suppose -2*t = -8, -o = -6*o + t + 191. Let a be (-1)/((-22)/715*20/24 - 0). Do a and o have the same value?
True
Let z = 5 - 0. Suppose 10*y - z = 5*y. Let o = 32 - 97/3. Which is bigger: o or y?
y
Let g(z) = -z + 18. Let n be g(13). Suppose 3*v = 5*l + 108, -2*l - 32 = v - n*v. Let i = -55 - -32. Which is smaller: l or i?
l
Suppose 4*o = -4*x - x - 83, -5*x - 3*o = 81. Let n be (-10)/x*3*(-11 + -2). Is -26 <= n?
True
Suppose 0 = 5*r - 5, -6*r + r + 10 = 5*w. Let p = 12 - 13.8. Is w at least as big as p?
True
Let q = 36 + -28. Let h = 5 - 5. Suppose -33 = -3*b - 4*n + 4, h = 3*n - 12. Do b and q have different values?
True
Suppose 3*o + 25 = 3*i - 8*i, -5*o - 3*i - 15 = 0. Is 2/59 at most as big as o?
False
Let r be 7668/84 - 0 - 4/14. Is 91 at least as big as r?
True
Let j = -3 - 0. Let t(d) be the second derivative of d**3/3 - 12*d**2 + 7*d. Let r be t(11). Is r bigger than j?
True
Let d = 3.5 + -3.16. Let a = d - -1.66. Let u = -1/23 + -17/138. Are u and a equal?
False
Suppose 4*w - 51 + 11 = 0. Let d be 314/(-10) + 4/w. Is d less than or equal to -32?
False
Suppose n + 5*v = -6, 2*n + 0*v - 2*v - 12 = 0. Suppose 4*f - 3*x + 21 = -f, -5*x = 2*f - n. Let h = 43 + -42. Is f > h?
False
Let u = -36.4 + 43.6. Is u >= -0.2?
True
Suppose -197*r = -165*r. Let l = 2099/39480 - -2/4935. Which is greater: l or r?
l
Let c = 325235595472/991431349 - -2/23056543. Let i = -328 + c. Which is smaller: 0 or i?
0
Let z(f) = 5*f. Suppose 5*x + 4*s = 70, -2*s + 25 = 2*x - s. Let y be z(x). Suppose -2*n = -7*n - y. Is -10 bigger than n?
False
Suppose 3*y + 17 = -3*c - 19, -3*y = -c. Is -25 at most as big as c?
True
Let b be 260/39 + (-4)/6. Suppose -b*t - 5*w = -2*t + 10, -t + 6 = -3*w. Which is greater: 3/32 or t?
3/32
Let r(d) = -d**3 - 6*d**2 + 6*d + 4. Let a be r(-7). Suppose a*j - 3*j - 48 = 0. Let l = 2 + 3. Which is smaller: j or l?
l
Let c be (-5)/35*-7 - (-15)/(-21). Is -2.61 at most c?
True
Let a be 21/35 - 33/5. Let q be (-2 + (-15)/a)*64. Let c = -24 + q. Is 8 equal to c?
True
Let v be 25*6*(-2)/(-20). Suppose 3*w - 3*q = -0*q + 12, 3*q + 11 = 4*w. Let n be w/(-2)*10/v. Is n equal to 0.2?
False
Let t = 60/119 - 1063/2142. Is 0 at least as big as t?
False
Let w be (-3)/(-9) - 322/(-18). Let k = 18 - w. Let t(y) = 84*y + 336. Let n be t(-4). Which is smaller: n or k?
k
Let i(m) = m - 14. Let l be i(13). Let c be (l - 2)/(3/4). Let a be (1/2)/(c/(-12)). Is 3 at most a?
False
Let h(i) be the first derivative of -i**3/3 + 3*i**2 - 3*i - 18. Suppose -3*z - c + 2*c + 23 = 0, 3*c + 13 = 2*z. Let v be h(z). Are v and -18 non-equal?
True
Suppose 1054*q - 1055*q = -1189. Are 1188 and q equal?
False
Suppose -x - 4*b = -b + 18, -3*b = -2*x + 9. Which is smaller: x or -0.1?
x
Let m(j) = 16*j - 16. Let c be m(1). Let b(p) = -p**3 + 4*p**2 + 2. Let k be b(4). Which is smaller: k or c?
c
Let f(x) = -x**3 + 2*x**2 + 4*x + 61. Let s be f(0). Let u = -61 + s. Is u greater than or equal to 9?
False
Let m = 9 + -5. Let f = m + -3. Suppose -4 = 3*k - f. Is -1/13 at least k?
True
Suppose 0 = -10*b + 161 - 711. Which is greater: b or -53?
-53
Let w = -8440 - -5772959/684. Is 0 bigger than w?
True
Let g be (24/(-2))/3 - (-40474)/10143. Is g at most as big as -8?
False
Let u(p) = -p**3 - 8*p**2 - 7*p + 7. Let g be u(-7). Let k(v) = 4*v - 11. Let z be k(g). Is 17 greater than or equal to z?
True
Suppose 4 + 0 = 2*c. Let t be -1*c + 615/(-25). Let n = t - -547/20. Do n and -0.1 have different values?
True
Let v(q) = -q**2 + 3*q + 12. Let k be v(5). Suppose -10 = -3*u - 3*b + 59, k*u - 37 = -5*b. Is u smaller than 27?
True
Let m = -948 - -958. Which is bigger: -2 or m?
m
Suppose 8*y = 4*y - 92. Which is smaller: y or 6?
y
Let f be 3 - ((-22)/(-264))/((-1)/(-38)). Let b be 6/(-21) - 4/(-14). Which is smaller: f or b?
f
Let j = -38 - 16. Let a = j - -53.94. Is -2/3 >= a?
False
Let x = -10 - -19. Let t = -11 + x. Which is bigger: 3.1 or t?
3.1
Suppose 3*m + m = -t - 35, 65 = -5*m + 3*t. Let b be (-2)/(m/(-3 + 5)). Let h = -9 - -10. Is b at most h?
True
Suppose 0 = n - 2, 3*n = -4*a + 1912 + 914. Which is bigger: 704 or a?
a
Let a(p) = p**2 - 1 - 2*p**2 - 2 + 26 - 17*p. Let h be a(-19). Which is greater: -13 or h?
-13
Let c = -3411/3653 + 3/281. Is 0 > c?
True
Let m be ((-6)/(-1) + -1)*-1. Let w = 45471/10 - 4547. Is m >= w?
False
Suppose n - 6 + 5 = 0. Let l be ((-18)/225)/(n/(-5)). Let j = -3.2 + 0.2. Which is bigger: l or j?
l
Suppose -3*o = h - 7, -4*o + 2*o + 4*h = 0. Suppose 10 = 3*b - 4*s, -o*s = 2*b + 2 - 4. Suppose -b*x + 3 = -g, 5*x + 3*g - 6 = 4*g. Is x at most as big as 2/39?
False
Let u = -12533/8 + 1564. Is -2/13 at least u?
True
Suppose 4*r + 2*d + 5 = 3, -5*d - 27 = -r. Let t(s) = 0*s - 2*s**2 - r + s**2 + 1 - 5*s. Let k be t(-5). Are -3 and k nonequal?
True
Let r be 7*((-4)/6)/(84/(-18)). Which is greater: r or 15/7?
15/7
Suppose 0*q - 20 = 5*q. Let x(m) = m**2 + 4*m + 6. Let s be x(q). Suppose -f - s + 4 = 0. Is -3 greater than f?
False
Let g = 1 + -1. Suppose g = 8*o - 12*o - 440. Let j be o/68 - (-12)/8. Which is smaller: j or 1?
j
Let x = 19/3 - 6. Let o = -12 - -16. Let r be 1 - o - (-178)/58. Which is smaller: r or x?
r
Let f = 5 + 1. Suppose -3*l + 6 = -9. Suppose l*g - 12 = -k, -g + 2*k + 5 = -4. Which is smaller: g or f?
g
Let q(c) = -3*c. Let i be q(-6). Let s = i + -18. Suppose -3*l - 9 = -2*r - s*r, 7 = 2*l + 3*r. Is -1 at least as big as l?
True
Let c = 26 - 22. Let m be 1/(-4 - (2 + -5)). Let d be (-2 + m)*c/12. Is d bigger than -6/5?
True
Suppose 398 = -4*g + 394. Which is smaller: -318 or g?
-318
Let w(p) = p**2 - 6*p + 9. Let c be w(8). Let r = -8 - -4. Let u be (10/c)/(r/(-10)). Is u > 1.3?
False
Let v = -15.3 - -13. Let i = -2.16 - v. Let l = 7.14 - i. Which is smaller: l or -1?
-1
Let p = 2486 + -2608. Are p and -116 unequal?
True
Let t be 2 + 1/3*0. Suppose 2 = -t*r - 2*r - 2*w, -r + 5*w + 16 = 0. Is r at least as big as -9?
True
Let d = -8 + -1. Let c = d - -10. Is 1 < c?
False
Suppose 2*k + k - 529 = -2*q, -4*k + 534 = 2*q. Which is smaller: 258 or q?
q
Suppose 0 = 7*g - 85 - 328. Which is smaller: g or 117/2?
117/2
Suppose 0 = -o + 5*c + 