equal?
True
Suppose -1 = -n + 3*o - 7*o, 4*n = -4*o + 40. Which is smaller: n or 12?
12
Let o = 44 - 24. Let a be (3/3)/(o/(-8)). Which is smaller: a or 2?
a
Let y(j) = 2*j - 3. Let c be y(4). Suppose 2*o + 6 = c*o. Let z = -3/16 + 11/16. Is z > o?
False
Let m be -8 + (-1 + -2)*-1. Let v = -6 - m. Does -2 = v?
False
Let t be 24/16*(-14)/(-3). Let s = 5 - t. Is -2 > s?
False
Let x be -6 - -1 - (-7 - -8). Is -2 < x?
False
Suppose x - 2*y + 7 = 0, 3*y + 21 = x + 8*y. Does x = -1/13?
False
Let w(p) = p**2 + 1. Let k be w(1). Suppose 5*x - 3*x + 14 = 2*i, -2*i - 2*x = 6. Is i > k?
False
Let t = -5 + -12. Does t = -17?
True
Let x = -9.9 - -10. Suppose 3*u + 0 - 2 = v, v = u. Is x greater than v?
False
Let d(a) = -a**2 - 3*a - 1. Let l be d(-1). Let x = 3 + l. Suppose -y - y + x = 0. Which is smaller: 1/2 or y?
1/2
Suppose 3*x = 2*r - 3*r, 0 = 2*x + 2. Suppose 1 = -y + r. Let u = y - 3. Is -1 > u?
False
Suppose -h = -3*s - 6, 0 = 2*h - s - 25 - 7. Let g be h/(-3)*2/8. Suppose 0*n - 11 = -2*n + 3*o, 0 = 5*n - 5*o - 15. Which is bigger: g or n?
g
Let y be 2 - (4 - (-2 - -3)). Let k be 145/(-420) + (-3)/(-7). Which is smaller: y or k?
y
Suppose 4*h = -2*z + 178, 0*h - 2*z - 182 = -4*h. Let d be (-9)/6*12/h. Is d at most -1?
False
Let j = -0.04 - 2.96. Let p = 5.01 - 5. Let o = -0.11 + p. Is j less than or equal to o?
True
Let d = 3/82 - 1/1148. Let g = 31/84 - d. Is -1 bigger than g?
False
Let z = 0.08 + 1.82. Let x = 0.9 - z. Is x at least 11?
False
Suppose 38 = -4*n - 58. Let i be -2 + -1*46/n. Let h = i + -7/12. Is h greater than 0?
False
Let j = -86 + 97. Which is smaller: 10 or j?
10
Let u(o) = 2*o - 43. Let l be u(14). Let n be -12 + -4 + (2 - 0). Which is smaller: n or l?
l
Suppose 0 = -4*u - 2*u - 6. Is -3 greater than u?
False
Let t = -6 - 1. Let a(z) = -z - 5. Let y be a(t). Suppose 0 = -3*q - 4*b - 3, 0*b - 4*b - 15 = -q. Is y != q?
True
Suppose 6 = 11*c - 137. Is c > 63/5?
True
Let w = -202 - -3837/19. Is w > 0?
False
Let v = 12 + 0. Let o be (-6)/v*4/10. Which is bigger: o or 1?
1
Let c(r) = r**3 - 2*r**2 - 2*r + 2. Let g be c(3). Suppose 20 = -g*i + i. Let n(t) = t + 2. Let q be n(i). Is -3 != q?
False
Let z(l) = l**3 + 2*l**2 - 7*l + 3. Let w be z(-4). Which is greater: -3/55 or w?
-3/55
Let l(g) = g**2 + 8*g + 8. Suppose 0*m = 2*m + 14. Let o be l(m). Suppose -4*n + 3 = -3*n. Which is smaller: n or o?
o
Suppose 5*x - 2 - 3 = 0. Which is smaller: 0 or x?
0
Let y = 10.86 + 0.14. Let t = y - 8. Is t bigger than 1?
True
Let i = 9 - 10. Which is smaller: i or 1/4?
i
Suppose -3*j = t + 17, j + 4*t = 5*t - 11. Let w = j - -10. Suppose -8*n - 15 = -w*n. Is n less than -3?
False
Let r = 0.1 - 0.3. Let z = -1 + 3. Which is smaller: r or z?
r
Let b(d) = -d**2 - 11*d + 14. Let o be b(-12). Suppose o = -5*p - 3. Which is smaller: p or -0.1?
p
Let p be -10 + 6/8*2. Which is smaller: -9 or p?
-9
Let i = 59/14 + -9/2. Suppose -3*a - 3*x - 12 = 0, a - x + 0*x = 4. Let k = a - -1. Which is smaller: i or k?
i
Let d be 0/((-7)/((-28)/8)). Which is smaller: 8/11 or d?
d
Let k = -0.6 + 0.4. Let i = k + -6.8. Which is greater: i or 0?
0
Let p = 13 + -25/2. Which is bigger: -16 or p?
p
Suppose 2*p + 0*p = -5*a - 39, 0 = 2*p - 3*a - 1. Let j = p - -7. Suppose -2*n - 2*n + 3*m + 4 = 0, 3*n - 3*m - 3 = j. Is n at most -2/11?
False
Let n = -0.8 + 0.5. Let c = n + 0. Is c at least 0.1?
False
Suppose -3*t + 34 = 4*v, v + 5 = t - 4. Let q be (-4)/t + (-4)/(-5). Is 1 < q?
False
Let w(k) = -k**3 - 2*k**2 + 9*k + 2. Let c be w(-4). Is 0 greater than or equal to c?
True
Let l(w) = 2*w - 6. Let d be l(5). Suppose 4*f - 5*k = 14, f + k + 5 = d*f. Let r = -41/78 - -9/13. Is r less than f?
True
Let y = 0.4 - 0.3. Let w = y - -0.9. Let h = 2 - w. Which is greater: -1 or h?
h
Let z(g) = -16*g**2 + 1. Let x be z(-1). Let s be ((-5)/x)/((-2)/18). Is -3 greater than or equal to s?
True
Suppose -4*z = -6*z + 12. Suppose -2 = -2*h - 4*r + z, 0 = 3*r + 3. Which is smaller: h or 5?
5
Let x be -3 + 1 + (-7)/21*3. Let i be 4/6 + 15/(-9). Is x less than i?
True
Let d = -5 + 6. Is 2/29 less than d?
True
Let i = 13 + -10. Suppose -4*u - i = -u. Which is smaller: -3/2 or u?
-3/2
Let n be (-1)/(12/(-3) + 0). Which is smaller: 1 or n?
n
Suppose 0 = 2*v + 2*d - 6, 3*v + d - 9 = -0*v. Suppose -19*m + v = -16*m. Is m less than 5/7?
False
Let l = 93 + -94. Which is bigger: l or -12/19?
-12/19
Suppose 4*j = -0*j. Suppose v = -j*v - 1. Which is smaller: v or -3?
-3
Let o(a) = a**2 - 9*a - 7. Let y be o(7). Let d be 0 - (-2 + y/(-9)). Is -1 at least as big as d?
False
Let n = 8 + -8.8. Let x = 3.8 + n. Which is smaller: x or -2?
-2
Let x be ((-4)/6)/(2/(-3)). Which is smaller: x or -1/53?
-1/53
Let c = 69 - 69. Which is smaller: -4/35 or c?
-4/35
Let u be ((-27)/216)/((-6)/8). Is u < -1?
False
Let x(b) = 3*b + 44. Let d be x(14). Are d and -0.1 equal?
False
Let a = -0.8 + 0.86. Let m = 0.17 + 0.19. Let i = a - m. Do i and -1 have the same value?
False
Let y = -15 - -9. Let b be (9/(-7))/(9/y). Is 2 not equal to b?
True
Let f = -79/24 - -21/8. Which is bigger: f or 0.08?
0.08
Let p = 5/2 - 21/8. Is -1 less than p?
True
Let j(s) = -s + 6. Let t be j(4). Let q be (-24)/60 - t/(-30). Does 0 = q?
False
Suppose -14 = -5*l + 36. Let h = l - 17. Let o be (9 - 7)*(-1)/h. Is -4/5 at least o?
False
Suppose 5*j - 16 = -11. Let n = -275/6 + 46. Which is bigger: n or j?
j
Let w = 3 + -1. Let u be 0*1*(w - 3). Let z be (-2)/(-5)*(-1 - 1). Is u at most as big as z?
False
Let w = -3.6 - 0.4. Let y = 4.1 + w. Let l = -44 + 134/3. Which is greater: y or l?
l
Let l = 18 - 13. Let z(n) = n - 1. Let h be z(l). Is 14/5 >= h?
False
Let o be 12/15 + 3/15*-264. Which is smaller: o or -53?
-53
Let q be 93/6 - 6/(-2). Let r = q + -18. Do 1 and r have the same value?
False
Let r(u) be the third derivative of u**6/120 - 13*u**5/60 + u**4/2 + u**3/6 + 5*u**2. Let t be r(12). Suppose 2*q = 4*q - 2. Is t less than q?
False
Let u = 9.2 - -0.2. Let m = 9 - u. Is -2 less than or equal to m?
True
Let r(c) = -c + 8. Let y be r(6). Suppose y*g - g = -5*d - 5, -4*d - 4 = 5*g. Is g at most -1?
False
Let y be -1 - 148/(-80) - 1. Is y less than 1?
True
Let r = -5 + 6. Suppose 5*o - 3*s + r = 12, 5*s = -3*o - 7. Suppose 5*v + o + 4 = 0. Which is smaller: v or -1/3?
v
Suppose -4*g - 9 = 27. Which is greater: -10 or g?
g
Let v = -24 + 41. Suppose -4*i = -20, 7 = 2*d + i - 4. Let x be (d/v)/(6/(-4)). Is x not equal to 0?
True
Let o = 0.5 - 0.9. Let b = o + 0.5. Which is smaller: b or 1?
b
Suppose -5*u = -4*u + 5, 5*y + 2*u - 90 = 0. Suppose 4*q + 5*d - y = -q, -6 = -3*d. Suppose -11 = -t + 2*r, 4*t = q*r + 3*r + 32. Is 2 >= t?
False
Suppose -20 = -g - g. Let a be g/(-75) - (-21)/90. Let i be (-4)/6*3 - -1. Are i and a equal?
False
Let l = -5 + 4. Let i be 1174/(-10)*(-1)/(-9). Let k = i - -112/9. Are k and l nonequal?
True
Let z be 19/7 + 2/7. Let m be 1/(0 - 4/(-8)). Which is bigger: z or m?
z
Suppose 5*g - 13 = -p + 2*p, -8 = -g + 2*p. Suppose -3*z + 99 = 3*h, g*h = -2*z - 2*h + 56. Let q be z/40 - (-1)/(-5). Which is bigger: 0 or q?
q
Let n be (-234)/(-90) + (-3)/(30/(-4)). Which is smaller: n or -2.2?
-2.2
Let o = -0.3 - 0.2. Let c = 0 - o. Let x = c + 0.5. Are 1 and x unequal?
False
Let d(t) = -3*t**3 + 12*t**2 - 17*t - 6. Let i(p) = p**3 - 4*p**2 + 6*p + 2. Let k(v) = 4*d(v) + 11*i(v). Let y be k(3). Are 4 and y equal?
False
Let h = 9.82 - -0.18. Let p = h - 9.2. Let w = 1 - p. Which is greater: w or 1?
1
Let b = 6 + -2. Suppose 0*a + a - 3 = -2*w, b*w - 1 = 3*a. Let v be (6/(-9))/(w/3). Is v smaller than 2?
True
Let z = 25.1 + -21. Let q = -1.3 + 5.3. Let o = z - q. Is o at least -1/4?
True
Suppose -5*x + 18 = -6*x. Let f be 15/x*(-6)/(-4). Is f equal to -1?
False
Let v be (-3)/2 - 1/2. Which is smaller: v or -3/5?
v
Let z(t) = -t**2 - t. Let k be z(0). Let q = -35926 - -3053757/85. Let p = -6/17 + q. Is p > k?
True
Let i = -24 + 23. Suppose -a - 316 = -5*a. Let c = a + -1345/17. Is i less than c?
True
Let z = -7 - -9. Suppose 0 = -d + 1, z*w + 2*w + 5*d - 37 = 0. Let l = w - 17/2. Do l and -2 have different values?
True
Let g = -62.5 - -63. Is g <= 1?
True
Suppose 2*v = -0*v + 6. Suppose -v = -2*t + 9. Is t at most 2?
False
Let p = 3 - -24. Is -1 < p?
True
Let v = -83 + 84. Let s = -3 - -7. Let a be s/(-14) + 17/35. Is a not equal t