d v equal?
False
Let y(w) = -2*w**2 + 50*w. Let v be y(25). Do v and 1/76 have the same value?
False
Let v = -0.5 + 0.6. Let z = 2.21 - 0.21. Are v and z unequal?
True
Let i be (-2)/(-6)*(-12)/14. Let n = 0 - 1. Which is smaller: n or i?
n
Let a = -10634269 + 25830638721/2429. Let x = -2/347 + a. Which is smaller: 0 or x?
x
Let l be 3/9 + (-4)/3. Let k = -2 - l. Let n be (2/(-20))/(k/4). Is 0 at least as big as n?
False
Let i = 116 - 38. Is 77 > i?
False
Let o be ((-49)/(-14))/(2/8). Are 15 and o non-equal?
True
Let g be ((-57)/12)/((-2)/(-16)). Which is bigger: g or -39?
g
Let s = 1.02 + -1. Let a = s - 0.02. Which is greater: -0.1 or a?
a
Suppose w + 1 = -0. Suppose 2*n = -3*p - 4, -6*n = -3*n + 3*p. Suppose 3*z = n*z. Which is greater: w or z?
z
Let v(l) = l**2 - 2*l + 3. Let o be v(0). Let a(s) = s**3 + 4*s**2 - 4*s + 5. Let i be a(-5). Suppose -d + o*d = i. Is -1/3 > d?
False
Suppose 4*f - 16 = -4. Suppose -2*h = f*h + 15. Which is bigger: -4 or h?
h
Let n = 3 + -3.4. Let c = -4.3 - -4. Let p = c - n. Which is smaller: 0 or p?
0
Let l = -2.28 + 1.5. Let j = -0.08 - l. Let z = j - 0.5. Which is greater: 0 or z?
z
Let l(w) = w**2 - 6*w + 1. Let i be 48/9 + (-3)/9. Let q be l(i). Let y = 0 + q. Does y = -3?
False
Let y be ((-56)/(-8))/(1 - 0). Which is smaller: y or 6?
6
Suppose 5*j = 3*j + 4. Is 17/10 >= j?
False
Let v = 1 - -2. Suppose 11*j - 46 = -2. Are v and j non-equal?
True
Let s = 4/3 + -5/6. Are -4 and s unequal?
True
Let o(q) = -q**3 - 6*q**2 + 4. Let k be o(-6). Let r(j) = -j - 6. Let x be r(-5). Let b be (x - -1)/3 - -5. Is b at least k?
True
Let w be (-1)/((-15)/(-9))*-5. Let y = w - 1. Suppose 8 = -y*t - 0*t. Is t < -3?
True
Suppose k - 3*w + 2*w + 1 = 0, 5*k - 3*w - 5 = 0. Suppose g = k - 1. Suppose -8 = g*u - 2. Is -2 != u?
False
Suppose 5*n - 14 = -3*r - 0*n, 0 = -5*r + 4*n - 26. Which is bigger: r or 4?
4
Let y = -139 + 108. Do y and -63/2 have different values?
True
Let z(u) = u - 1. Let i be z(2). Is i at most -1/9?
False
Let t(z) = -z**3 + 7*z**2 - z + 7. Let c be t(7). Let r = c + 0. Suppose 2*m = -m - 3*d, 5*m - 2 = -3*d. Which is bigger: m or r?
m
Let i(g) be the first derivative of g**3/3 + 5*g**2 - 11*g + 1. Let b be ((-33)/(-3))/(0 + -1). Let v be i(b). Is 0 less than or equal to v?
True
Suppose 5*n = 4*c + 26, -4*n - 3*c - 4 = -0*n. Let d = 1 - 0. Let a = d + 1. Do n and a have the same value?
True
Suppose -3*h - 17 + 2 = 0. Let a be (-1 - 0) + h/(-35). Which is smaller: 0 or a?
a
Let s = -1 + 6. Let x = -107 + 113. Which is smaller: s or x?
s
Let u(d) = d**3 + 4. Let z be u(0). Which is smaller: 5 or z?
z
Let q = 47 - 49. Which is greater: q or -7/10?
-7/10
Let w = 0.14 - 0.5. Let o = -0.06 - w. Let v be (-16)/(-12)*((-81)/30 + 3). Which is greater: o or v?
v
Suppose -4*k + 4*n = 24, k - 10 = 2*k - 2*n. Which is smaller: k or -3?
-3
Let x = -12 - -16. Suppose -o = -2*o - x*d - 9, 3*d + 6 = 0. Which is greater: 1/16 or o?
1/16
Let m = 1 - -4. Let j(p) = 5*p**3 + 1 - 4*p**2 - p**2 - 4*p**3. Let k be j(m). Which is bigger: k or -3?
k
Let m = -0.4 + 0.1. Let o = 2.3 + m. Are o and 7 unequal?
True
Let d(k) = -k - 1. Let y be d(-6). Let v(h) = -h**2 + 4*h + 5. Let r be v(y). Let l be (-4)/(-14) - (-160)/(-462). Which is smaller: l or r?
l
Let v be 2/(-3) - 551/15. Let l = v - -37. Which is smaller: l or -0.2?
l
Let r = -7 + 11. Suppose -1 = -5*l + r. Is l equal to 1/10?
False
Let z = 173 - 1213/7. Let c(n) = 1. Let m(d) = d**2 + 5*d + 7. Let k(u) = -6*c(u) + m(u). Let p be k(-5). Which is smaller: p or z?
z
Let y(s) = -s + 9. Let f be y(8). Suppose 3*h - 16 - 15 = -4*o, 3*h - 4*o + f = 0. Which is bigger: 4 or h?
h
Let d = 8.5 - -0.5. Which is smaller: d or 2?
2
Let v be (-106)/(-2)*(25/5)/5. Is 53 < v?
False
Let f be 9*(-1)/6*2. Which is smaller: f or -3/2?
f
Suppose -4*s + 2*k = -0*s - 2, s - 4 = -3*k. Which is smaller: s or 16/9?
s
Suppose 2*r - 3 = 5*r. Which is smaller: -6/25 or r?
r
Let b be ((-31743)/(-38124))/(3/4). Let n = b - -1/1059. Is 0 less than n?
True
Let q = 68/3 + -22. Which is smaller: -23 or q?
-23
Let l be 0/(-1) - 15/(-39). Let h = 1/65 + l. Which is smaller: -0.1 or h?
-0.1
Let v = 10 + -6. Suppose 0*k + 1 = z + 3*k, -2*z + 2 = -v*k. Let u be -2 + (-30)/(-34) + z. Which is smaller: u or 0?
u
Let f(i) = 7*i**2 - 69*i - 6. Let j be f(10). Suppose 0 = 2*t - x - 4 - 0, 0 = -3*t + x + 4. Suppose 0 = -2*b - t*b - 2. Is b greater than j?
False
Suppose 3*i + i = 8. Suppose 0*o - i*z = -o + 4, 0 = 3*z + 15. Let m be o/20*4/(-3). Is m at least as big as -1/5?
True
Suppose 0 = -c + 7 - 4. Suppose -c*a = -0*a. Let z = 4 + -3. Do z and a have the same value?
False
Let c = 6263/7 + -897. Which is bigger: -1 or c?
-1
Suppose 6 = c - w, -w = -4*c - c + 18. Suppose 2 = -5*z - c. Suppose -3*l - 2*t - 2 = 0, 5*l = -t - 2*t - 4. Is l <= z?
True
Let o(q) = -q**2 + 7*q - 2. Let y(t) = 2*t**2 + 8*t + 3. Let a be y(-6). Suppose u + 7*g = 3*g + a, -2*u + 4*g = 6. Let r be o(u). Which is smaller: r or -3/5?
r
Let t = 4 + 5. Let q = 16 - t. Suppose 2*u - 2 = 5*d - u, -4*u - q = 3*d. Which is greater: 0 or d?
0
Let t be (-6)/(-5)*(-20)/3. Let p(f) = f**3 + 8*f**2 - f - 12. Let j be p(t). Which is smaller: j or -5?
-5
Let n be -1 - -1 - (5 - 5). Suppose 2*f + 0*f + 5 = s, n = 4*f - 4*s + 12. Let o be -1 - (-3)/(-6)*f. Is o bigger than 1?
False
Let s be 9/(-3) - 73/(-30). Let k = -1/6 - s. Which is smaller: -1 or k?
-1
Suppose o = -o. Suppose o = -2*q - 0*q. Which is bigger: -2/21 or q?
q
Let q be (-450)/(-644) - (-6)/(-21). Let m = q - -2/23. Let k = m + -1/4. Which is smaller: k or 0?
0
Suppose -4*m - 33 = -l, -l = -3*l + 10. Is m greater than -11?
True
Let f(x) = -x**3 - 11*x**2 - 10*x + 4. Let r be f(-10). Let q = 0 + r. Suppose 2*b - 4*b = q. Is -2 not equal to b?
False
Suppose -4 = -6*i + 2*i. Let q be (i - 0)*(-1 + 2). Suppose 0 = 2*f + 2*f + 3*x + 6, 2*x = -4*f - 4. Is q less than f?
False
Let l = 0.16 + -0.26. Let t = 7 + -12. Let k = t + 2. Is k smaller than l?
True
Let u = 5 + -16. Is u at most -12?
False
Suppose 3*f + 1 = -14. Let a be (f/(-15))/(22/(-12)). Suppose 2*k + j - 1 = 3*k, 0 = k + 2*j - 5. Is k less than a?
False
Let f be (8/12)/((-16)/6). Do f and 0.1 have different values?
True
Let z(f) = -f**2 + 25*f + 148. Let j be z(30). Suppose -3 = -q - 7. Do j and q have the same value?
False
Let c(r) = r**2 + 8*r - 14. Let f(q) = -2*q**2 - 16*q + 28. Let y(p) = 11*c(p) + 6*f(p). Let l be y(-10). Let k = 6 + l. Which is smaller: 2 or k?
k
Let c = -7 + 103. Which is greater: c or 95?
c
Suppose -g = 4*g. Suppose -q + 20 = 3*q. Suppose g = q*c + 7 + 3. Is c greater than -2?
False
Let q = 9 - 13. Is q at most -2/5?
True
Let b(g) = g**2 - 4*g + 2. Let u be b(4). Suppose 0 = 4*o - 2 - u. Are o and 1 unequal?
False
Let o = 0.007 + 4.093. Let h = o + -4. Which is smaller: h or 2/9?
h
Let k = -2 - -5. Let x = -3 + k. Let c = -2 - x. Is c greater than -1/4?
False
Let a = 12 - 10.2. Let l = 0.8 - a. Which is greater: l or -14?
l
Let v = 0.01 - -1.89. Let z = 1.95 + 0.05. Let u = v - z. Are 0.1 and u unequal?
True
Let o = -30 - -35. Let k = -2 + 4. Let r = k - 2.1. Which is smaller: o or r?
r
Let y(h) = -h - 28. Let o be y(0). Let x be (-2)/8 - 15/o. Let l(g) = -g - 10. Let u be l(-9). Which is bigger: u or x?
x
Let l = -0.04 + 0.14. Is l >= 8/5?
False
Let u(i) = i**3 - 6*i**2 + i + 1. Let q be u(6). Let w = 2 + q. Which is smaller: 10 or w?
w
Let x = -1191 + 546. Let o = -7089/11 - x. Which is smaller: 1 or o?
o
Let w be (-26)/39*(-3)/(-2). Which is smaller: -3/13 or w?
w
Suppose 3*q + 0 = 2*t - 6, -5*t = -5*q - 15. Suppose b = -t*b + 4. Which is greater: b or 0?
b
Let s = 279/1132 - -1/283. Which is greater: 3/83 or s?
s
Suppose 4*g + 25 - 3 = -2*d, 0 = -g - 4. Let h(y) = y**2 - 24*y - 57. Let b be h(26). Which is smaller: d or b?
b
Let p = 103/4 + -26. Let x be 2/(-1)*15/(-3). Let q be 22/x - 3/15. Is p greater than or equal to q?
False
Suppose -3*l + 0*a = a, -5*a = -5*l. Which is bigger: l or -2/27?
l
Suppose -2*v = -4 - 8. Is 6 greater than v?
False
Suppose 5*q = 0, 4 = -0*c - 4*c + 5*q. Let u = 49 - 391/8. Which is smaller: c or u?
c
Let u(p) = 14*p - 1. Let w be u(-1). Let b be -9*(-3)/w*-5. Are 9 and b non-equal?
False
Let p = -0.45 - -0.371. Is p != -0.1?
True
Let q(z) = z**2 + 2*z + 2. Let w be q(-3). Suppos