 nonequal?
True
Let s(z) = 2*z**3 - 4*z**2 - 8*z + 15. Let o be s(3). Is o <= 31/3?
True
Let z = 8 - 5. Let s(k) = k**2 + 5*k - 1. Let t be s(-10). Suppose z*l = 4*q - t, -l - l - 2*q - 56 = 0. Are -23 and l non-equal?
False
Suppose -4*g = 11 - 27. Suppose 33 = -4*z - 5*j, g*z = 4*j + 8 + 4. Is z < -1?
True
Let x be 45/(-10)*(51 + -1). Let g be x/99 + 6/2. Suppose 2 = -n + 4. Is g bigger than n?
False
Let q be (-18)/(-12)*28/(-3). Let n be (-5)/(q/(-4) - 4). Let s be (-10)/(-42)*n/(-25). Which is greater: 1 or s?
1
Suppose 0 = -f - l, -5*f + 4*l - 9 = -45. Let b be f + ((-400)/(-85))/(-4) + -3. Let c(m) = m**2 - 5*m - 6. Let t be c(6). Is b less than t?
True
Let c(p) = 2*p**2 - 8*p + 8. Let m be -2*(-1 - 1 - 4/(-8)). Let g be c(m). Is g less than 19/10?
False
Suppose 112*d = 107*d + 5. Which is greater: d or -1/35?
d
Let z = 9.44 + -10. Let o = z - 0.44. Which is smaller: o or 23?
o
Let y = -68.7 - -57. Let p = -10.7 - y. Does p = 2.7?
False
Suppose -3*r + 6*r - 6 = 0. Suppose r*j + 11 = p - j, 26 = -4*p - 2*j. Let k = p - -7. Which is bigger: k or 4?
4
Let f = 947/13 - 73. Suppose -16*k + 3 = -15*k. Suppose k*j - 4 = -1. Which is smaller: j or f?
f
Let a be 62/(-24) - 1/(-4). Suppose -2*o = 2*g - 8, -14 = -0*o - o - 3*g. Which is bigger: o or a?
o
Let a = -1711 - -1709.999. Let x = -0.001 - a. Which is bigger: x or -4.1?
x
Let h = -7451/583 - -141/11. Let c = 1 + -1. Is h != c?
True
Let v = -2 - 0. Let c be (-448)/(-140) - 5 - 41/(-45). Is c greater than or equal to v?
True
Let x = -280 + 281. Do x and 3/7 have different values?
True
Let p = -104 + 111. Which is bigger: p or -4/13?
p
Let l = -30 - -31. Suppose -4*n = -5*n - l. Do -8 and n have the same value?
False
Let v = -948 + 947. Which is greater: -3/23 or v?
-3/23
Suppose -2*j - 1 = -q, -3*q + j = -3*j - 3. Is q at least as big as 12/31?
True
Suppose -3*r = 89 + 97. Let b = -681/11 - r. Which is greater: 0 or b?
b
Let l be (-1)/(-7) - 705/4690. Suppose -4*i - 1 = -4*j + 15, 2*i + 4*j = 16. Is i equal to l?
False
Let h = 53 - 51. Suppose -4*k = 6 - h. Is k >= -1/23?
False
Suppose -2*y = m + 49, 2*y + 45 = -7*m + 2*m. Suppose 4*z - 2*n - 1 = 3*z, -5 = -5*z + 4*n. Let t = 0 + z. Which is smaller: t or y?
y
Suppose -3*q - 2 = -35. Suppose -5*v - q = -z + 5, 0 = 4*z + 4*v + 8. Is -4/9 > z?
False
Let l be 0 + (-3)/(6/4). Let j be ((-1)/10)/(59/(-118)). Are l and j unequal?
True
Let c be (-1 + 0)/((-3)/(-2)). Suppose 0 = 6*z - z - m + 135, -3*z - 81 = -3*m. Let q be 6/(-4)*12/z. Which is greater: q or c?
q
Let l = 6641 + -4725. Is 1917 >= l?
True
Let p(l) = 2*l**2 + 13*l - 257. Let j be p(16). Is 462 greater than or equal to j?
False
Let w be (-2)/4*2/3. Let c(n) be the second derivative of n**5/20 + n**4 - n**3/6 - 15*n**2/2 + 8*n. Let t be c(-12). Is w less than t?
False
Let h(m) = 4*m**2 + 15*m + 13. Let b be h(-2). Suppose 6*i + 32 = 2*i. Are i and b non-equal?
True
Let b be 20/4 - 371*(-1)/2. Is b < 191?
True
Let y(f) = -11*f + 324. Let o be y(27). Is 25 at least o?
False
Let t = -32 - 27.3. Let c = 62 + t. Let h = c - 2. Is 0 greater than h?
False
Let j = 105.175 - 105. Let d = j - -1.825. Let f = -0.05 - -0.1. Is d != f?
True
Let x = -20 - -59. Which is smaller: 40 or x?
x
Let x be 4 + -2 - (5 + -3). Let y = -461 - -456. Which is smaller: x or y?
y
Suppose -3165 = 4*y - 5*x, -35*y + 39*y - 3*x + 3155 = 0. Is y at least as big as -787?
True
Let v = -2432 + 2432. Which is smaller: 2/853 or v?
v
Let l = 214 + -132. Let u = l + -82.5. Let n = 0.1 - 0.2. Which is greater: u or n?
n
Suppose 85 = -5*o - 3*h - 1, -5*o + 4*h = 72. Is 3 greater than or equal to o?
True
Let v = 66488027/238 - 279362. Let w = v - -8/17. Does 0 = w?
False
Let w = 32 + -47. Suppose -2*r + x - 16 = -3*x, -3*r - x - 10 = 0. Let p be (r - (-10)/3)*21. Which is smaller: w or p?
w
Let r = -90/17 + 98/17. Which is greater: r or -1?
r
Let r = -0.95 + 113.95. Let w = 97 - r. Which is smaller: w or 1/3?
w
Let y = 1012 + -1009. Which is smaller: y or 31?
y
Let b be (-19 + 294/18)*213/(-4). Which is bigger: 990/7 or b?
b
Suppose 0*c = -c + 5. Let w(r) = 8*r - 5*r + c*r + r**2 + 7. Let m be w(-7). Which is smaller: -1 or m?
-1
Let w(z) = 2*z + 4. Suppose -5*o + 5*y = -3 - 2, 5*o + 13 = -y. Let q be w(o). Which is smaller: 6/43 or q?
q
Let p = -36.7 + 33. Let r = -480.3 + 480. Let m = p + r. Which is smaller: -6 or m?
-6
Suppose 3*c + 123 = 21. Let s be c + (18/24)/((-6)/(-16)). Which is smaller: -33 or s?
-33
Suppose 268 = -i + 4*r, 0*i - 4*i + 4*r - 1072 = 0. Let k = -3482/13 - i. Suppose 2*u - 2*d = 12, 5*u - 2*d - 4 = 8. Is k bigger than u?
True
Let z = -248 + 190. Are z and 0.1 unequal?
True
Let i(h) = 6*h - 5. Let k be i(2). Let v be 2*k/(28/(-8)). Let x be -2 - (10/4)/1. Which is greater: x or v?
v
Suppose -78*l - 6 = -79*l. Is l less than or equal to 2/15?
False
Let b = -2477/3 - -786. Do b and 0.1 have the same value?
False
Let v = -402 + 702. Is -1/2 at least as big as v?
False
Let a = -319 + 318.8. Suppose 90 = 4*h + 6. Suppose -2*g - g - h = 0. Do g and a have the same value?
False
Let n be (-1604)/(-52) - 10/(-65). Let a = -28 + n. Suppose 4*z = -a*x - 51, 5*z = 4*x - 36 + 11. Which is smaller: -7 or z?
z
Let s = 2/3667 + -106357/25669. Which is smaller: -5 or s?
-5
Let t be ((6/(-4))/(12/16))/(-2). Let z be (t - (-2)/(-6))*60/(-4). Which is bigger: -9 or z?
-9
Let b(n) = -2*n + 4. Let p be b(-5). Is p >= 9?
True
Let z(o) be the first derivative of -o**2 - 12. Let p be z(-1). Which is smaller: 1 or p?
1
Let w be (75/(-80) + 1)/((-3)/30). Are w and 1/3 nonequal?
True
Let s(p) = -46*p**2 + 77*p - 3. Let k be s(2). Which is smaller: -32 or k?
k
Suppose -3*b - 20 = v - 6*v, 5*b = 3*v - 12. Suppose 12 + 0 = -v*o, -2*s = -4*o + 2. Which is greater: s or -8?
s
Let n be 25/(-10)*(-40)/2. Which is smaller: -4 or n?
-4
Suppose -28 = -y - 2*n + 24, 3*n + 83 = 2*y. Which is bigger: y or -1?
y
Suppose 4*x - 2*l - 6 = 0, -3*x + l + 4 = -1. Let j = -32929/33 - -9220/11. Let r = j - -161. Are x and r unequal?
True
Let c be 336/280*(-735)/(-6). Which is smaller: c or 151?
c
Suppose 0 = -c - 4, -3*i + 6*c = 3*c - 27. Let h be i/90 - 2/(-12). Which is greater: h or 1/6?
h
Suppose 13*m = m + 600. Suppose 52*z - 98 = m*z. Is 49 at least z?
True
Let j = -55 - -22. Let s be 5/25 - j/(-15). Let t = s - 1. Is t less than -4?
False
Let t = 79 + -204. Is -126 at least as big as t?
False
Let q be ((-5)/(-10))/(-2*(-4)/(-48)). Which is smaller: 6 or q?
q
Let x be (-1*(-2)/(-2))/((-5)/60). Suppose x = -7*i + 19*i. Which is smaller: 3/2 or i?
i
Let i be ((-8)/(-6))/((-12)/(-54)). Let t = -44 - -50. Is i less than or equal to t?
True
Let r(w) = -w**2 + 6*w - 10. Let z be r(5). Let x be -8 - z - 1*-101. Let s = x + -1663/17. Which is bigger: 1 or s?
1
Let c = 114 + -572/5. Let o = 744 - 750.82. Let l = o - 0.18. Are c and l nonequal?
True
Let r = 1076563751639/4955 + -217268162. Let v = r - 2/991. Which is smaller: v or 1?
1
Let a(r) = -r**3 - 32*r**2 - r - 29. Let u be a(-32). Suppose 0 = -u*x - 2 - 4. Is x > -1?
False
Let y = -26 - -28. Suppose 0 = -4*v - 3*t - y*t + 1, -t = -v - 2. Which is smaller: v or -71?
-71
Let s(x) = -4*x**2 - 18*x + 15. Let r be s(-5). Suppose 0 = -4*t + t. Is r smaller than t?
False
Let k = 1052/7 + -150. Let g = -10 - -31. Let d = 22 - g. Is d bigger than k?
True
Let j = 57.4 + 14.6. Let m = j + -74. Which is smaller: 0.4 or m?
m
Let b be 28 + -4 - 4*(-4)/(-8). Let m be (-6 + -1)*(-4 - (4 + -5)). Which is bigger: m or b?
b
Let f = -188 + 187. Is -19 less than or equal to f?
True
Suppose -l = -4*l - 30. Let d(x) = x**2 - x - 39. Let q be d(-5). Is l greater than or equal to q?
False
Suppose -29*a = 8*a + 37. Is a less than 0.279?
True
Let g(b) = b**2 - 6*b - 9. Let a = -1 + 8. Let v be g(a). Is -12/5 bigger than v?
False
Let p(j) = j**2 - 5*j - 1. Let c be p(6). Suppose 0 = 8*o - c*o. Which is smaller: o or -33?
-33
Let h be 23 - -3 - (-2)/2. Let m = 26 - h. Let i = -477/935 + -3/85. Which is smaller: i or m?
m
Let q = 142.166 - 142. Is 1/4 >= q?
True
Let b be 2/(-10) + 41/5. Let w = b - 4. Let v = -7 + 10. Does w = v?
False
Let a(q) = -q**3 + 6*q**2 - 4*q - 5. Suppose -35 = f - 8*f. Let w be a(f). Is w at most as big as -2/7?
False
Let g be 1/((-3 - -7)/16). Suppose 0 = 8*p - g*p. Which is smaller: 2.3 or p?
p
Let 