uppose -3*i - 30 = -i + 2*j, -3*j - 32 = 2*i. Are i and u unequal?
True
Let m be 40/16 - (-2)/(-4). Let x be 2 + 2 - 0/m. Suppose 4*c - 12 = z, 2*c + 0*z - x*z - 20 = 0. Is 2/3 at most c?
True
Let y = 1784/9 + -198. Let m = -13.98 - -14. Let r = 0.22 - m. Is y >= r?
True
Let y be ((-2)/(-3))/(49/(-3)). Suppose 20 = 4*a, -5*a = -5*l - 20 - 10. Which is greater: y or l?
y
Suppose -2*t + 11 = 3*z, 4*z - 9 = -z - t. Let b = z + 2. Suppose -3*d = -4 - 2. Is d equal to b?
False
Suppose -6*x = -11*x. Let m = -1884/7 + 270. Which is smaller: x or m?
x
Suppose -2*s + 3 = -5*s, -4*u = 4*s + 24. Which is smaller: 7 or u?
u
Let d = -151/3 + 49. Is d bigger than -1?
False
Let i = 153 - 229. Let c = -683/9 - i. Which is greater: c or 0?
c
Let l be 12/(-40)*(-4)/(-3). Is l equal to -2.7?
False
Let k be (-3 + (3 - 1))*-18. Let l be (-9)/k*56/2. Is -15 != l?
True
Let s be (-3)/(-9) + (-21)/45. Let d = 4 - 5. Is s < d?
False
Let p(k) = 4*k**2 - 44*k - 7. Let a be p(11). Which is smaller: a or -14?
-14
Let b = 1 - 1. Let m = 0 + b. Let h = -0.2 - m. Are -1 and h non-equal?
True
Suppose 3*y + 2 = c, c + 10 = -y + 6*c. Is -6/13 bigger than y?
False
Let b = -1.7 - -1. Let n = -0.9 - b. Let o be 32/30 + 4/(-6). Are o and n equal?
False
Let j be (-3)/4 - 39/(-4). Is 9 not equal to j?
False
Let s be (-3)/6 - (-6)/4. Let o be 2/8 - 3/24. Which is smaller: o or s?
o
Let s = 0.06 - 0.13. Let z = -0.03 + s. Which is smaller: z or 2?
z
Let w = 102 + 14. Do 0.1 and w have the same value?
False
Let b(i) = -4*i - 3. Let w be b(-2). Let y(a) = -a**2 + 6*a - 5. Let c be y(w). Which is bigger: -1/4 or c?
c
Suppose -3*t + 4 - 1 = -r, -r - 3*t = -3. Let d = 1.95 - 2. Which is smaller: d or r?
d
Let o be ((-9)/(-42))/(4/(-14)). Let q(x) = -10*x**3 - 2*x - 1. Let z be q(-1). Suppose 5*m - 3*i + z = 0, -3*i = 2*m + 3 - 7. Is m at least as big as o?
False
Let h = 699 - 45423/65. Let r = 1/65 + h. Let d = -24 - -25. Which is greater: r or d?
d
Let c = -2359/6 + 392. Is -2 smaller than c?
True
Let x = 4 + 0. Let a be 4/12 + x/6. Let h = 431/3120 - 1/208. Is h equal to a?
False
Suppose m = -3, 4*j - m - 27 = -0*j. Suppose j*o = 7*o - 1. Which is greater: 2/39 or o?
o
Suppose h - 3 = -2*h. Let d = 1 - h. Is d not equal to 2?
True
Let k = 5 - 5. Let b be 9/(-15) - (-1)/35. Which is bigger: b or k?
k
Let b = 0.09 - -9.91. Let c = 11 - b. Let l = 1.1 + -0.1. Are c and l equal?
True
Let k(y) = -2*y**3 - 2*y + 1. Let x be k(1). Do -1 and x have the same value?
False
Let j(x) = -x**2 - 8*x + 1. Let k be j(-8). Let w be (-1)/4 + (-49)/(-20). Is w at most as big as k?
False
Let z be 3/(-2) - (-3451)/(-14). Let o = 2726/11 + z. Let f = 0.1 - 0.1. Is f greater than o?
True
Let c(y) = -y**2 + 2*y + 4. Let p be c(4). Let k(q) = q. Let j be k(p). Is -2 bigger than j?
True
Let j be (6/28)/((-11)/(-22)). Suppose 0 = 3*u + 1 + 2. Is j bigger than u?
True
Let q be -2*(0 - 12/8). Let w be 4/6 - 2/q. Is 1/2 at most as big as w?
False
Suppose -p = 2*b - 7, 4*b = p + p + 18. Suppose 0 = b*o - a + 7, 4*o = o - a - 7. Which is smaller: o or -1?
o
Suppose 0 = -4*y - 3 + 51. Is y >= 47/4?
True
Let n = -4 - -4. Let y be (-4)/16 - (-62)/56. Which is smaller: y or n?
n
Let g(o) = o**2 + 7*o + 4. Let u be (0 + 3)*10/(-6). Let x be g(u). Let s be (-4)/(-12) + (-4)/x. Does -1/5 = s?
False
Suppose -4*x + 6 + 2 = 0. Suppose 0*q = x*q. Which is smaller: -2/15 or q?
-2/15
Let b = -17 + 9. Let f = -7 - b. Let j be -2 + 12*2/13. Is j at least as big as f?
False
Suppose -2*r + 4*r + 4*q - 38 = 0, 5*r - 80 = 5*q. Is r != 17?
False
Let i = -1.8 + 1.94. Let m = i - 6.34. Let k = -1.2 - m. Is 0 not equal to k?
True
Let o = 6.4 - 6. Let n = -17.8 - -18. Let l = o - n. Is 1/2 smaller than l?
False
Let a = 7 + -6. Suppose a + 5 = 2*g. Suppose 13 = 4*y + g*o - 6, -23 = 2*y - 5*o. Is -3/7 at most as big as y?
True
Let s be 1/(-4) + (-156447)/276. Let v = s + 567. Which is smaller: v or 1?
v
Let c = -7 - -7. Let p be (-78)/(-54) + (2 - 3). Are p and c nonequal?
True
Suppose -4 = -t - 3. Let p(o) = o**3 + 3*o**2 - o + 3. Let z be p(-3). Let w(d) = -d**2 + 6*d. Let s be w(z). Which is greater: t or s?
t
Let c = 173/608 - 6/19. Let h = -7/32 + c. Is h bigger than -0.6?
True
Let p = -23 - -36. Which is smaller: p or -0.2?
-0.2
Suppose -90*m = -85*m. Which is smaller: -2/15 or m?
-2/15
Let n(y) = 2*y**2 - y + 1. Let d be n(2). Let o = d + -2. Suppose 5*h + 3 = 4*h - 3*a, -o*h - 4*a - 15 = 0. Which is bigger: -2 or h?
-2
Let h = 97/60 + -7/4. Suppose -n = -4*f - 6*n - 16, -2*f + n - 8 = 0. Let w be (-1 - 1) + f/(-2). Which is greater: h or w?
w
Let q = -1520/11 - -138. Suppose -1 = 5*r - 46. Let c be 6/10 + r/(-15). Is q less than c?
True
Let q = 39.9 - 40. Which is greater: q or 39?
39
Let j = 3176/37 + -86. Which is greater: -1 or j?
j
Let o = 24 - 24.2. Let h = -0.1 + 0.3. Let j = h + -0.2. Which is smaller: o or j?
o
Suppose -2 = -3*f + f. Let u be 75/(-171) - 2/(-6). Are f and u equal?
False
Let r = -82 + 244/3. Is r less than -2?
False
Suppose 15 = 5*p + 5*o, 2*p = -3*p + 3*o - 1. Let h(l) = l**3 - 5*l**2 - 7*l + 2. Let q be h(6). Let k be (6/(-8))/(6/q). Which is smaller: p or k?
k
Let o be 6/(-94)*(-4)/(-6). Is -1 equal to o?
False
Suppose -12 + 3 = -3*u. Let z be ((-1)/u)/(26/(-12)). Is 0 less than z?
True
Let w(o) = o**3 - 3*o**2 + o. Let k be w(3). Suppose 0 = -p - k*p. Is 1/19 at most p?
False
Suppose -f - k - 127 = 0, 3*f - k + 361 = k. Is -123 greater than f?
False
Let s be (327/(-2))/((-3)/6). Let u be (4/(-74))/(12/s). Let v = 1/37 - u. Which is smaller: v or 2?
v
Let p(y) = 5*y**2 - 1. Let w be p(-1). Suppose 5*j - w*l + 3*l - 40 = 0, -j + 14 = l. Suppose 3 + j = -4*v. Is v greater than or equal to -4?
True
Let t = 27 - 28. Which is smaller: -2 or t?
-2
Suppose 1 = -l, -2*z + 2*l = -2*l - 42. Which is bigger: 18 or z?
z
Let u(k) = -k**3 - 6*k**2 + 3*k + 9. Let d be u(-6). Let p be d/6 + (-5)/(-6). Suppose -j = 4*j - 20, 3*f - 13 = -4*j. Does f = p?
False
Suppose 0 = 4*k + 20, 3*o - 25 = 5*o + 5*k. Let t be 3/((-2)/(1*-2)). Let s be t + (1 - 4)/3. Is o <= s?
True
Suppose 1 = r - 2. Suppose r*a - 7 = 5. Suppose -u - u = a, -3*u - 6 = -y. Is 0 < y?
False
Let n(b) = -11*b - 68. Let h be n(-6). Is -2 less than h?
False
Let j(u) = -2*u + 5*u - 5*u**3 + 4 - 2 - u**2. Let l(i) = 11*i**3 + 3*i**2 - 7*i - 4. Let z(p) = 9*j(p) + 4*l(p). Let k be z(3). Is -1 smaller than k?
False
Suppose -7*k = -0*k. Which is bigger: 3/28 or k?
3/28
Let x = 12 - 6. Let i = x + -6. Which is smaller: -1 or i?
-1
Let y(r) = -r - 3. Let x be y(-5). Let b be (4/(-6))/(x/(-3)). Let p = 72 + -502/7. Is p greater than or equal to b?
False
Let x = 7 + -7.03. Let b = x + -1.97. Let o = -4 - -3. Is o <= b?
False
Let g(x) = -4*x. Let t be g(3). Which is bigger: -2 or t?
-2
Suppose 2*d = 5 + 1. Suppose q + 6*i = 2*i - 12, -3*i - 12 = 0. Is q at least d?
True
Let k = -31.2 - -34. Let w = k - 3. Let c(d) = -d**2 - 3*d + 11. Let g be c(-5). Which is bigger: w or g?
g
Let q(v) = v + 4. Let r be q(-2). Let i be 3 - (1 + 1 + 2). Let u = i + r. Which is smaller: 3/4 or u?
3/4
Suppose 0*s + 6 = -2*s. Is -1/2 > s?
True
Let h be (-3 - -4)*1*5. Suppose w - 3 = x - h, 0 = -4*x - 4*w. Is -3/8 at most as big as x?
True
Let j = 78121/120 - 651. Which is bigger: 0 or j?
j
Let a = -4.43 - -4.4. Which is bigger: 2 or a?
2
Suppose 2*a + 10 = l + 22, -4*l - 2*a = -2. Which is smaller: -3 or l?
-3
Let v = 3 - 3. Let u be (6/276)/(2/4 - 1). Which is smaller: v or u?
u
Suppose -3*u + 18 = -u. Suppose 3*d - u = h - 0*d, 3*h - 2*d + 6 = 0. Do 0 and h have the same value?
True
Let o(q) = q**2 + 7*q + 4. Let b be o(-3). Let s(m) = -4*m - 6*m**2 - 2*m - 11 - 3*m + 5*m**2. Let h be s(b). Which is bigger: 2/5 or h?
2/5
Let k = 3 - 3.1. Let g = -0.23 - -0.03. Are k and g nonequal?
True
Let k = -18 - -25. Let o = 7 - k. Let s = o + -0.1. Which is greater: s or -1?
s
Let b = -1 + 11. Suppose -2*p - b = -6. Is p > -5?
True
Let u = 0.08 + -0.15. Let h = -1.93 + u. Suppose 0 = -n - 4*c + 13, -4 = -2*n + 4*n - 2*c. Which is greater: h or n?
n
Let h = 12 - 6. Let f = h + -4. Is -0.2 greater than or equal to f?
False
Let p be (-6)/8 + 21/32. Let x be (-470)/(-576) - (-2)/(-4). Let t = p + x. Which is greater: -0.1 or t?
t
Suppose 4*o - 10 = -0*a + a, 6 = 3*a. Is o > 2?
True
Let d = -4 + 5. Suppose 4