1 - 1 - 0). Is -3 less than y?
True
Let z(j) = j + 3. Let c be z(-5). Let w be (-950)/7 + (c - -3). Let d = w + 135. Do d and -1 have the same value?
False
Let m = 20 + -11. Suppose 3*x - m = -2*r - 3, 10 = 5*r + 5*x. Are r and 0 nonequal?
False
Suppose 6 = r + r. Suppose -2*j + 7 = -r. Suppose -4*a = j*n - a + 11, -2*n - 3*a = 8. Which is bigger: n or 1/5?
1/5
Let s = -32.3 - -32. Is -2/5 at most as big as s?
True
Suppose -3*m - u + 11 = 0, u - 4*u + 9 = m. Suppose 4 = -x - 2*z - 0, -m*z - 7 = 2*x. Which is smaller: -1/2 or x?
x
Let x = -96/215 - -2/43. Is 1 < x?
False
Let h be (15/(-11590))/((-2)/300). Let r = -4/19 + h. Let i = r + 187/244. Which is bigger: 0 or i?
i
Let w(a) = 2*a**2 - 5*a. Let s be w(4). Suppose 5*i - s = i. Let y = i + -2. Is -2/7 != y?
True
Let k = 9.8 + -9.65. Is 3 greater than k?
True
Suppose 4 = -2*n, -2*n - 18 = -0*z - 2*z. Suppose 8 + z = 5*s. Suppose -t + s = 4. Which is bigger: -2 or t?
t
Let g be (-20)/5*-1*1. Is g greater than 1?
True
Suppose 23*p - 26*p = -3. Which is smaller: -1/33 or p?
-1/33
Let i = -39 - -59. Let v be ((-4)/30)/((-4)/i). Which is greater: v or 1?
1
Let o be 16/(-28) + 50/(-35). Suppose 3*u = -w - 6 - 7, 4*w = -2*u - 22. Is w at most o?
True
Let h be (-42)/(-10)*(-15)/(-6). Let m = h - 41/4. Which is smaller: 4 or m?
m
Let t = 12.1 + -7.1. Let h = -0.13 - -1.03. Let k = h - 1. Is t less than k?
False
Suppose -5*l = -4*f - 10, -5*f = -l - 15 + 38. Let d be (66/15)/(-2) - l. Which is smaller: -1 or d?
-1
Let v be 2/(-11)*(14/4 - 3). Which is bigger: v or 1?
1
Let g = 0 + 9. Suppose 4*l - 23 + g = -5*f, l - 12 = 3*f. Which is bigger: 5 or l?
l
Let v = 33 - 163/5. Is 6 at least v?
True
Suppose v - 4 = -0*v. Which is greater: 17/6 or v?
v
Let p = 12.2 - 8. Let n = p - 1.2. Is n < -2?
False
Suppose -3*l + 2*w - 65 = 0, 0 = -3*l - w + 5*w - 61. Is -24 at most l?
True
Suppose 3 = -2*z + 5*z. Let m = z - -9. Let d be 12/m*(-1)/3. Is d != 2/5?
True
Let q = -0.3 - -0.22. Let p = -0.08 + -0.02. Which is smaller: q or p?
p
Let l = 1.5 + -1.3. Is -9 smaller than l?
True
Let d = 50/19 + -2323/38. Let t = 56 + d. Which is bigger: -4 or t?
t
Let u = -9 + 7. Is u equal to 10?
False
Let k = 54 + -43. Which is smaller: 7 or k?
7
Suppose 0 = -3*u - 5*o + 35, 3*u - 16 = -u + o. Let c = 8 - u. Which is greater: 1 or c?
c
Let j be (0 - (0 + 1))*-1. Which is greater: -1/6 or j?
j
Suppose -18 = -6*p + 3*p. Suppose -34 + 14 = -5*x. Which is greater: x or p?
p
Suppose -3*y - 1 = 2*a + 4, 0 = 4*y - 3*a + 1. Let v be 3*6*4/(-45). Is y bigger than v?
True
Let i(d) = 4*d**3 - d. Let t be i(1). Suppose t*o = o + 10. Which is bigger: o or 4?
o
Suppose 238 = 5*r - 3*r. Let y be r/105 - (-2)/(-15). Which is bigger: y or 2/25?
y
Suppose 0 = 5*i + 3*j - 36, -8*j - 12 = -4*j. Is 11 <= i?
False
Suppose -4*m = -4*o + 8, -10 = -o - 0*o + 5*m. Let k be 2/(-4)*(-12 + o). Suppose k*y = 2*y. Is 0 at most y?
True
Let x = 0 + -0.1. Let u = 0.2 + x. Let b = -0.1 + u. Does 0 = b?
True
Let l be 10/15 + (0 - 214/6). Is l > -34?
False
Let r be 15/(-11) + 2 - 1. Let q = 50 - 50. Is q greater than r?
True
Let j be (15/(-150))/((-2)/10). Suppose 9*h - 4*h - k - 7 = 0, -4*h = 3*k + 2. Which is smaller: j or h?
j
Suppose -47*a = -41*a + 90. Is -14 equal to a?
False
Let p(q) = 18 - 5 + 20*q - 21*q. Let m be p(9). Is -0.2 less than or equal to m?
True
Suppose -9 = m - w, -4*m - 17 = -m - w. Suppose -4*s - 3*r + 22 = 0, s - r = -0 + 2. Let u be s - 4 - (4 + -1). Is u at least as big as m?
True
Let r be 1/(0 + 1) + -4. Let w = -22 + 14. Let g be (-2)/(-2*2/w). Is r >= g?
True
Let y = 31 + -31. Let c(k) = k. Let u be c(y). Suppose -5*p = v + 11, 3*v + 3*p = -0*p - 9. Are v and u equal?
False
Let c = 38 - 23. Let o = -15.2 + c. Which is greater: -1/3 or o?
o
Let u be ((-4)/(-10))/(9/(-15)). Let t(l) = -2*l**3 - 3*l**2. Let d be t(-2). Let q be (-5)/((-90)/d)*-1. Which is smaller: q or u?
u
Let t be ((-4)/36 + 3/3)/(-2). Which is smaller: 0 or t?
t
Suppose -l - 3*p = 27 - 8, -4*p = -5*l - 190. Is -34 at most as big as l?
True
Let o = 8 + -10. Let j be 3/2*o/3. Is 3/7 equal to j?
False
Let c = -19/60 - -1/15. Which is smaller: c or -1?
-1
Let y = 4 + -4. Suppose -3*m = n - 7, m = -y*n + 2*n. Which is greater: 2 or n?
2
Suppose -4 = 2*c + 3*b + 1, 5*c + 41 = 2*b. Let n = 15 - 22. Is n less than c?
False
Suppose 2*p + 103 - 351 = 0. Let u = -68 + p. Let l be u/171 - (-2)/(-9). Which is smaller: l or 1?
l
Let x = 5 - 2. Let g be 3/(-2)*4/(-6). Suppose x*d - 4*d = g. Is d > 1?
False
Let j be (0/1 + -1)*-5. Let u(c) = -c - 4. Let q be u(j). Let w = -10 - q. Which is greater: -1/2 or w?
-1/2
Let z be ((-5)/(-4))/(-1) - -1. Let r be -3 - ((-548)/(-5) - 0). Let h = -113 - r. Is z at most h?
False
Let a(y) = -10*y - 4. Let w(s) = -11*s - 5. Let q(z) = -6*a(z) + 5*w(z). Let f be q(1). Let t(n) = 2*n - 9. Let c be t(6). Which is smaller: f or c?
c
Suppose 25 = -5*f - 3*s, -2*f - 20 = 2*f - s. Suppose -2*v - 4*x = -4, -9*v - 12 = -5*v + 3*x. Which is greater: v or f?
f
Suppose 0 = 3*u + f - 12, 0*f - 5*f = -2*u + 8. Let w be u/(-40)*6*-1. Is 2 at most w?
False
Let p be (-1*2/2)/1. Let h = -1541249/105 - -101034/7. Let n = h - -245. Is n greater than p?
True
Let q(h) = -h**3 - h**2 - h + 7. Let b be q(0). Is 6 <= b?
True
Let w = 99 - 98. Which is bigger: -1/29 or w?
w
Suppose -4*u - 3*l + 16 = -6*l, 0 = 3*l. Suppose 3 - u = -d. Suppose w = 2*w - d. Is w not equal to 2/5?
True
Let g be (-2)/(2/3) - -6. Suppose -3*t + 4*t + g = 0. Is t smaller than -3?
False
Let h(z) = -z - 11. Suppose -15 + 3 = d + x, d = -3*x - 12. Let c be h(d). Let g = 4 - 2. Is c at least as big as g?
False
Suppose -2*w = -0*w + 6. Let t be (-9)/(-15) + (-1 - 0). Which is bigger: t or w?
t
Let y(h) be the third derivative of h**4/24 - 5*h**3/6 + 2*h**2. Let j be y(5). Which is greater: -2/3 or j?
j
Let y be 2 + (-4)/(-2) + -11. Let h be (y - -5) + (0 - -3). Which is smaller: h or 3?
h
Let n = 5 - 2.8. Let c = 1.5 - n. Let w = 0.74 + c. Which is smaller: w or 0?
0
Let w be ((-4)/(-6))/((-1)/3). Suppose -4*y = y. Let x = -3 + y. Is x bigger than w?
False
Let i = 57 + -52. Suppose -2*p + 78 = 5*k, -4*p = 5*k - 39 - 47. Let l be (-2)/k*(i + -4). Which is smaller: -1 or l?
-1
Let h = 26.1 - 26. Is 2/19 less than or equal to h?
False
Let v(n) = n**2 + n + 10. Let g be v(0). Do 13 and g have different values?
True
Suppose z = 4*z. Is 1.3 greater than z?
True
Suppose 3*n + 32 = n. Let a = n + 31/2. Which is bigger: a or 1/3?
1/3
Let g = -36 + 34. Which is greater: g or -6?
g
Suppose -4*f - 5*t = -72, 5*t - 29 = -2*f + 17. Which is smaller: f or 14?
f
Let p = 7.03 - 0.03. Let o = -6.7 + p. Which is smaller: o or -1?
-1
Let f be -1*2*(-4 - -2). Let y = 6 - f. Suppose u = -u + y. Which is bigger: 4/3 or u?
4/3
Suppose -2 - 23 = -5*t. Let f = -9 - -9. Suppose -3*p + t*p = f. Is 0 at least p?
True
Let j be (2*-1)/(4/(-6)). Let f be (-74)/(-8) - 3/12. Let d = f + -6. Is d >= j?
True
Let o = -18 - -16. Let n be o/4 + 26/4. Is 1 smaller than n?
True
Let c = -17 - -16. Which is smaller: -0.2 or c?
c
Let x = 2 - 6. Let s be (-7)/(7/((-7)/(-2))). Does x = s?
False
Let b(n) = n**2 - 1. Let l be b(2). Suppose l*c + 2*c = -10. Let w be (-3)/c*5/15. Is -5 > w?
False
Let n = 7 - 2. Let u = 4 - 6. Let o = u - -2.1. Is o equal to n?
False
Let m = -0.4 - 0.6. Let p = 0.4 - 1.4. Let h = 0 - p. Do h and m have different values?
True
Let i = 77 + 103. Suppose 3*l + 201 = -3*h + 5*l, -i = 3*h + 5*l. Let u be 2/1 + 140/h. Which is bigger: -1 or u?
u
Suppose -l + 3*z - 11 = 0, -4*l - 5*z = l - 25. Which is bigger: l or -2/55?
l
Let v = 19.1 + -19. Which is bigger: v or 0?
v
Suppose -2*b + 3*a + 31 = -14, 0 = -b + 2*a + 25. Let t = 51 - 36. Is b <= t?
True
Let v(u) = 3*u. Let w be v(2). Suppose 11*t - w*t = 35. Let g be t/4 - 5/(-20). Is g greater than 3/5?
True
Suppose -3*d + 6*d - 39 = -3*m, 3*m - 5*d = 7. Which is greater: 0 or m?
m
Suppose 4 = -4*g + 2*q, 3*q = 2*g - q + 2. Let x be (-2)/((-2)/(-5) - 336/140). Is g at least x?
False
Let i be (-49)/2*(-180)/(-25). Let t = i - -177. Which is bigger: 2 or t?
2
Let d = -1 - -1. Let n be 2 + d - (4 - 1). Let z be (-2)/(-3 - (-8 + 4)). Is n at most z?
False
Let h = 50 - 69. Is -17 != h?
True
Let a = 12 + -9. Suppose 7*h - 16 = 3*h, 5*h - 32 = -4*t. Is a smaller than t?
False
Sup