. Are 2 and u nonequal?
True
Let p = 1 + -5. Which is bigger: p or -2?
-2
Let z = -5.7 + 5.6. Which is bigger: z or 18?
18
Let p be (10/6)/(-1)*22/(-20). Which is greater: 1 or p?
p
Suppose -2 = -r + 5*y + 12, -2*r + 5*y = -13. Are 65 and r equal?
False
Let r be ((-10)/(-2))/(-2 - -1). Let k = r - -11. Let h be 4/k + (-16)/6. Which is smaller: h or -1?
h
Let w(h) = 2*h**3. Let l be w(-1). Let o = 0 + l. Let r be (-5 - -3)/(o/2). Is r at least 3/5?
True
Let p(g) = -g + 8. Let a be p(10). Let s be 116/(-14) + (-2)/(-7). Let x be ((-2)/s)/(1/a). Is x bigger than -2?
True
Let c = -1 - 3. Let l = -11 + 12. Let u be l/(2 - 0 - 3). Is u smaller than c?
False
Let u = 0 + -1. Let q = 971 + -973.2. Which is greater: q or u?
u
Let r = 43/4 + -10. Suppose 2*j - 5*j + 15 = 0. Suppose 0 = -j*l, -3*n = -6*n - 3*l + 6. Which is bigger: n or r?
n
Let m be 2 + (-2 - 1/4). Let p = -19 - -17. Let f = p - -1. Is m bigger than f?
True
Let y = -3.9 - 0.1. Is y bigger than -4?
False
Suppose 5*m - 3*b - 2*b - 5 = 0, -4*m - 5*b = 14. Which is greater: m or -2/291?
-2/291
Let q = 0.39 + 12.61. Which is bigger: 2 or q?
q
Suppose 8 = 4*s + v + 17, 0 = 2*v - 6. Let w(p) = -p + 3. Let f be w(5). Which is greater: f or s?
f
Let k = -40 - -22. Is k greater than or equal to -52/3?
False
Let t be ((-1)/2)/((-2 + -2)/(-232)). Is -29 > t?
False
Let l = 7 - 6. Is 2 at least as big as l?
True
Suppose 39 = -15*k - 21. Is 0 at least k?
True
Let i = -1.4 - 0.8. Let j = 2.4 + i. Is 2/3 > j?
True
Suppose 2*t + 3*t = 10. Let c be 3/(-5)*6/(-18). Which is greater: t or c?
t
Let u = 62 - 30. Suppose -3*q = q + u. Is -9 at least as big as q?
False
Let t(z) = 2*z + 2 + 2 - 4*z + 3*z. Let a be t(-3). Is 1 at most as big as a?
True
Let u = -0.2 - -0.25. Let j = -2.05 + u. Let w = -2.2 - j. Is w at most as big as 0?
True
Let k(w) = w**2 + 2*w - 1. Let d be k(-2). Suppose u - 5*r = 2 + 7, -2*r + 1 = -5*u. Let v = u - d. Which is bigger: v or 1?
1
Suppose 36 = -10*z - 64. Which is greater: -9 or z?
-9
Let h = 0.49 - 0.19. Is h equal to -3/4?
False
Suppose -25 = -m - 6*f + f, -5*m = 3*f - 37. Which is bigger: m or -2/5?
m
Let q(i) = i**3 + 6*i**2 + 7*i + 6. Let w be q(-5). Let s(x) = -x**2 + 7*x - 4. Let j be s(7). Are j and w nonequal?
False
Let p = -2 - -2. Let d be 0/(2 + (p - 0)). Suppose -3*t + 3 + 0 = d. Which is smaller: t or 2?
t
Let j = -50 - -50.1. Let i = 4.19 + 0.01. Let n = i + -4. Which is smaller: n or j?
j
Suppose 0 = m + 17 - 16. Is 0 equal to m?
False
Suppose -5*i - 5*x + 25 = -0*i, -5*i = -3*x - 9. Suppose -2*c + i*c = 0. Suppose -5*j - 2*q - 13 = 0, 15 = -3*j - 3*q - 0*q. Which is greater: j or c?
c
Let j(c) = -c**3 + 5*c**2 - 1. Let y be (1/3)/((-1)/(-12)). Suppose -y*v - 3 = -23. Let f be j(v). Is f at most -3?
False
Suppose -5*k + 4*k - 14 = 0. Let u = k - -8. Which is bigger: u or -4?
-4
Let u = 49/76 + 2/19. Let t be ((-1)/2)/(2/(-8)). Suppose 4*j = t*j. Do u and j have the same value?
False
Let a be (-135)/198*(-1)/(-10). Let d = 59/220 + a. Which is smaller: d or 0?
0
Let j = 2.2 + 0.8. Let p = j - 3. Let q = p - -0.2. Is 1/4 greater than or equal to q?
True
Let p = -83/3 + 55/2. Suppose 2*k = -5*r - 13, 4*k - 2*r - 19 = 3*r. Which is smaller: p or k?
p
Let a(p) = -p**2 - 8*p + 3 - 5 + p + 3. Let g be a(-5). Which is smaller: 10 or g?
10
Let g = 0.4 + 2.6. Let n = g + -2.9. Is n less than 0.2?
True
Suppose -4*m + 7*m = 18. Suppose 5*q + m - 1 = 0. Which is bigger: 0 or q?
0
Suppose -w = -2*m - 2, 3*w + 2*m = -m - 30. Let p be w/4*(-12)/(-18). Let x be (p/(-2))/((-1)/(-4)). Are 1 and x nonequal?
True
Suppose 0*t = 3*t + 3. Let g be t*1/1 - -3. Is g at least 2?
True
Let t = -168 - -155. Which is greater: -7 or t?
-7
Let l(b) = -b + 14. Let t be l(13). Which is smaller: 2 or t?
t
Suppose 5*r = -1 - 4. Let c be 11/(-44) - 622/8. Let f = c - -547/7. Are r and f nonequal?
True
Let p be -1 + (1 - 1/1). Let c be (-3 + 5)*(-1)/2. Let d be 0 - (c + (5 - 2)). Is p <= d?
False
Let q(k) = 2*k - 3*k - 6 + k**2 - 3*k. Let m be q(5). Which is bigger: -5/3 or m?
m
Let h(m) = -5*m - 1. Let d be h(1). Let v = -4 - d. Suppose -5*t - 2*y + 26 + 9 = 0, -v*t + 3*y - 5 = 0. Which is smaller: t or 6?
t
Let c = 28 + -29. Are c and 1/19 nonequal?
True
Suppose 6*w = 2*j + 3*w - 56, -5*j + 140 = 4*w. Is j equal to 28?
True
Let r(u) = -7*u**3 - 2*u**2 + 2*u - 1. Let q be r(1). Suppose -5 = b + 3. Is b bigger than q?
False
Suppose -2*a + a - 1 = 2*x, 5*a + 2*x = -5. Is a <= -1?
True
Let m = -32 - -17. Let l be -3 - (0 + 0) - m. Which is bigger: 11 or l?
l
Let g(q) be the second derivative of 5*q**4/3 - 2*q. Let v be g(-1). Suppose -5*c - v = 5*z, 9*z = 4*z - c. Which is greater: z or -1/6?
z
Let v = -5 - -1. Let j = v + 4. Which is smaller: -1 or j?
-1
Let q = -3/161 - 89/161. Let f = -12.1 + 12. Does q = f?
False
Let t be ((-3)/9)/((-1)/(-3)). Is -2/121 at least as big as t?
True
Let n be -2*1*(-41)/4. Let r(f) = 3*f - 2. Let u be r(-6). Let a = n + u. Is a <= 0?
False
Suppose z + 4 = -2*h, 2*z = h + 26 - 9. Let n be 3/(-2*(-3)/z). Let v be ((-2)/(-7))/(3/n). Is v <= 0?
False
Let c = -40 + 40.7. Is -3 at most c?
True
Let v = -4 - -3.7. Let b = -0.1 - v. Is b < 0.4?
True
Let d = -312 - -47115/151. Let r be (-4)/(-3926)*(-263)/2. Let k = d - r. Which is smaller: k or -1?
-1
Suppose 0 = q - 7 + 16. Let s be 1/4 + q/4. Let p be (0 - s)*(-2)/4. Is p greater than 1?
False
Let q = -40 - -37. Let f = -2.4 + 0.4. Which is greater: f or q?
f
Suppose 0 = 5*x + 2 + 18. Let j = x + 3. Is j equal to -2/11?
False
Let a = 11 + -11. Is -4 < a?
True
Let x = -7 - -5. Let p = -846 - -9300/11. Is p at least as big as x?
True
Let v(k) = k**3 + 7*k**2 + 4*k + 4. Let w be v(-6). Is w less than or equal to 16?
True
Let f = -668/1265 - 2/115. Let c(m) = 2*m**2 + 3*m + 3. Let j be c(-2). Suppose 3*y + 11 = -j*t, -2 = -4*y + 5*y. Which is bigger: t or f?
f
Let u = 10 + -15. Let s = u + 3. Is s < -1?
True
Let o be (6/4)/(5 - 11)*-1. Let k = 0.8 - 3.8. Which is smaller: k or o?
k
Suppose 5*q - 2*b = 2, -q = -2*q + 5*b + 5. Suppose 0*l + l - 9 = q. Which is greater: 10 or l?
10
Let u = -15/86 - -1421/258. Is 6 at most u?
False
Let p be 9/(-165) + -2 + -3 + 5. Is 1 smaller than p?
False
Let l be (-2 + (-21)/(-6))*2. Let z be l + 1 + 2 + -2. Suppose 5*c + 2*n + 7 = 0, 0*c - 3*n - 7 = z*c. Which is bigger: c or -1/4?
-1/4
Let b = -62 - -64. Is 17 != b?
True
Let l = -0.37 - 2.83. Let f = 3 + l. Is f greater than 0.2?
False
Let m = -7656303911117 - -7097394553182976/927. Let l = m + -892748. Let z = l + -2/103. Which is greater: 0 or z?
z
Let w(c) = c - 7. Let h be w(8). Let o be -1 - h/(2/(-2)). Is -1/6 at most as big as o?
True
Let r = -4 + 3. Let y be (-4)/10*-2*-5. Let v be 64/78 + y/6. Which is smaller: v or r?
r
Let o(m) = -m - 9. Suppose 3*j + 12 = -15. Let f be o(j). Let p be 0/2 + 0/1. Is f at most as big as p?
True
Let z(t) = -3*t + 3. Let s(y) = -4*y + 2. Let w(r) = 2*s(r) - 3*z(r). Let q(f) = -f**3 + 6*f**2 + 8*f. Let i be q(7). Let a be w(i). Is a > 3?
False
Let a = -22864/9 - -2538. Let w = a + 25/9. Let h be -2 - 3*4/(-4). Is w not equal to h?
True
Let x = 6.1 + -0.1. Let q = x - 10. Let n be 11/14 + (-4)/14. Which is smaller: q or n?
q
Let t(o) = 10*o + 32. Let q be t(-6). Is q at least as big as -30?
True
Let n(j) = -j**2 + 5*j - 205. Let u(t) = t**2 - 4*t + 205. Let g(q) = -3*n(q) - 4*u(q). Let y be g(0). Let z = 1843/9 + y. Are z and -1 equal?
False
Let k = 5 + -2. Suppose k*x + 1 = 7. Let m be (-8)/6*x/12. Are m and 1 unequal?
True
Let b = -162 - -161.29. Let t = 0.09 - b. Let k = t - 1. Is 1 bigger than k?
True
Let t(h) = h - 13. Suppose i = -i + 18. Let a be t(i). Which is greater: -1 or a?
-1
Suppose -4 = 4*p - 0*p. Let q = -62/5 - -1059/85. Is q smaller than p?
False
Let k(o) = o**3 + 6*o**2 + o + 6. Let y be k(-6). Suppose y*n = 2*n - 10. Is n greater than 4?
True
Let u = -0.3 - 3.7. Let i = -21 + 20. Let z be (i - (-15)/3) + -3. Is z greater than or equal to u?
True
Suppose -5*s - 50 - 20 = 0. Let d = 9 + s. Is -3 bigger than d?
True
Suppose 4*l + 3*x + 9 = -0*x, l + 21 = 3*x. Let n be -9 + 5 + -3 + 1. Is n <= l?
True
Suppose -4 = -2*h, -3*w - h + 5*h = -19. Does w = 10?
False
Let a = 1 - 5. Let s = 1 + a. Let i be ((3 + s)/1)/1. Which is bigger: 1 or i?
1
Let i(o) = o**3 + 3*o**2 + 2*o + 1. Let y be i(-1