. Suppose 4*u + 4*w - 64 = 0, 0 - 16 = -3*u + 5*w. Do u and z have different values?
True
Let u(x) = -3*x - 11 + 3*x + 5*x - 4*x. Let y be u(8). Let v be 60/4*(-2)/y. Which is bigger: v or 11?
11
Let o = 60 - 51. Suppose 0 = -s + 10 - o. Does 0 = s?
False
Suppose 2*w + 3*p = -39, -4*p - 6 = 2*w + 38. Is -11 bigger than w?
True
Suppose 5*h - 87 = 53. Which is greater: 27 or h?
h
Suppose 3*c + 12 = 0, k + 3*c - 43 - 64 = 0. Let u be 105/k - 6/(-51). Let v = 3 - 2.95. Is v at most u?
True
Let f = -23.48 + 18.48. Which is bigger: f or 2?
2
Let v(t) = 3*t + 5. Let w be v(6). Suppose 0 = 5*a + q + 10, -q + 6*q + w = 2*a. Which is smaller: -1/9 or a?
a
Suppose 3*u - 2*f = -3 + 13, 3*f = -u + 7. Suppose -x - 15 = -4*x + u*c, 0 = -5*x - 3*c - 4. Let l be 3*(1 + 16/(-12)). Is x smaller than l?
False
Let m = 7058 + -35123/5. Let n = -34 + m. Suppose 13 = a - 3*c, 9*c = 4*a + 8*c + 3. Are a and n nonequal?
True
Let i be 18/30 + (2 - (-1571)/(-585)). Is i >= 1?
False
Let z(n) = n**2 + 6*n + 10. Let v be z(-4). Suppose -15 = s + 2*s, 3*s = -4*x + 9. Suppose v*k + x = -0. Which is bigger: k or -2?
-2
Let f = -28 - -21. Let k = -10 - -14. Let v(g) = -g**2 + 2*g - 1. Let s be v(k). Which is smaller: s or f?
s
Let z be 1/(3 + (-10 - -6)). Suppose 3*x + 4 = 1. Let o be x*3/(-21)*-2. Is o < z?
False
Let a = 20 - -366. Let y = -5788/15 + a. Let h = 6 - 7. Is y < h?
False
Let z be ((-1772)/(-2))/2 - 2. Which is greater: z or 442?
442
Let z = -38 + 24. Let k be (6/z)/((-3)/(-2)). Let f be (-3 + 4)*2/(-14). Which is smaller: k or f?
k
Suppose -2*p = 3*n + 2*p - 33, -4*n + 66 = -2*p. Let j be (1/n)/(9/30). Let q(g) = g - 5. Let c be q(4). Which is bigger: c or j?
j
Suppose -6 = 3*m - 2*f, -2*m + 4*f - 5*f + 3 = 0. Suppose -7*s + 18*s - 11 = m. Which is smaller: s or -2/77?
-2/77
Let f = -228 - -101. Let s = f - -135. Which is greater: -1 or s?
s
Let j = -13 + 10. Let y be (j + 2)/1 + 2. Suppose -3*k = -2*k - y. Which is greater: k or -2?
k
Let z(d) = -d - 24. Suppose 4*i = -2*x - 30, 4*x + 70 = i + i. Let m be z(x). Let p be ((-1)/(-1))/((-3)/27). Which is greater: m or p?
m
Let k be (-4)/(-21)*((-5382)/(-4))/39. Which is greater: k or 15?
15
Let t = 5123 + -210032/41. Is t bigger than 1?
False
Let d be (-2 + 1 + 0)/(-1). Let q be -3 - 11*d/(-4). Let a(x) = x - 3. Let l be a(4). Which is smaller: q or l?
q
Let c = 0.66 + 31.34. Let n = 217 + -217. Is c at least as big as n?
True
Let q be (13/(-2))/(4/8*1). Let g = q + 12. Do g and 1/5 have different values?
True
Suppose 0 = -2*o + 2*s + 4, 4*s + 8 = -5*o + o. Suppose -5*d + o*d = -230. Is 46 at least as big as d?
True
Let d = -14 - -24. Let a be (9/(-12))/((-5)/(-200)). Let p be ((-4)/d)/(12/a). Is 2/5 less than or equal to p?
True
Suppose -6*o = -4*o - 22. Suppose 0 = -6*r + o*r - 5. Is r <= -3/8?
False
Suppose 3*f + 0*z + 2*z = 7, -4*z + 20 = 0. Let h be (-2)/(-8) - 42/(-24). Suppose 0*p - h = p. Which is bigger: p or f?
f
Let c(d) be the third derivative of -d**5/60 + 5*d**4/24 + 5*d**3/6 + d**2. Let t be (-4)/3*135/(-30). Let o be c(t). Do -2/23 and o have different values?
True
Let u be 2 - 3*2/(-1). Let b = 6 - u. Suppose 0 = 3*v + 2*g + 15, 11 = -3*v + g - 4. Which is greater: b or v?
b
Let y(z) = -14*z**2 + 126 + 7*z - 141 + 6*z + z**3. Let a be y(13). Is -14 at most a?
False
Suppose 3*b = 2*b. Suppose b = 5*k - 14 - 11. Suppose 0 = -3*j + k + 25. Which is bigger: 9 or j?
j
Let g = 659/3 - 220. Which is greater: g or 3?
3
Let j(l) = -2*l**2 - 3*l + 8. Let w be j(3). Suppose 2*p - p + 23 = -n, 5*n = 4*p + 92. Which is smaller: w or p?
p
Suppose -6 = -4*l - 22. Let u = l + 5. Let m be (-3 + -1)*u/(-1). Which is smaller: 1 or m?
1
Suppose 47 + 13 = -5*f. Suppose -5*r - 14 = -h, r + 2 = -2*h + 8. Suppose 22 = -5*m - 3*s - 32, -h*m = s + 46. Is m greater than f?
False
Let n(l) = l + 2. Let v be n(-4). Let x(f) = f**2 + 1. Let c(a) = a**3 - 7*a**2 + 7*a + 20. Let p(q) = c(q) - 3*x(q). Let h be p(9). Which is bigger: v or h?
h
Suppose 8 = 3*b + 4*g, -3*g + 33 = -2*b + 2*g. Let f be 9/(-75)*b/6. Suppose 3*t = -2*o + 7*o, -t = 0. Is f less than or equal to o?
False
Let z = 22 + -13. Suppose -2*h + z = 1. Suppose -12 = -h*u + 8. Which is bigger: 4 or u?
u
Let p = -41604227/440 + 94555. Let x = 1551351/5720 + p. Let h = -271 + x. Is h greater than 1?
False
Let h = -114/109 + 12154/1199. Is h >= 8?
True
Let u = 39 + -14. Let s = 14 - u. Which is smaller: s or -2/5?
s
Suppose -y + l - 4*l - 650 = 0, -y = 2*l + 651. Let g = y - -196555/301. Let x = 859/6622 + g. Which is greater: x or 1?
1
Let g = -34 - -33.47. Let n = 0.13 + g. Which is greater: n or -2/13?
-2/13
Suppose -3*r = -2*g + 63, -r = 3*g - 1 + 33. Is r > -23?
False
Let b = -17 - -38. Suppose 17*h = b*h - 8. Is 12/19 < h?
True
Suppose 4*k + 7 = -2*q - 9, 3*q - 2*k - 8 = 0. Let w be (-2420)/(-1683) - ((-15)/(-9) - (-364)/(-204)). Is w greater than q?
True
Suppose 75 = 4*r + 71. Do 1/509 and r have different values?
True
Suppose -r - 2*a + 12 = 4*r, 0 = -r + 5*a - 3. Suppose 0 = -3*p + r*n + 1, 0*p = -5*p + 5*n - 5. Which is bigger: p or -12?
p
Suppose z = -z - 5*g + 29, -3*g + 15 = 0. Let p be 1/z*(4 - 2). Which is greater: 2 or p?
2
Let h = -7 + 3. Let s = -358 - -354. Is h >= s?
True
Let p be (-22)/(-24) + (-1)/4. Let d = -140.77 + 141.07. Which is smaller: p or d?
d
Let x be (2/(-16))/((-2)/(-4)). Let f = -41292605 - -64044827764/1551. Let c = f - -2/517. Are x and c nonequal?
True
Let q(u) = -2*u**2 - 16. Let b be q(-6). Let l be (-16)/b - 744/99. Which is greater: l or -8?
l
Let b be 3661/364 - 11 - -1. Is b at least 0?
True
Suppose -5*u + 57 = -0*u - 4*t, t - 2 = 0. Suppose -7 = -d - u. Is -8 less than d?
True
Let k = 0.1696 - 0.6696. Which is smaller: -40 or k?
-40
Let t = -1065 - -1108. Is 28 > t?
False
Let p be ((-4)/5)/((-6)/15). Let b(h) = 3*h**2 - 5*h - 5 + 0*h**2 - 1 - 2*h**p. Let m be b(6). Is 0.1 at most m?
False
Let p be 12/12*3*(-1)/3. Is p greater than -5/7?
False
Let g be (-5 - 294/(-57))*(-3)/18. Let p = g - -3/38. Suppose -9 = -3*x, 0 = -3*r + 4*x - 0*x - 15. Which is smaller: r or p?
r
Let t be 1 + -4 + -3 - 23. Let a = 33 + -62. Is t at least as big as a?
True
Let n = 0.1 - -0.866. Which is bigger: n or -2/3?
n
Let f(y) = -y**2 + 24*y - 135. Let a be f(14). Let l = 3 + -3. Suppose 2*o - 5*z - 17 = l, -3*o + 20 = o + 4*z. Is a bigger than o?
False
Let a = 8281 - 8271. Suppose 0 = b - 5*b + 28. Which is bigger: b or a?
a
Let l = -0.3 - -0.2. Let c = 58.2 - 57.83. Which is bigger: l or c?
c
Let z = -136/33 + -9701/33. Let t = 297 + z. Which is smaller: 2/5 or t?
t
Let l be (4 - 8)/(4 + -14). Let c = 0.066 + 1.834. Which is bigger: c or l?
c
Suppose 13*w + 25 + 14 = 0. Let g be w*1*(14/(-6))/(-7). Which is smaller: -1/11 or g?
g
Let q = 20 + -28. Let o(b) = b**2 + 11*b - 4. Let y be o(q). Let h = y + 57/2. Which is greater: h or 0?
h
Let p be ((-12576)/(-80) - (-1 - -1))*-5. Is -787 at least p?
False
Let y(k) = k**3 - 17*k**2 + 16*k - 28. Let n be y(16). Which is smaller: n or 3?
n
Let p(q) = -7*q + 2. Let l be p(1). Suppose -4*m = m + 25. Does l = m?
True
Let y(w) be the first derivative of w**2/2 + 11*w - 5. Let q be y(-11). Let f = -8 - q. Which is smaller: -9 or f?
-9
Suppose -h + 160 = -1. Suppose -f + 5*q - h = 0, 3*f + 2*q + 600 = -f. Let a = f + 457/3. Do a and 0 have the same value?
False
Let q be (-4)/6*6/4. Which is greater: q or -1/51?
-1/51
Let i be (-12)/(-32)*-2 + (-6705)/36. Is -187 bigger than i?
False
Let t be 9*(-3 + -1 - 1). Is t greater than or equal to -14?
False
Suppose -w - 2*j = 1, 3*w + 3*j + 2*j = 2. Let n(d) = d**2 - 7*d + 2. Let m be n(5). Let s = m + w. Which is greater: s or -1/4?
s
Let p = -188.2 - -188. Which is smaller: p or -5.5?
-5.5
Let r = -39.424 + -1.576. Are r and 4/11 equal?
False
Suppose -9 = -6*z - 3. Let i be 2/(-9) + (-164)/(-252). Which is bigger: i or z?
z
Suppose -5*x = -x - 8. Suppose 0 = -5*t - 4*q - 25, 2 = 5*t + q + 12. Let d be (x/(-12))/(t/22). Is d at most 5?
True
Let c(h) = h**3 + 37*h**2 - 34*h + 126. Let z be c(-38). Which is greater: -30 or z?
z
Let q be 1/((-1)/(-261)*-3)*-1. Suppose -87 = 3*t - q. Is t < -0.1?
False
Let h = 129 - 122. Suppose i - 6 = -2. Is h at most i?
False
Let x = 7 - 9. Suppose -3*j = -j + 6. Let r = j + 1. Is x less than or equal to r?
True
Let w = -25 - -75.