 n unequal?
True
Let d = -4 + 9. Suppose -d*n - 16 = -n. Which is smaller: n or 0.1?
n
Suppose 0 = -5*l - 6 - 9. Let q be l/54*(-1 - 3). Is -1 != q?
True
Suppose 5*v - 3*h = 2*h - 20, 5*h = 3*v + 12. Suppose 5*m - 2*m = 15. Let b = m + v. Which is greater: b or 1/2?
b
Let q(d) = 29*d**2 + 1. Let j be q(1). Does 29 = j?
False
Suppose 0 = 2*b - 103 + 69. Is b != 14?
True
Let c = -2/3099 + 9359/96069. Is c at most as big as 0?
False
Let x(b) = -2*b - 11. Let v be x(-6). Which is greater: v or -0.04?
v
Suppose -5*c - 5*l = 50, -3*c - 40 = c + 5*l. Let z be (-4)/(5/(c/4)). Let p be (2 - 0)*1/z. Which is smaller: p or -1?
-1
Let c = 2/65 - 136/195. Which is smaller: -2 or c?
-2
Let d = 0.2 + 0.6. Let i = 0.9 - -0.1. Let q = i - d. Which is greater: 2 or q?
2
Let j(l) be the second derivative of -l**3/6 + l**2/2 - l. Let h be j(0). Let a be (22/(-20) + 1)/(-1). Is h <= a?
False
Let c = -2/193 + 291/9457. Which is smaller: 1 or c?
c
Let z = -8 + 7.9. Is -64 equal to z?
False
Let n = 0.01 - 0.05. Let d = n - 0.06. Which is smaller: 0.1 or d?
d
Let k = -13/5 + 27/20. Let x = -7/8 - k. Is x != 0?
True
Let l be (-1 + 0 - -2)/(-11). Suppose -2*p + 0*b = 3*b - 11, -5*p + 3*b + 17 = 0. Suppose -8*s = -p*s. Which is smaller: l or s?
l
Let c = -827 - -2479/3. Let t = 1 - 0. Suppose 5*f + 4 = -t. Which is smaller: f or c?
f
Let k = 18 - 15. Which is smaller: 4 or k?
k
Let t be 14/(-4) - (-2)/(-4). Let p be ((-1)/(-2))/(t/2). Which is greater: p or -11?
p
Let o be ((-20)/(-4) - -1) + -1. Is o > 12?
False
Let s be (-3)/(28/21*(-18)/32). Which is bigger: 3 or s?
s
Let s be 222/(-4)*4/(-12). Let r = 19 - s. Which is smaller: 0 or r?
0
Let v = -2 + 13. Let l = v + -11.6. Let u = 0.1 + -0.1. Do l and u have different values?
True
Let m be (5/(15/(-24)))/(-1). Suppose -2 = 3*b - m. Is 2 less than b?
False
Suppose 0 = -4*c - 3 - 13. Let k be (1734/(-84))/(c/1). Let m = k + -39/8. Which is smaller: m or 1?
m
Let y = 203 + -3247/16. Which is smaller: -1 or y?
-1
Suppose 6*i = 2*i. Suppose i = -5*p + 3*p. Which is smaller: -1/2 or p?
-1/2
Let y be (8/10)/((-6)/(-15)). Suppose 15 = -i - 4*i, 0 = -d + y*i. Let m be 8/d*12/6. Which is smaller: m or -2?
m
Suppose -10*j = -6*j - 48. Let f = -11 + j. Is 12/5 at most as big as f?
False
Suppose 2*z + 2 = -0. Let o be (-12)/(-3) - (-1 + z). Let v = o - 4. Is 0 bigger than v?
False
Let n = 0.51 + -0.32. Let b = 0.19 - n. Which is bigger: 7 or b?
7
Let g = 87/760 + 1/95. Let s = g + 11/40. Let v = -8 + 9. Which is greater: s or v?
v
Suppose -2 = 4*s - 2*s. Let w = -59/5 - -12. Which is greater: s or w?
w
Suppose 9*o + 260 = -o. Is -27 less than o?
True
Let z = 28/9 + -53/18. Which is greater: z or -1?
z
Suppose z - 6*z = 25, 3*i = -3*z. Suppose 0 = -3*k - 3*o + 33, -2*k - i*o + 7 = -6. Which is smaller: k or 13?
13
Let a = 354/5 - 17356/245. Which is smaller: a or 1?
a
Let o(q) = -7*q - 10. Let d be o(-3). Which is greater: d or 10?
d
Let f = 14 - 9. Let u(s) = 2*s**2 - 4*s - 1. Let z be u(3). Do z and f have different values?
False
Let b be (-4 - -3)/(2/(-12)). Let j = 9 - b. Suppose -a + 5 - 10 = t, j*a = 2*t + 10. Is a less than -2?
False
Suppose 2*n + 2*r + 14 = 0, r = -2*n - 2*n - 31. Let d = 18 - 21. Let k be n/(-6)*d/22. Do k and 0 have the same value?
False
Let g be (-8)/228*3/4. Which is smaller: -1 or g?
-1
Suppose 35 = 10*g + 185. Which is smaller: g or -11?
g
Let z be 0/(0 - -1*1). Let d = -1/2012 - 38211/34204. Let y = -1 - d. Is z >= y?
False
Let a(t) = 8*t**2 + t + 1. Let u be a(-1). Let p be (-12)/(-36)*3/u. Which is smaller: 0 or p?
0
Let v = -11 + 6. Let n be 8/10 + (-1)/v. Does 0 = n?
False
Let x = -8 + 5. Is x >= -1?
False
Let a be 4/(24/582) + -5. Is a >= 90?
True
Suppose 2*s + 2*j = -6, 0 - 9 = 3*j. Let r = 0.11 - 6.11. Let t = r - -4. Which is smaller: t or s?
t
Suppose k + 4*k - 25 = 0. Suppose -3*y - y = 0. Let g be (y + 0 + 1)*4. Is g greater than or equal to k?
False
Let j be (-54)/(-10) + (-8)/20. Are 5 and j equal?
True
Let k = -726756/259 - -2806. Let q = k - 500/2331. Which is smaller: 1 or q?
q
Suppose 7 = 2*r + 15. Let c = r + 7. Which is smaller: c or 7/2?
c
Let c be (-2)/9 + (-1193)/18. Let o = -2359571/18 - -131021. Let s = o - c. Is s > -1?
True
Suppose 6*z = 4*z + 14. Let j = z + -9. Let m be 6/4 - j/(-4). Is m smaller than 1/6?
False
Let f = -83.4 + 86. Which is smaller: 1 or f?
1
Let u be 68/189 - 2/7. Suppose 0 = -6*t - t - 7. Which is smaller: t or u?
t
Let v = 176/3 - 7562/129. Which is smaller: 1 or v?
v
Let f = 29 + -28. Let v(q) = -q**2 - q + 2. Let s be v(-2). Which is smaller: s or f?
s
Suppose 0*f - 3*r = 2*f - 292, r = 2. Do 142 and f have the same value?
False
Suppose -3 + 4 = -m. Let j(n) = n + 9. Let w be j(-8). Let h be 34/(-72) - w/(-4). Which is bigger: h or m?
h
Let m = 45 + -44. Which is smaller: 2/95 or m?
2/95
Let c be (-1395)/(-1333) + 1/(-1). Let w be (-4)/14 - 2/(-7). Is w > c?
False
Let x(r) = -r**3 - r**2 + 40. Let v be x(0). Let q be v/(-11)*1/(-2). Let g = q + -131/66. Is 0 != g?
True
Let x = 9 - -11. Suppose x = u + 3*u. Is 5 greater than u?
False
Let z(y) = -y**3 + 7*y**2 + 7*y. Let u be z(8). Do u and -5 have the same value?
False
Let a be (24/4)/((-6)/(-4)). Suppose a*g + 0 - 12 = 0. Let j be (0/(g*-1))/1. Which is greater: j or 0.1?
0.1
Let i = 64 - 60. Is -11 < i?
True
Let l = 0.2 + -0.6. Let r = -0.7 - -1. Let d = r + l. Is d at least as big as 0.2?
False
Let r(o) = -o**3 + 3*o**2 - o - 2. Let d be r(2). Suppose d = -4*c - 2*f - 2, f = c - 4*c - 1. Which is greater: c or -1/4?
c
Let o = -104 + 91. Do o and 2 have different values?
True
Suppose 6*h - 2*h + 12 = 0. Let c be (1 + 0/h)*1. Which is bigger: c or 5/3?
5/3
Let p = -573 + 21203/37. Which is bigger: p or 1?
1
Let j = -4 - -5. Suppose -j = -2*l + 3. Suppose m = -m - l. Which is bigger: -2/13 or m?
-2/13
Suppose -5*n + 2*n = 69. Let l = n + 113/5. Is l <= 3?
True
Suppose -n + 2 = -2*m, -6 = 5*m - 1. Do 3/4 and n have different values?
True
Let i = 3 + 0. Suppose 6*f - 2*f + 10 = -x, 3 = -i*f - 3*x. Let t = 3 - 7. Which is smaller: t or f?
t
Let i(h) = h - 2. Let d be i(6). Let c be (d - 2)*-1 - -3. Suppose -2*a = 3*a - 5. Is c smaller than a?
False
Suppose k - 4*y = 4*k + 3, -k - 2*y = 1. Let x = -3 - k. Let c be -1*(-2 + -2)/(-8). Is x at most as big as c?
True
Let w = -27 + 59. Let v = w - 227/7. Are -1 and v non-equal?
True
Let g(w) = -3*w - 8. Let p be g(0). Which is bigger: -68/9 or p?
-68/9
Let l = -0.41 - -0.11. Which is bigger: -2/21 or l?
-2/21
Let h(m) = 4*m**3 - 5*m**2 + 2*m - 3. Let t(f) = -5*f**3 + 5*f**2 - 3*f + 4. Let a(k) = 6*h(k) + 5*t(k). Suppose 0 = -3*b - 3 - 9. Let u be a(b). Is -1 >= u?
True
Let r be ((-3)/2*4)/(-1). Are r and 7 unequal?
True
Let b be (-7)/(-56) + 130/(-16). Let f(l) = -2*l - 16. Let q(h) = -h - 8. Let y(u) = 2*f(u) - 5*q(u). Let w be y(b). Does 3/5 = w?
False
Let g be 11/(-5) - 10/(-50). Let l = g + 4. Is 2/3 equal to l?
False
Let z = 8.6 + -8.3. Let q be -1 + (-7)/(-2) + -2. Is z at least as big as q?
False
Let q = -5 - -7. Suppose q*t = 6, 3*r - 3*t + t + 6 = 0. Which is smaller: -2 or r?
-2
Let o be -4 - (-1)/2*0. Let a = 1017/7 + -145. Which is greater: o or a?
a
Let g = -23/5 - -9/2. Let d be ((-25 - -1)/4)/1. Let c be ((-8)/d)/(-4)*3. Is g >= c?
True
Let n = 139/3 - 46. Let q(o) be the first derivative of o**4/4 - o**3 + o**2/2 - o + 1. Let l be q(3). Which is smaller: n or l?
n
Suppose 2 = 2*o - 2. Let t be 0 + 2/(o/1). Let x be (3/18)/(3/(-6)). Do x and t have different values?
True
Let f be (1 + 1)*(-15)/(-10). Suppose 0 = -f*r + r. Is r less than 0?
False
Let v be 122/14 + 2/7. Suppose 14*j = 18*j - 36. Is v less than or equal to j?
True
Let p = 3.01 + -0.01. Let i = 3.1 - p. Which is smaller: 0 or i?
0
Let q = 9 - 8. Let o(i) = 5*i**3 + i**2 - 1. Let b be o(q). Which is bigger: 0 or b?
b
Let l be (-14)/4*10/5. Let d = l - -4. Are d and -0.1 non-equal?
True
Let o = 2 - 3. Let x = 12/37 + -61/74. Are x and o nonequal?
True
Let t(q) = q**3 - 5*q**2 + q - 3. Let m be t(5). Suppose u + 3 = 3*d, 6 + 5 = u + 4*d. Let y be (-1)/1*u/(-4). Which is bigger: m or y?
m
Suppose 4 = -5*u + 14. Suppose -u*l + 3*m = -4*l - 16, 2*l - 4*m + 2 = 0. Let n = -7 - l. Which is smaller: -1 or n?
n
Let z be (6 + -4)/((-1)/(-2)). Which is smaller: 3 or z?
3
Let r = 172 + -687/