 nonequal?
True
Let p = -8 + 7. Let h(d) = -d**3 - 7*d**2 - 10*d - 7. Let z be h(-5). Let j be z/28 - 49/(-4). Which is greater: p or j?
j
Suppose 2*q - 10 = -3*q. Suppose -p = -5*b + 9, 3*b - 4 - q = 0. Let s be (-6)/(-27) + 10/(-126). Which is smaller: s or p?
s
Suppose -1 - 4 = -5*y. Let k be (-2158)/6 - (5/3)/5. Let s = k - -22678/63. Is y smaller than s?
False
Let h = -14 - -29. Let x = h - 20. Is x equal to 2/5?
False
Suppose 0 = -3*r - 7 + 10. Let s(h) = h - 1. Let x be s(4). Let m = x + -2. Is m < r?
False
Suppose -5 = 3*w + 2*w. Let n = 3/5660 + -359/9905. Which is smaller: w or n?
w
Let l = 131 - 224. Which is smaller: -469/5 or l?
-469/5
Suppose 5*h = -18 - 12. Suppose 32 = 3*c + c. Let d = h + c. Does -2/13 = d?
False
Let x = -445.6 + 444. Let f = -4.9 - -5. Which is smaller: x or f?
x
Let i(o) = o**2 - 2*o + 38. Let l be i(0). Let m = l + -38. Suppose -165 = -5*j - m*j. Is j > 33?
False
Let d(x) = 7*x**2 + 5*x - 9. Let t(r) = -r**2 + 1. Let j(i) = d(i) + 6*t(i). Let n be j(-5). Suppose -5*l - 272 + 252 = 0. Are l and n nonequal?
True
Let n(h) = 2*h - 22. Let a be n(10). Let m be (-12435)/6 + (-1)/a. Let t be m/(-980) + 2/(-5). Is t less than or equal to 1?
False
Let h = -3 + 4. Let d be 6 + -7 + 4 + -3. Let b(j) = j**2 + 3. Let y be b(d). Which is smaller: h or y?
h
Let z = 10.89 - 5.89. Which is greater: z or -1/10?
z
Let c be (2/5)/(1370/(-50)). Is 0 equal to c?
False
Let q be (-9)/(-6) - (-30)/4. Let w be (-120)/q*(-27)/6. Let m be (-4)/14 - w/(-357). Which is greater: m or -1?
m
Let g(a) = a**3 - 12*a**2 - a + 9. Let y be g(12). Let p be (164/(-52) - y)/((-4)/(-8)). Is p less than or equal to 2?
True
Let l be 120736/(-1320) + 4/30. Is l > -90?
False
Let h be (-10)/(-20) - 6/(-12). Which is bigger: h or 6/41?
h
Let m = -1377 - -1378.29. Which is smaller: m or 0.2?
0.2
Let c = -172 - -172. Which is greater: c or -1/41?
c
Let a(z) = -2*z - 10 - z - 18. Let k be a(-10). Which is smaller: 14/9 or k?
14/9
Let a(f) = 2*f**3 + f**2 - 2*f - 1. Let c be a(2). Suppose -5*s + 80 = -5*u, 3*u = -2*s - 61 + 3. Let j = u - -34. Is c at most j?
True
Let u = 35 + -19. Suppose -51 = -u*x + 13*x. Let p be 2/(-6)*(15 - x). Is p > 7?
False
Let h = 224 + -410. Does h = 0?
False
Let q = -3/403 - 9657/2015. Is q < -4?
True
Let i = 13.25 + -0.25. Let z = 4 - i. Let b = -9.1 - z. Is b not equal to 0.05?
True
Suppose 13*h = 4*h. Suppose -4*b = -9 - 7. Suppose 2*k + 3*j + 7 = 0, 5*j - j + b = h. Is k <= -5?
False
Let x(g) = -6*g - 4. Let j be x(-10). Suppose j = 3*p - 11*p. Is p at least -0.2?
False
Suppose -22*m = 1 + 43. Is m smaller than -10?
False
Let o(c) = 12*c**2 - 2*c - 2. Let a be o(-7). Let p be 4/(-6) + a/36. Which is greater: p or 18?
18
Let y be (13 - (-16464)/(-1099)) + 0 + 2. Is y greater than -1?
True
Let t = 746 + -522. Which is bigger: t or 223?
t
Suppose 4*f - 225 = -5*f. Is 26 at least as big as f?
True
Let n = -763 - -762. Is n at most as big as 0.035?
True
Let i = -3.7 + 1.2. Let w = -3 - i. Let v = 47 + -46. Is w at most as big as v?
True
Let m = 24.18 + -24. Which is greater: -1/6 or m?
m
Let b = -886.1 + 886. Is b at least as big as 837?
False
Let z = 843 + -842. Is 21/40 at least z?
False
Let z = 41 - 2. Suppose -2*o - 22 - 38 = -5*i, i - z = -5*o. Let j = 1.5 - 1.4. Which is bigger: j or i?
i
Let o be 1 - (-22)/(-12) - 2. Let a = -55/12 - o. Let g = -13/12 - a. Is g greater than 2/3?
False
Let r = -70 + 78. Suppose -i + 2*q = -8, 3*i - r = -2*i + 2*q. Which is smaller: i or -2/29?
-2/29
Let c = 0.5 + -0.7. Let f = 0 - c. Let b = -7.4 - -7.3. Which is smaller: f or b?
b
Let o = -479 - -479.3. Which is smaller: -1/234 or o?
-1/234
Let z be -2 + 4 - 61402/30326. Let a = z - -2/257. Is a at least as big as -1?
True
Suppose -4*y + 113 = -655. Do y and 194 have the same value?
False
Suppose 12*h = 386 - 3734. Which is greater: -559/2 or h?
h
Let w be -8 + (-1128)/(-168) + (-4)/(-14). Is w at most -16/153?
True
Let c = 259/134 - -33737/536. Let u = c + -65. Is 1 >= u?
True
Let y be 16 + -8 - (20 - 19). Suppose 0 = -3*t + 11 + 1. Which is smaller: y or t?
t
Let d be 8 + 30/(-6) + (-988)/328. Is 1 at most d?
False
Let m(l) = l + 1. Let h be m(0). Let p = 12 + -8. Let a be p/5*1/(-10). Is h smaller than a?
False
Let f(m) = -m**3 + 16*m**2 - 16*m + 19. Let h be f(15). Suppose -3*s - 29 = -h*v, -4 + 33 = -5*s - 3*v. Which is smaller: -6 or s?
s
Let c = -120 - -128. Suppose -75 = c*s - 19. Which is smaller: s or -3?
s
Let n = 217/9 - 4387/36. Which is smaller: n or -99?
-99
Let d be (-34)/6 - (-4 - 1)/(-15). Let a be (-1)/(-6) + (55/d - -3). Does -6 = a?
True
Suppose 16*f + 18 - 2 = 0. Is 2/831 greater than f?
True
Let z be (102/15)/((-64)/280). Let n = -30 - z. Which is smaller: n or 0?
n
Suppose 2*j + 0*j + 4*h = 0, 4*j + 13 = 5*h. Let a be -3 - (-1 - j - 5). Which is smaller: a or 3/4?
3/4
Let q = 289/65 - 63/13. Let y = -2 - -2.8. Which is smaller: y or q?
q
Let z be (-9 + (-2937)/(-275))*(-10)/1. Is -18 at least z?
False
Let a = 43/2 - 175/8. Suppose 0 = 4*o + 20, -d = -5*o - 26. Suppose 3*w + d = 2*w. Which is smaller: w or a?
w
Let f(o) = -o + 3. Let s be f(-11). Let b be (-6)/10*s/3. Is -2 != b?
True
Let p(f) = -188*f**2 + f + 6. Let j be p(-2). Is -748 < j?
False
Let r(z) be the second derivative of 1/20*z**5 - 1/2*z**4 + 0 - 4/3*z**3 - 6*z + 5/2*z**2. Let o be r(7). Is o bigger than 3/2?
False
Let n(l) = -13*l**2 + 25*l - 10. Let a(g) = 6*g**2 - 12*g + 5. Let r(j) = 9*a(j) + 4*n(j). Let k be r(4). Suppose k*d + 18 = -17. Which is greater: -6 or d?
-6
Let t = 87 - 52. Suppose -4*d = -30 - 114. Let c = d - 2. Are c and t nonequal?
True
Let g be (-2)/(-8) - (-56)/32. Let o be 1/((9/(-24))/(-3)). Suppose -g*n + 0*n = -o. Which is bigger: 5 or n?
5
Let v be -13*3/9 - 2/(-6). Let f = -3 - 1. Let o = f - v. Is o at most as big as 0?
True
Suppose -5*x + 5 = -4*x - 3*g, 43 = 5*x + 3*g. Let y be -3 + x - 4 - 1. Which is bigger: -16 or y?
y
Let f(i) = i**3 + 20*i**2 + 19*i + 15. Let z be (-75)/4 - (-3 - 52/(-16)). Let s be f(z). Is s <= 16?
True
Let h = -3477/22 + 158. Let s(y) = -y**3 - 7*y**2 + y - 17. Let d(p) = p**2 + 1. Let c(r) = 4*d(r) + s(r). Let v be c(-4). Is v > h?
False
Suppose 4*w = 20, 2*c + 50*w + 159 = 45*w. Which is smaller: -89 or c?
c
Let w = 80 - 76. Let p be ((-13)/(-78))/((-27)/w). Which is greater: p or -1?
p
Let x(w) = -w**2 + 8*w - 8. Let t be x(6). Let q(u) = -u**2 + 6*u - 6. Let g be q(t). Suppose 12 = g*o - 8. Is o <= 8?
False
Let p = 2 - 2. Which is greater: 0.11 or p?
0.11
Let d be 3/5 - (-1924)/(-65). Let h = 95 - d. Let o = h - 368/3. Is 0 < o?
True
Let s(z) = -z**3 - 17*z**2 + 9*z + 72. Let h be s(-16). Is h >= -330?
True
Let n be ((-3 - (4 + -7)) + 1)/1. Which is smaller: n or 4/151?
4/151
Let j = -80.574 - -80.8. Which is bigger: -1/4 or j?
j
Let d = -11 - -21. Let i be (2/(-45))/((-2)/d). Let n(v) = 264*v - 1. Let p be n(0). Is i less than p?
False
Suppose k = 2*w - 4, 0 = -w - 4*k - 2 + 4. Suppose -5*z + 77 = -y, 86 = w*z + 3*z + 2*y. Is z >= 16?
True
Let r = -17 - -15. Let m(c) = -c - 5. Let d be m(4). Does r = d?
False
Let q(k) = k**2 + 1. Let u be q(0). Let g be 50/8*(-3 - -7). Let s be 5/(-2)*30/g. Is s > u?
False
Let b = 4.2 - 4. Let r = -0.21 - -0.11. Let o = 0.2 + r. Is b equal to o?
False
Let q be 14/(-40) - (-8)/32. Are -1 and q equal?
False
Let l = 439.94 + -440. Is 4.4 greater than or equal to l?
True
Let c(n) = 5*n**2 - 5*n - 5. Let q be c(-4). Suppose 25 - q = -7*m. Which is greater: 9 or m?
m
Suppose 3*o - 5 = 3*w + 1, -3*w - 8 = -2*o. Let m(r) = -r - 4. Let j be m(w). Is j not equal to -10/9?
True
Let a be (-62)/(-93) - (-1579)/3. Which is greater: 526 or a?
a
Let u = -9 + 24. Let k be (-4 - (-68)/16)*54. Are u and k nonequal?
True
Suppose -3*u + 7*u - 2*h + 38 = 0, 4*u + 4*h = -56. Which is smaller: -15 or u?
-15
Suppose -2*v - 1 = 2*u - 9, u = 3*v - 12. Let r = -1028 - -11347/11. Let t = -730/209 + r. Is u less than or equal to t?
True
Suppose 204 = 4*p + 2*r - 4*r, -3*r + 144 = 3*p. Is p < 50?
False
Let t = 1 + -4. Let l be 2/3 - (-23)/t. Let c be -3 - (-1 - (-3 - 0 - 3)). Is l > c?
True
Let f(m) = m**3 - 7*m**2 + 4*m + 13. Suppose -2*t - 8 = 2*z - 0, 10 = -t + 5*z. Let j = t + 11. Let k be f(j). Which is bigger: k or 2/3?
k
Let f = -0.1 + 2.1. Let w = -0.009 + 0.319. Let l = -0.11 +