 Are a and n nonequal?
True
Let p = -114 - -143. Is 26 > p?
False
Let f = 430 - 429.9. Let n = -2 + 1. Let q = 0.9 + n. Is f equal to q?
False
Let t = -149.1 + 164. Let n = t + -15. Which is smaller: 0.6 or n?
n
Let y = 3 + -1. Let a be y + (1 - (31 - 0)). Let x = 111/4 + a. Do x and 1 have the same value?
False
Suppose 4*k + 10 = 30. Let j be 25/(-2) - k/(-10). Let m be 3/(-12)*j/(-9). Which is bigger: m or 2?
2
Let j be ((-1)/6)/(-1 - 10/(-8)). Let x = -2 - -1.9. Let v = -0.3 - x. Which is bigger: j or v?
v
Let w be ((-12)/10)/((-332)/(-40) - 5). Which is greater: -1 or w?
w
Let g = 3 + -3.8. Let z = -0.7 - g. Let c = -1 - -1. Which is bigger: c or z?
z
Suppose 3*g - 8 = 1. Suppose -26 = -2*b + 2*d, 16 = b - g*d - 3. Suppose -y = y - b. Do y and 5 have the same value?
True
Let v = 1/8 - 31/120. Do v and -3 have different values?
True
Let b = -21 + 20. Which is bigger: 0.05 or b?
0.05
Let l(x) = -x**3 - 5*x**2 - 6. Let y be l(-6). Let p = -258/19 - -2503/57. Let n = y - p. Which is bigger: n or 0?
0
Let a = -0.2 + -0.3. Let s = a - 3.5. Which is bigger: s or 0.2?
0.2
Let q(r) = -r - 5. Let i be q(-9). Suppose 0 = -4*f + i. Which is smaller: 2/9 or f?
2/9
Let v be -2 + -3 + 2 + -6. Is 1 > v?
True
Suppose 6*a + 16 = g + a, -3*g = -4*a - 26. Suppose -5*z = -2*z + g. Let x be 0/2 + (-2 - 1). Is z at least x?
True
Let u(z) = -3*z - 5. Let b be u(-4). Let h = b - 6. Is h less than 2/7?
False
Suppose -4*n + 3 = -1. Let d = n + -1. Suppose -3*b + 3 + 0 = d. Is b equal to 3/5?
False
Let q(v) be the first derivative of -v**4/4 - 8*v**3/3 - 4*v**2 + 4*v - 6. Let x be q(-6). Which is greater: x or -21?
x
Let q = 0.3 + 0. Are q and -5 unequal?
True
Suppose -15*d + 4 = -14*d. Is d != 0.1?
True
Let l = -0.032 + -15.968. Which is greater: l or 2?
2
Let m(p) = -p**2 - 6*p - 4. Let u be m(-4). Let i = u + -5. Are -3 and i equal?
False
Suppose -2*r = 3*r - 5. Let x = -11/63 - -2/7. Do r and x have the same value?
False
Let c(d) be the second derivative of d**5/20 - 3*d**2/2 - 3*d. Let p be c(0). Is -3 bigger than p?
False
Let y be (136/(-10))/4 + (-9)/(-3). Let i = 2 - 2. Which is smaller: i or y?
y
Let v(q) = -q - 2. Let y be v(-3). Let h = y + 3. Suppose 4*k = -o - 22, -k = h*o - 2*k + 20. Is -6 > o?
False
Let t = -1159/406 + 39/14. Suppose -4*a + 5 = a. Which is greater: a or t?
a
Let r be 2 - (2 - 3 - -17). Which is smaller: -2/3 or r?
r
Let d(h) = -4*h + 5*h - 4*h + 9 + h. Let u be d(6). Is -2 less than u?
False
Let m be ((-21)/12)/(1/4). Let p(s) = -s**3 - 8*s**2 - 6*s + 5. Let h be p(m). Let a = 2 - 3. Which is greater: a or h?
a
Suppose -2*n - 1 = 3. Let k = n - -5. Which is smaller: k or 5/3?
5/3
Suppose -q = -m - 5, -q - 3*m + 0*m + 1 = 0. Which is greater: q or 25/8?
q
Let y = -0.33 + -3.07. Let v = y + 0.4. Which is greater: v or 2?
2
Let c = 0.13 + 0.37. Let l = 0.5 - c. Is l less than or equal to -0.09?
False
Let w be 6/(-1) + 0 - 1. Let g(v) = v + 9. Let n be g(w). Suppose -3*p - k + 8 + n = 0, -3*k = p - 14. Is p at least 0?
True
Let w be 6/14 - (-10)/(-7). Is w greater than or equal to -2/23?
False
Let d be (-7)/12 - (-2)/(5 - -1). Is d greater than or equal to 9/4?
False
Let n(d) = d + 8. Let k be n(-6). Suppose 2*y - 15 = -3*w, -k*w - 100 = -5*y + 3*w. Which is bigger: y or 16?
16
Let v = 7 - 12. Are -2 and v equal?
False
Let d(l) = -2*l - 16. Let r be d(-11). Let a(g) = g**2 - 7*g + 7. Let q be a(r). Is q not equal to 1?
False
Let t = 8 - 8. Suppose 5*f + 5*s = 25, -2*s + 15 = 6*f - 3*f. Suppose -7*l = -f*l. Do l and t have different values?
False
Let b(u) = 2*u**3 + u**2 - 3*u - 2. Let s be b(-2). Let z(q) = -q**2 - 9*q - 1. Let t be z(s). Let d be 33/t + -2 - 3. Is 0 less than d?
False
Suppose -o = z - 2, -3*o + 12 = 5*z - 0. Which is bigger: -10/23 or o?
-10/23
Suppose -1 = i + 5. Let c be -6 - -4 - (2 - -38). Let x be (-2)/i + 50/c. Is 0 at most as big as x?
False
Let x(s) = -3*s + 21. Suppose 24 = 4*f + 4*g - 24, 3*g = 4*f - 13. Let l be x(f). Is 0 >= l?
True
Let o = -1 + 2.05. Let c = 1.4 - o. Let m = -0.05 + c. Are -2/7 and m nonequal?
True
Let h be (-6)/(-9)*(-1 + (-134)/4). Are h and -23 nonequal?
False
Let z be ((-2)/(-5))/(33/15). Are -2 and z equal?
False
Suppose -5*h = -4 - 6. Let t = 156 + -154. Is h < t?
False
Suppose -5*n - 60 = 5*k, n + 4 + 24 = -3*k. Is k at least as big as -7?
False
Let c = 3.9 - -0.1. Let x = 4.3 - c. Is x at most as big as 0.2?
False
Let g be -3*2*(-3)/(-18). Is g at least as big as -1/4?
False
Suppose 2*o - 17 = 3*a, -3*o - a + 16 = 4*a. Let f be 23/(-42) + (-2)/o. Let y = 0 + f. Which is greater: -2 or y?
y
Let j be (-1)/((-5)/2 - -2). Let r = 0 + 5. Let y(f) = f - 5. Let n be y(r). Which is smaller: n or j?
n
Let t = 46/259 + 4/37. Suppose -2*m = 2*p + 22, 4*m = -4*p + 9*m - 35. Let g be (-4)/p - (-3)/(-45). Is g equal to t?
False
Let n be 32/(-48) - (-3)/(-45)*-13. Let o = -6.3 - -1.3. Which is smaller: o or n?
o
Let l = -43 - -108. Is 64 <= l?
True
Let f = -1.2 - -1. Suppose 0 = -2*a + 3 - 1. Is a < f?
False
Let y be (-2)/9 + 136/(-36). Let p be (-1)/y + (-2)/8. Let h be p - 2*4/(-6). Are h and 1 equal?
False
Let k = 1369 + -12337/9. Which is bigger: -1 or k?
-1
Let h = 3.1 - 4.1. Which is bigger: h or -7?
h
Suppose -b + 132 = 2*b. Let s be 1/1 - 52/b. Is -1 bigger than s?
False
Suppose 8 = 3*a + 2. Let n be (-1*a - -1)*2. Let j be (-4)/n + (5 - 5). Is 3/5 less than or equal to j?
True
Let z = -16.98 + 17. Which is smaller: 0.2 or z?
z
Suppose 0 = 4*b + 4*a + 84, b = 5*b - 3*a + 70. Which is bigger: -15 or b?
-15
Let o = -0.2 - -1.2. Let n be ((-2)/(-11))/(1 + -3). Are n and o unequal?
True
Suppose 4*x + 27 = 3*x - 5*r, 5*r = -4*x - 33. Is 14 less than or equal to x?
False
Let q = -5.7 + 5.6. Are q and -0.16 non-equal?
True
Let u = 7/65 - -1/5. Which is bigger: u or 0?
u
Let v be 4/(-14) - 49762290/312427836. Let j = v + 4305/7922. Let p = j - 1/313. Is 1 at least as big as p?
True
Let x = 8 - 10. Is x greater than -2?
False
Let v = 61 + -60. Which is greater: 2/27 or v?
v
Let a = 7 - 9. Let j = 0 + a. Let b = -2 - 1. Is b equal to j?
False
Let z = -51 + 130. Do z and 1/4 have the same value?
False
Let n be 6/(-4)*(-424)/(-12). Is n less than or equal to -53?
True
Let r = 370 - 2584/7. Let c = -12 - -14. Which is smaller: r or c?
r
Let n = 29 + -19. Suppose -y - 4*y = -i - n, 2*i = 2*y - 12. Which is bigger: i or -6?
i
Let q = 3 + -4. Let r be ((-4)/10)/(-6*(-2)/(-9)). Which is bigger: r or q?
r
Let j(m) = m**2 + 9*m + 7. Let q(c) = c**2 + 10*c + 7. Let i(t) = 3*j(t) - 2*q(t). Let x be i(-6). Let r = x - 2. Are r and -1/5 equal?
False
Let x(w) = w + 2. Let j be x(7). Let f be 4/3*j/(-6). Let r be 0/(-2) - 0/f. Is -2/9 <= r?
True
Suppose 0*l = -2*l + j - 2, -2*l = -2*j. Which is bigger: 1 or l?
1
Let q = 2/709 + -1440/7799. Let d = 61 + -61. Which is greater: q or d?
d
Let a(n) = -n**3 - 11*n**2 - 18*n - 15. Let u be a(-9). Is -17 >= u?
False
Let p = 743 + -3727/5. Which is greater: p or -1?
-1
Let t = -42 - -44. Is t at most 8/11?
False
Let m(x) = -x**2 - x. Let i be m(-2). Let w = 12 + -17. Let s = w + 4. Is i > s?
False
Let m(g) = -3*g - 12. Let c be m(-4). Let s be (2 - (-139)/(-68))*4. Which is greater: c or s?
c
Let p = -50 + 32. Which is smaller: p or -17?
p
Let v = 3.6 + 0.4. Let b = 3.7 - v. Let s = 1.6 + -1.8. Which is bigger: b or s?
s
Let q be (-2)/7 - 36/(-28). Let t be (-3)/(-12)*q*12. Which is greater: t or 5?
5
Let p = 6 + -3. Let m(n) = 2*n**2 + 4*n + 1. Let r be m(-3). Suppose -4*i + r = -5. Is p at most i?
True
Suppose -4*n + 5*x + 27 = 0, 2*n + 2*x = -0*x. Let u be 1/(-2)*-2 - n. Let d = -73 + 217/3. Which is greater: u or d?
d
Suppose 0*l + 2 = -l. Suppose -2*z = -2 - 0. Let u be (0 + -1)*(l + z). Is u greater than 3/4?
True
Let u = -0.5 + 0.26. Let x = -0.2 - u. Let c = 1.04 - x. Which is smaller: 2/15 or c?
2/15
Let n be (8/(-410))/(6 + -8 + 0). Which is greater: n or 1?
1
Let u(j) = 2*j + 3. Let f(x) = -x + 2. Let b be f(4). Let p be u(b). Let k be -1 + 1 + p + 0. Which is greater: k or -1/3?
-1/3
Let b = -665 + 14627/22. Is 0 >= b?
True
Suppose 6*f + 4 = 2*t + 2*f, 3 = 2*t - 3*f. Suppose 2*b + 52 = -4*x, -2*x - 28 = -t*x + 2*b. Let a be 16/6*x/40. Is a smaller than 0?
True
Let b = -2/7 - -15/28. Let q(h) = h**2 + 5*h + 5. Let i be q(-4). Let t be ((-1 - -1)/(-2))/i. Is b