- 2. Let c be z(7). Let j be (-29)/(-9) - (c - 2). Are j and 1 unequal?
True
Let s = 1176567/299 + -3935. Is -1 at least as big as s?
False
Suppose -h - 4*n = 6, 2*n = 3*h + n - 8. Let i(y) = -3*y - 3. Let b be i(-2). Suppose -b*x + h = -4. Is x at most as big as 1/2?
False
Suppose 2*j = 0, -3*d - 5*j + 31 = 1. Do d and 11 have different values?
True
Let p = -2 - -8. Suppose 2*q = p*q + 20. Let g be 8/q - -2 - 1. Which is smaller: 0 or g?
g
Suppose 0 = 5*f + 21 - 1. Which is smaller: -5 or f?
-5
Suppose -10 = -2*n - q + 1, 5*q - 15 = -2*n. Suppose 0 = j - n*m + 1, -3*j + 2*m + 5 = -8*j. Let h be (-36)/15 + (1 - j). Is h smaller than 0?
True
Suppose 183 - 439 = -2*w. Let f be (w/20 - 3) + -3. Which is smaller: f or 0?
0
Suppose 4 + 6 = -5*y. Let x(a) = a**2 + 3*a + 2. Let q be x(y). Suppose 0 = 5*k - t - t + 4, q = 2*k + 2*t - 4. Which is smaller: k or -2?
-2
Suppose 3*y = i + 16, 5*i + 18 = -2. Suppose l - y*l + 12 = 0. Suppose -l*z = -z. Which is smaller: -2/3 or z?
-2/3
Suppose -i - 2*i = -54. Let j be 4/i - (-141)/(-27). Let u be ((-1)/(-2))/(2 - (-84)/(-40)). Is u greater than j?
False
Suppose 0 = 4*s - 2*s + 2. Let z be (-3)/(-18) - s/(-2). Let c = -18 + 21. Is c less than or equal to z?
False
Let t = 2.19 - 4.17. Let j = 0.02 - t. Suppose 2*r + 1 = -1. Which is smaller: j or r?
r
Let q = 4 + -2. Let p be (3/q)/(3/(-4)). Is -1 at most as big as p?
False
Suppose 13*s - 7*s = 0. Is s less than or equal to 1/178?
True
Let w be (-84)/20 + 4 + 2/(-10). Let v be ((-4)/(-6))/(-3 + 1). Is w not equal to v?
True
Let n be (-2)/(-10)*(0 + -2). Let g(c) = -c**2 + 3*c - 2. Let p be g(2). Suppose p = -0*s + 2*s - 2. Do s and n have the same value?
False
Let o(w) = w**2 + 4*w + 2. Let j be o(-4). Let z be 6/(-8) - 3/(-6). Which is smaller: j or z?
z
Suppose 2*d = -i - 6, -2*i - 2*i - 20 = 4*d. Which is bigger: -3 or d?
d
Let x = 3 + 0. Let a = 0 + 6. Let o be (-4)/2 + 27/a. Is o at most x?
True
Let t(a) = a**2 - 5*a**2 - 4 + a**2 - 3*a + a**3 + 0*a. Let f be t(4). Is 0 bigger than f?
False
Let q be (4/25)/(4/(-10)). Is q greater than 0?
False
Let y be (-35)/(-4) + 1/4. Let s = y + -10. Which is smaller: 0 or s?
s
Suppose 12*b = 11*b - 14. Which is greater: b or -2?
-2
Let a = 17 - 23. Which is smaller: a or -50/9?
a
Let m be ((-2)/(-4))/((-1)/(-4)). Let k be (0 + 2/5)*25. Suppose k = 2*s + 3*s. Is s at least as big as m?
True
Let u = 0 + -0.01. Let s = -0.01 - u. Let l = s - -0.1. Which is greater: -1/5 or l?
l
Let c be (1 - 5)/(-84) - 0. Which is smaller: 0 or c?
0
Let t = 12 + -24. Which is bigger: t or -14?
t
Let l = -24 - -14. Let j(u) = u**3 + 6*u**2 - 7*u + 6. Let t be j(-7). Let x be -1 - 1 - l/t. Which is smaller: 0.1 or x?
x
Let w = 0.25 - -0.05. Let v = -0.2 + w. Are v and 14 nonequal?
True
Let h be 3 - (0 + 3 + -36). Is h > 35?
True
Let y = 29 - 48. Is -20 bigger than y?
False
Let g(f) = -f**2 - 7*f - 6. Let l be g(-6). Are l and -3 unequal?
True
Let s = -191/20 - -39/4. Is 1 equal to s?
False
Let g = -685751/2055 - 206/411. Let f = -333 - g. Are 0 and f nonequal?
True
Let t = -108 + 96. Is 0.2 >= t?
True
Let i be (4 - 2) + 1 + -2. Let x be 2/4*12/(-7). Let n = 31/28 + x. Which is greater: n or i?
i
Let q be 24/9*(-18)/8. Which is bigger: q or -9?
q
Let s be (6506/(-2360) - -2) + 18/24. Which is smaller: s or -1?
-1
Suppose 3*l = l + 10. Suppose 28 = -4*t + w + w, l*w = 2*t + 30. Let r = t - -5. Does r = 0?
True
Suppose r - 2*r = 16. Let i = r - -11. Let a be 3/i*(-1)/3. Is -1 <= a?
True
Let c be (-3)/(-20)*(-2)/3. Let h be -2*(2 - 2 - 1/2). Which is greater: h or c?
h
Let t(c) = -c**3 - c**2 + c - 2. Let p be t(-2). Let v be (-1)/(-12)*(-1580)/(-3). Let q = v - 44. Is q not equal to p?
True
Let g = 9 + -16. Let v(d) = -d**3 - 6*d**2 + 7*d - 1. Let b be v(g). Suppose f = 4*f. Which is smaller: b or f?
b
Suppose -q + 0 = -7. Let o be (q - 8)/((-2)/(-3)). Which is smaller: -1 or o?
o
Let g be (-15)/10*(1 - -1). Which is greater: g or -5?
g
Let z = -668 - -663.07. Let x = -0.07 + z. Let b = 4 + x. Which is greater: 2/7 or b?
2/7
Let f = 0.23 - -0.07. Let u = f + 0.7. Let t = -3 - -2.8. Do t and u have the same value?
False
Let x be (-9)/42*1*58. Which is smaller: -13 or x?
-13
Let a = 33 - 97/3. Which is bigger: a or 0.39?
a
Let o(h) = h**3 + 4*h**2 + h - 4. Let k be o(-3). Suppose -u = 4*u + k*c - 43, 15 = u + 2*c. Which is bigger: u or 6?
u
Let f be 0/(-2) + 8/4. Let b be 0/f + (-1)/1. Suppose l = -5*p - l - 10, 0 = p - 3*l + 2. Which is greater: p or b?
b
Let n = -1 - -2. Let f = 5 - 5. Let j be f/3 + (-6)/(-14). Is n equal to j?
False
Let y be (870/(-162))/(7/6). Let u be 44/15*(-30)/18. Let v = u - y. Which is smaller: v or -1?
-1
Let c(t) = 3 - 1 + 1 - 2*t. Let j be c(2). Let n be j*(0/3 + 0). Is n greater than -1/3?
True
Suppose s = 4*z - 2, -2*z + 6 + 4 = -5*s. Suppose z = 7*r - 3*r - 48. Let i be (-10)/16 + 3/r. Which is bigger: -1/3 or i?
-1/3
Let b = -863 + 7775/9. Which is smaller: 0 or b?
0
Let t = 3 - 3. Let s = 3.4 + 0.6. Let w = s - 4.2. Which is smaller: w or t?
w
Let s = 15 + -10. Let a = s - 4.8. Let q(j) = j + 9. Let o be q(-9). Which is smaller: o or a?
o
Let d(y) = y - 2. Let o be d(-2). Let z(p) = p - 1. Let k be z(-11). Let g = k - -7. Which is smaller: g or o?
g
Let m be 7*(4 - (5 + -3)). Suppose 3*o + 0*o = 4*w + 45, w = o - m. Which is greater: o or 12?
12
Suppose 5*b + 870 = -5*r, -5*b + 5*r = 69 + 751. Is b greater than -169?
False
Let o = 3/2 + -5/6. Let h be 5 + 3/6*2. Let p = -5 + h. Which is greater: p or o?
p
Let r(a) = -a**2 + 13*a + 9. Let s be r(13). Let y = 9 - s. Which is greater: 1/15 or y?
1/15
Let u = -42/11 - -40/11. Let n = -6 - -4. Let s = n - -2. Is u less than or equal to s?
True
Let i be -1 + 4 + -2 + 1. Let c(n) = -4*n**i - n**3 + 8 - 6*n**2 + 8*n + 2*n**3. Let f be c(9). Which is greater: f or 2/11?
2/11
Let x = 37 + -38. Is x greater than 14?
False
Suppose 0 = 8*k - 4*k. Is -2 != k?
True
Let k be (-9)/(((-48)/(-20))/(-4)). Are k and 13 equal?
False
Suppose -3*o = -2*o - 3. Suppose -n = o*a - 19, -n = 2*a - 1 - 12. Which is greater: -1 or a?
a
Suppose 3*s - 4*s = -t - 10, -40 = -5*s + 3*t. Let w = -14 - -16. Suppose q = w*q - 6. Which is bigger: q or s?
q
Let f = 113945/19 - 6000. Let m = f + 1271/380. Let r = m + -23/140. Which is smaller: r or 1?
r
Let m = -1.87 + -0.13. Let i = m - -3. Which is greater: i or -2?
i
Suppose -3*b + 5*b + 5*d - 13 = 0, 2*d - 10 = 4*b. Is 1/24 >= b?
True
Suppose k = 2*k. Let g = -1 + k. Is g at least as big as 3/7?
False
Let y(i) = -7*i + 6. Let w(f) = -15*f + 12. Let p(k) = 6*w(k) - 13*y(k). Let t be p(8). Are t and 2 nonequal?
False
Let k = 10 + -10. Is 1 greater than or equal to k?
True
Let a be (-2)/3 + 13/(-3). Let p = -4 - a. Suppose 3 = 2*t + p. Is t >= 1?
True
Let k = 119/30 + -31/6. Which is smaller: 12 or k?
k
Suppose -5*t + 34 + 17 = 2*b, 4*t - 66 = -3*b. Is b greater than 21?
False
Suppose 0 = 5*q - 8*q. Which is smaller: 2/17 or q?
q
Let a(d) = -d**3 + 5*d**2 + 2*d - 6. Let k(v) = 4*v + 1. Let i be k(1). Let u be a(i). Which is smaller: u or 1?
1
Suppose 0 = -4*i - 4*w - 8, i - 2*i = 3*w + 4. Let x be (-2)/(-2 - 4/(-1)). Let j be 0/((3 + x)/1). Which is smaller: i or j?
i
Suppose 3*n = 6*n - 27. Let m = 5 + 4. Is m greater than n?
False
Let t = -0.23 - 0.22. Let j = -0.05 + t. Which is smaller: j or -0.1?
j
Let m be 4*3*1/90. Which is smaller: m or -1?
-1
Let x = 3 + -2. Suppose -3*d = 2*d. Are d and x unequal?
True
Let f = 2.3 - -0.7. Are 5 and f non-equal?
True
Let t = 0 + -0.03. Let u = t + -1.97. Let g = u - -2.1. Is g < 0?
False
Suppose 0 = 2*z - 6, -2*k + 3*z - 3 = -k. Let i = -5 + k. Which is greater: i or 7/4?
7/4
Let q be 5/33 - (-1)/(-3). Suppose 5*l - 2*p = 4, 5*p + 7 = -3. Which is smaller: l or q?
q
Suppose -25 - 7 = -4*m. Suppose -2*q - 5*i = -6*q - 21, 2*q + m = 2*i. Let h be ((-3)/5)/((-7)/5). Which is bigger: q or h?
q
Let u(r) = -11*r**2 - 2*r + 2. Let k be u(2). Is -47 not equal to k?
True
Let g = 3 - -1. Let w = g + -9/2. Is w bigger than 1?
False
Let q(k) = k**3 - 6*k**2 - 2*k + 9. Let m be q(6). Let r be 29/(6/(1*m)). Let y = -14 - r. Is y at most 1?
True
Let p = 26 + -48. Let l be 2/3*p/(-4). Is 3 equal to l?
False
Let l = 442/3 - 137. Which is smaller: 9 or l?
9
Let g = 52021/606 + -515/6. Is 0 greater than g?
False
Let v(p