non-equal?
True
Let l(s) = -2*s**2 - 3*s. Let g be l(-3). Suppose 342*w - 8 = 343*w. Which is bigger: w or g?
w
Suppose -5*g - 95 = -l, 0 = -3*g + 8*l - 3*l - 35. Which is smaller: -1 or g?
g
Suppose -80 = -2*m + n + 99, 2*n - 470 = -5*m. Is m at most as big as 92?
True
Let q = -1319 + 32979/25. Let m be 3 + 2 - 2 - 4. Is m < q?
True
Let b be (-15)/6*2/(-860). Let d be (-21)/7 - (-6199)/1204. Let n = d - b. Is 3 < n?
False
Let c(y) = -6*y**3 - 2*y**2 + 4*y - 3. Suppose 0 = 7*j - 10*j + 3. Let t be c(j). Is -7 != t?
False
Let a = 489 - 489.1. Let g = -5.8 - -3.5. Is a greater than g?
True
Let y be (-2190)/(-21) - (-4)/(-14). Suppose -y = -3*p + 2*d - 21, 5*p + 5*d - 105 = 0. Which is smaller: 26 or p?
p
Suppose -3*s = -4*r - s - 4, -4*s + 8 = -4*r. Let w = 0 - r. Let y be 12/28 - (1 - w). Which is smaller: -1 or y?
-1
Let d be (-4)/6*(-105)/10. Suppose 1 = -3*f + v, v - d = -2*f - f. Let s be (f + 36/(-33))*2. Are s and -0.3 non-equal?
True
Suppose -2*m + 12 = -2*y, -3*y = -8*y. Let r be (195/10 - 6)*4/m. Is 9 greater than r?
False
Let y be -4 + (3 - 0) + 2. Let c = 2 + -1. Let b be (c - 4)/((-3)/3). Is b <= y?
False
Let q(a) = -2*a**3 - 6*a**2 + 6*a - 2. Let s be q(-4). Suppose -3 = s*z + 3. Is z equal to -1/15?
False
Let r = -3 - 4. Let j = r - -3. Let v be j + 3 + (-6)/(-4). Which is bigger: 2 or v?
2
Let y(i) = 2*i**3 + 14*i**2 + 14*i + 9. Let r be y(-6). Let j be (-928)/(-308) + (-2 - r/(-3)). Is 0 <= j?
True
Let i = -1260 - -1001. Is -259 smaller than i?
False
Suppose -24*g - 7 = -31. Which is bigger: 4/15 or g?
g
Let b = 14 - 16. Let h(t) = -t**3 - t**2 + 3*t + 2. Let y be h(b). Is y <= 2?
True
Suppose u + 3 = 3*s - 9, 4*s = 3*u + 21. Let w be (u/5)/((-14)/(-35)). Suppose 4*f = -f - 5. Is f less than w?
False
Let c = 3.77 + -3.7. Which is smaller: 2/9 or c?
c
Let j = -914 + 913. Is 1/603 equal to j?
False
Let q = -510 - -20908/41. Let w = q + -318/205. Is w equal to 1?
False
Let r = -0.4 - -8.7. Let z = r - 8. Let s be 20/315 + 4/18. Which is bigger: z or s?
z
Let k = 16113353/718 - 22442. Is k equal to -1?
False
Let p be (2 - 3) + 11 - (-42)/(-21). Let g(i) = -3*i. Let a = -10 + 7. Let h be g(a). Is h bigger than p?
True
Suppose -4*l + 1 = 5. Let m = 0.0113 - 1.0113. Is m > l?
False
Let y(c) = 3*c**2 - 4*c - 9. Let w be y(7). Let b be 240/w + 2/(-11). Let x(d) = 3*d**2 - d - 2. Let q be x(b). Which is bigger: q or 2?
q
Let q be (-63)/(-15) - (-2 + 22/10). Suppose q*x + 2*v = 9*x - 4, 3*v = -2*x + 13. Is x != 1?
True
Let x be (-4)/(-6) + (-21)/(-9). Let t be 5 - ((-108)/(-53) + x). Let h = -6 + 5. Are h and t unequal?
True
Suppose 24 = 2*c - 4*l, c - 29 = -c + 5*l. Suppose c*w + 16 = 144. Is w at most as big as 64?
True
Let r = -103.5 + 104. Are r and -10 unequal?
True
Suppose 5*z + 54 - 69 = 0. Suppose -2*v - 9*v = z*v. Let a be (-1)/2 - (-30)/52. Which is bigger: v or a?
a
Suppose 5*p - 15 = -t - 0*t, 3*p = -4*t + 26. Let c(j) = -j**3 + 3*j**2 + 6*j - 5. Let h be c(t). Which is greater: -26 or h?
h
Suppose 0 = d - 5*d + 32. Suppose 3*c - d*c = 15. Which is bigger: -7/2 or c?
c
Let l be 1125/1075 + (-1 + -1)/2. Is 0.4 <= l?
False
Let v = 150.1 + -151. Let y = -6.9 - -5. Let d = y - v. Which is smaller: 2 or d?
d
Suppose 18 - 6 = -12*s. Which is greater: s or 7/31?
7/31
Suppose 0 = 6*p - 32*p + 104. Let b = -1.9 + 1.5. Which is smaller: p or b?
b
Let f = 12 - -39. Suppose -q = 4*n + q - 36, -4*q = 5*n - f. Let s be (-2)/(n/(7/(-8))). Is -0.2 at least as big as s?
False
Let n be (-1)/(-4) - (-81)/24*2. Which is smaller: 9 or n?
n
Let x(q) = -146*q - 10. Let n be x(-11). Is n at most as big as 1596?
True
Let a(j) = 2*j**2 - j. Let g be a(1). Is 19/10 bigger than g?
True
Let i = 38.1 + -41.71. Let h = -3 - i. Do h and -0.1 have the same value?
False
Suppose 5*v + 10 = 4*w, 2*v = 4*w + v - 2. Suppose -a + 2 = w, 0 = 2*s + 3*s - a + 7. Let y = 23/2 + -121/10. Which is bigger: y or s?
y
Suppose 6*z - 10*z + 24 = 0. Let r be 5/((-180)/(-6))*z/4. Is 1 smaller than r?
False
Let s = -5404/11 - -488. Which is smaller: -2 or s?
s
Let l = -0.002 - -0.043. Let z = -0.041 + l. Which is bigger: z or 18?
18
Let v = -171 + 512/3. Which is smaller: 76 or v?
v
Suppose -2*x + 15 = 5. Suppose 5 = 5*y - 5*b, 4*y - 19 = -b - x. Suppose 2 = m - y*m. Which is bigger: 2/7 or m?
2/7
Let v = -100 - -101. Is v greater than -1/313?
True
Let t be 2/3 + (-16)/120*-25. Which is smaller: t or 49?
t
Suppose -4*g = 7 - 11. Let b be -1*(-1 - g)*5/(-325). Which is smaller: b or 0?
b
Let i = -3.7 + 10.8. Let c = i - 7.18. Are -7 and c unequal?
True
Let i = 1630 - 1640. Is 49 at least as big as i?
True
Let h(d) = d + 4. Let s be h(-5). Let a be (1285/(-130) + 10)*(-24)/(-9). Is a at most as big as s?
False
Suppose -4884 = -5*f + q, -3905 = -54*f + 50*f + 3*q. Which is greater: f or 975?
f
Let m be (-90)/(-14) + 4/7 - 3. Suppose -m*n + 13 + 3 = 0. Which is smaller: 1 or n?
1
Suppose 40 = 2*z - 2*k - 2*k, 0 = 5*k + 5. Suppose -179 = 7*g - z. Is g >= -24?
True
Let r be (-6)/(-10) + (-2412)/45 + -13. Suppose 2*h + 122 = -10. Is r greater than or equal to h?
True
Let s(g) = 2*g**2 - 4*g - 1. Let d(m) = m**2 - 5*m - 2. Let b(r) = 3*d(r) - 2*s(r). Let l be b(-5). Let i be (-15)/10*10/(-3). Are l and i equal?
False
Let u be (-1)/(-4) + (-455)/28. Let n be (u/(-20))/((-4)/10). Let r be ((-4)/3)/4 + 0. Is r <= n?
False
Suppose 2*d + 3*d = -220. Let b be (-1)/(144/d + 3). Let w = -2 + 2. Which is smaller: b or w?
w
Suppose 0 = -374*c + 376*c - 260. Which is bigger: 132 or c?
132
Let k be 1530/27 + 4/3. Let m = 288/5 - k. Is m <= 63?
True
Let w = 2.351 + -2.4. Let f = -1.049 - w. Which is smaller: -4/9 or f?
f
Let r be -1 - (-1)/((-1)/(-2)). Let n(l) = 4*l**2 + l. Let y be n(r). Let p be (4/y)/(10/25). Which is bigger: p or 1?
p
Let b = 2/1145 + 5679/26335. Which is smaller: -1 or b?
-1
Suppose d = -3*d + 4. Suppose 9 = 4*w + d, -11 = h - 5*w. Is -1/17 at most as big as h?
False
Let o be 9/(-36) + 18/8. Suppose a = -3*s - 5, -5*s + 1 = -o*s - 2*a. Do s and 3/26 have the same value?
False
Let y be -3 + 102/90*3. Let j = -37 + 22. Let k be (2/j)/((-3)/15). Which is greater: y or k?
k
Let d = -6 + 7. Let q = -0.21 - -0.26. Let a = q + -2.05. Do a and d have the same value?
False
Let n = 226 - 326. Let m = n + 393/4. Let g = -5.1 - -5. Which is smaller: g or m?
m
Let t = 83.01 + -9.01. Which is smaller: -0.1 or t?
-0.1
Let y = -387 + 374. Which is smaller: 6 or y?
y
Let c(j) = j**2 - 5*j + 7. Let i be c(5). Let r be 2 - (-1 - 1 - i). Let b = 154.2 + -154.1. Which is greater: r or b?
r
Let h = -198 + 2569/13. Suppose -2*m + 4 = 4*f, -7*m + 10 = -2*m. Which is smaller: h or f?
h
Let c be (54/135)/(2 - (-9)/5). Is -2/13 less than c?
True
Let u(a) = -22*a + 18. Let v be u(-6). Suppose 10*q - v = 15*q. Is q at most -30?
True
Suppose -1 = -2*i + 1. Let u = -223/2835 + 11/81. Is u at least i?
False
Suppose -4*w - 7*w = 5*w. Let t be w/5*3/6. Is t less than 3/8?
True
Let z be (-350)/(-11) + (-5 - (-57)/11). Suppose 45*f - z = 37*f. Let b be (5/1*-1)/(-1). Which is bigger: b or f?
b
Let u be ((-1 - 1) + 1)*29. Let g = -11 - u. Let v be 3/5 - g/(-45). Which is smaller: v or 0?
0
Let t = 2.88 - 8.88. Is 16/3 smaller than t?
False
Let q = 115 + 21. Let n = q + -105. Which is smaller: n or -1?
-1
Let k = -851 - -840.18. Let m = -0.18 + k. Let b = -12 - m. Which is smaller: 0.1 or b?
b
Let i(r) = r + 13. Let y be i(10). Let p(u) = -u**2 + 9*u + 9. Let v be p(7). Is y > v?
False
Let f(i) = 3*i**2 - 9*i - 6. Let u be f(-1). Which is smaller: u or -54?
-54
Let k = -0.129 + 16.329. Let j = k - 3.2. Is 1/4 > j?
False
Let j be ((-4)/(-4 + 16))/(7296/(-72)). Which is greater: j or 0?
j
Suppose -5*h + 32 = -13*h. Let y be 0 + 2 - (-24)/(-4). Is y greater than h?
False
Suppose u - 4 = 3*j + 2, 2*u = 0. Let b = j - -10. Suppose 2*g - b = 3*t, 2*t = 4*t + 2*g - 8. Which is smaller: -1/18 or t?
-1/18
Let f = -32.7 + -2.3. Let t = -35.21 - f. Let g = -0.31 - t. Which is bigger: g or 2/47?
2/47
Let r be 74/(-28) - (-42 + -8)/10. Which is smaller: r or 0.1?
0.1
Let z(q) = 2*q + 3. Let k be z(-10). Let y = -47/3 - k. Which is smaller: -1 or y?
-1
Suppose -2*z + 3*f + 47 = 0, 0*z + 2*z = -5*f + 7. Suppose z*k - 937 - 7 = 0. Is k > 59?
False
Let q = -511 - -408. Which is smaller: q or 1?
q
Let j = 20653/9471 + 1/861. Su