 - 3. Are x and 2/7 equal?
False
Let f = -44 - -37. Is f > 0.2?
False
Let g be 1/(2/(14 + -2)). Let c = g + -5. Is c >= -1/2?
True
Let y = 11 - 8. Suppose 0 = 4*u - 3*u + 4, -2*f + y*u = -24. Let k be ((-2)/f)/((-3)/(-9)). Are -2 and k unequal?
True
Suppose -5*c - 19 = 11. Which is greater: c or -27/5?
-27/5
Suppose -6 = -3*c, -c - 1 = -3*v - 6. Let b be v/(-20) - 5/20. Suppose -1 = -3*q + 2. Is b at least as big as q?
False
Let m = 0.8 - -1.2. Let y = m + -1.9. Let b = y + -0.3. Which is bigger: -1 or b?
b
Suppose 2*f - 34 = -y, 6*f - 140 = -5*y + 2*f. Suppose -3*n = -0*n - y. Which is greater: 9 or n?
9
Let z = -9 + 10. Which is smaller: 1/4 or z?
1/4
Let j = 6/19 + -35/171. Let q = -1 + 1. Does j = q?
False
Let f be (3 - (2 + 0))*-2. Let g = 2 + f. Is g smaller than -3?
False
Let m(d) = -d**2 - 6*d + 2. Let p be m(-6). Suppose 0*b = -4*v - b + 21, v + b - 9 = 0. Let l be (-14)/(-8) - (-1)/v. Is l at most as big as p?
True
Let v = 0.07 + -0.05. Which is greater: v or 1?
1
Let d be 2/(-7) + 160/315. Which is smaller: 3 or d?
d
Let s = -0.1 - 0.8. Let p = 0.1 - s. Which is bigger: -5/2 or p?
p
Let f be 10/3 - (-8)/(-6). Let b(k) = -2*k + 5 + 3*k + 1. Let d be b(-5). Which is smaller: d or f?
d
Let s be (-4)/10 + (-18)/(-45). Let a = 125 - 58. Let k = -203/3 + a. Are k and s unequal?
True
Let c(t) = -t**2 + 4*t + 3. Let z be c(4). Let u = -2 + 5. Is z < u?
False
Let u(z) = 4*z + 45. Let y be u(-9). Which is bigger: 8 or y?
y
Let c be 1*(-4 + 172/44). Let d = 0 - 2. Let f = d - -3. Which is greater: c or f?
f
Let v = -5 - -8. Let w be v/(-2)*(4 - 0). Let y be ((-4)/w + -1)/1. Are y and 1 non-equal?
True
Let k be 3*4494/(-46) + -2. Let q = k + 295. Is q smaller than 0?
True
Let w = -51.9 + 52. Which is smaller: 12 or w?
w
Let i = 1 + -0.4. Let z = 0.6 - i. Let v = z - -0.1. Is v not equal to 2/3?
True
Let s be (-1)/(-9)*(8/(-4) - -4). Is 0 smaller than s?
True
Let i = 11 - 12. Let u be 3 + -3 - 2/13. Are i and u nonequal?
True
Let q(g) = -g**2 + 13*g - 31. Let b be q(10). Let t be (-3)/26*1660/3. Let r = t + 64. Is b smaller than r?
True
Let g = 3 + -2. Let b = 19 + -131/7. Which is greater: g or b?
g
Let a = 58 - 33. Which is smaller: 24 or a?
24
Let p be (1 + (-32)/(-4))*-1. Let k(v) = v**2 + 9*v - 8. Let n be k(-9). Which is smaller: p or n?
p
Let v be -4*2/17178*-915. Let b = v - -1/409. Which is bigger: -1 or b?
b
Let l(f) = f**3 - 7*f**2 + 3*f - 30. Let j be l(7). Is -4 greater than j?
True
Let z be ((-2)/6)/(3 + -2). Let l = 12 + -11.1. Let a = l + -0.8. Which is bigger: z or a?
a
Let b = 1298/35 + -184/5. Let x be (-1 - -3)/(2 - 0). Is x greater than b?
True
Let o(j) = j**2 - 7*j + 5. Let p be o(6). Let i = 9 + -16. Let w = i + 48/7. Is p greater than w?
False
Suppose 4*k + 17 = -5*h, -3*k + 11 = h - 2*h. Suppose k*c - 15 = -5. Suppose 0 = -c*l + 3*b + 14, 3*b = -2*l - l - 6. Which is smaller: l or 2?
l
Let g(k) = -3*k - 1. Suppose -8 = 4*z - 4*y, 3*z - 2*y + 4 = -y. Let f be g(z). Suppose 4*l - 6 = t, 2*l - 5*t - 10 = f. Are l and 1 non-equal?
False
Suppose 0 = 3*y - y + 188. Let j = -1315/14 - y. Which is smaller: j or -1?
-1
Let p = -1/706 + -325/19768. Which is bigger: p or -1?
p
Let s(u) = -u**3 - 7*u**2 + 8*u + 7. Let m be s(-8). Suppose -m = -3*c - q - 3, -c + 2*q - 8 = 0. Which is greater: 1 or c?
1
Let b be (-5)/(60/9)*-4. Do b and 3 have the same value?
True
Let p be 10*(-1 - (-38)/(-4))/3. Are -34 and p unequal?
True
Let b = -2 + 2. Are -1/57 and b unequal?
True
Let t = 2213/11 - 201. Let n(w) = w**3 + w**2 + 3*w + 2. Let o be n(-2). Let j be (-2)/o - 6/(-8). Is j greater than or equal to t?
True
Let d(a) = a**2 + 2*a - 7. Let k be d(-5). Let x be k/44 + (-80)/198. Which is bigger: -2/5 or x?
x
Let b be 0/(-2) + 6*-1. Let d = b + 10. Suppose 3*o + d + 2 = 0. Which is smaller: o or 0?
o
Let v = -78 + 88. Which is bigger: -2 or v?
v
Let i = -0.5 + 0. Let f = -7.5 + 9. Let u = f - i. Is 0.2 at most u?
True
Let h = -9.051 - -0.051. Which is smaller: 2/9 or h?
h
Let m = -5.8 + 12. Let i = m - 2.2. Let x = -6 + 4. Are i and x equal?
False
Let v = 0.302 + -0.032. Let s = v - 0.07. Is 0 > s?
False
Let r be 4 + (12/90 - 4). Which is greater: -0.12 or r?
r
Let q = -123.998 - -124. Do q and 1/2 have the same value?
False
Let h be 820/(-4631) + (-54)/(-297). Is h != 0?
True
Suppose 4*s + 11 = 5*p, -3*p + 2*p + 3*s = 0. Let v be 2 + -8 + p - -3. Which is smaller: v or 1?
v
Let b be (24/10)/(-3 - -2). Let v = -31/15 - b. Let n = -0.39 - -0.59. Which is bigger: v or n?
v
Let n be 4/(-18) + (-164)/(-9). Suppose 5*y + n - 103 = 0. Suppose c - 4*z + 7 = -9, 2*c - 3*z = -y. Which is smaller: -5 or c?
-5
Let u = 3 + -1. Suppose -u*n + 4*f = -6, -2*n - 5 = -3*n + 4*f. Let w = 109 + -543/5. Which is bigger: n or w?
n
Let u = -6 + -18. Let o be (-2)/6 - 44/u. Suppose -1 - 3 = -2*z. Is z less than o?
False
Let o be 2/(-22)*(-3 + 2). Let k(g) = g**3 - 2*g**2 - g. Let c be k(2). Let b be c/9 - 6/(-27). Which is bigger: b or o?
o
Let d = 16 - 24. Let g = 2 + d. Let z(j) = j**2 + 6*j - 4. Let y be z(g). Which is smaller: -5 or y?
-5
Let n(v) = -v**2 - 7*v + 8. Let d be n(-14). Let c be (-380)/d - (-2)/(-9). Is 4 equal to c?
True
Let s be 3*-1 - 2*(-100)/56. Suppose 4 = 3*n - g, -g - g = 8. Are n and s equal?
False
Let q = 13 - 12. Which is greater: q or 2/33?
q
Let n be ((-2)/4)/(14/(-8)). Which is bigger: -2.6 or n?
n
Let i = 7 - -11. Are 17 and i equal?
False
Suppose 5*r = 2*w + 1 + 70, -4*r = 4*w - 40. Suppose 2*p - p - 3*t - 7 = 0, 2*p + 3*t = -r. Which is smaller: 2/3 or p?
p
Let k = -10/133 - 4/133. Is k not equal to -1?
True
Let a = -0.1 - 0. Let n = -0.01 + -2.99. Is a >= n?
True
Let t = -4 - -5. Let y be t*(15 - (-6)/3). Let o = -8 + y. Is 9 greater than or equal to o?
True
Suppose -3*h + 14 = -2*m, 0 = -5*m + 9*m - 5*h + 24. Let y = 122 - 612/5. Is y greater than m?
True
Let t(v) = v**2 - 11*v + 9. Let i be t(10). Let x = -47 + 131. Let c be 4/(-14) + 52/x. Is c at least i?
True
Let l(q) = -q**2 + 7*q - 6. Suppose -5*i = -21 - 4. Let w be l(i). Suppose -6 = 5*u - 2*a, -w*a + 4 = -5*u - a. Is -2 less than or equal to u?
True
Let z(y) = -6*y. Let i be z(1). Suppose -5*f + c + 3*c - 23 = 0, 16 = -4*f + 4*c. Is i <= f?
False
Let c = -4 - -3.98. Let p = -1.98 + c. Let h = -0.1 + 0.2. Is p less than or equal to h?
True
Let h = 2 - 0. Which is greater: 0.4 or h?
h
Let q be (27/(-63))/(-1 + 6/7). Let y(p) = -p**2 + 2*p. Let h be y(3). Let t be 3/(-1)*1/h. Is q equal to t?
False
Let u = 32.1 - 41. Let z = u - -9. Is z at least as big as 9?
False
Let v be (-13)/(-14) + (-5)/10. Let d = -0.2 - -0.3. Is v at least d?
True
Suppose -4*u + 2*y = -0*y + 24, 0 = 5*y. Is -4 at least u?
True
Let k be 2 + 1 + 0 - 0. Suppose 0 = -5*m + 2 + k. Let j be 0/((-1)/m) - -4. Which is bigger: 2 or j?
j
Let m be ((-3)/(-2))/((-6)/12). Is m < -8/3?
True
Let x be ((-2)/(-25))/((-20)/(-75)). Let q = 119 + -1189/10. Let j = x - q. Which is bigger: -1 or j?
j
Let x = 0.78 + 0.22. Let c = -7 + 13. Does x = c?
False
Let s(q) = -q**3 - 20*q**2 - 20*q - 12. Let k be s(-19). Which is bigger: k or 1?
k
Suppose 0 = -2*g - 2*d - 12, 3*g + 2*d = -0*g - 13. Which is smaller: g or 3/7?
g
Let j = 29 + -48. Is -21 >= j?
False
Let j = -0.035 + 0.295. Which is greater: j or -1/3?
j
Suppose 0 = -2*k - 2*k - 4. Which is greater: k or 1/109?
1/109
Let k be 1/(18/45*(-10)/2). Is k at least as big as -40?
True
Let m = 7497/13 + -577. Suppose -3*s = 2 + 1. Is m greater than or equal to s?
True
Let g(u) be the second derivative of -u**5/20 + u**4/4 - u**3/3 - 3*u. Let r be g(2). Which is bigger: 1 or r?
1
Let f = -7.75 - 0.25. Is 3 at least f?
True
Let n = 22/3 - 7. Which is smaller: 3/14 or n?
3/14
Let v be (-1 - 88/(-20)) + -3. Is v < -6/7?
False
Let o be (-1)/(-2) + 1/2. Suppose -2 = -3*z + t, -6 = -z - 5*t - 0. Is o less than or equal to z?
True
Let m = -40/7 - -353/63. Suppose -5*j + 0 - 5 = 0. Is j > m?
False
Let m(p) = p - 4. Let c be m(3). Let h(u) = -u + 10. Let s be h(7). Suppose s*t + 5*z = -17, -5*t = -z - z - 13. Is c < t?
True
Let p = -17 - -19. Which is smaller: p or 0?
0
Let v = 0.03 - 0.05. Let b = v - -0.02. Are b and -3 nonequal?
True
Let p(v) be the second derivative of v**4/12 + 7*v**3/6 + v**2 - 4*v. Let d be p(-7). Is d equal to 3?
False
Suppose -2*q + 4*q - 4 = 0. Let h be