nd o non-equal?
True
Let r be 1 + -233 + (-4 - -4). Let b be 2 - (-3)/(12/r). Let g be 2/(-11) + b/(-187). Are g and 1 unequal?
True
Let n(y) = -2*y**2 - 2*y + 3. Suppose -3*x + a - 3*a = -13, 5*x - 21 = -4*a. Suppose -7 = -h - x*m, 12 = -2*h - m + 4*m. Let s be n(h). Is -9 greater than s?
False
Let k be (-1)/21*5/(20/(-14)). Do 13 and k have the same value?
False
Let n(z) be the third derivative of 6*z**2 - 1/4*z**4 + 0*z + z**3 - 1/60*z**5 + 0. Let a be n(-7). Which is smaller: a or -2?
-2
Let a = -137 + -84. Which is smaller: -220 or a?
a
Let x = -853/56 - -131/8. Let p = -281 - -283. Is p smaller than x?
False
Let w = 6 + -11. Let b be (-4)/2 - (-4 - 1). Let u = w - b. Is u not equal to -8?
False
Let x = 14.7 - 7.5. Let d = -6.9 + x. Which is smaller: d or -1?
-1
Let m(w) = -w**2 + 14*w + 4. Suppose 1 = c - 5*n - 7, 4*n - 8 = 0. Let h be (-256)/(-18) + (-4)/c. Let j be m(h). Which is smaller: j or 5?
j
Let t = 26.16 + -26. Let u = 0.31 - t. Which is smaller: u or 2/3?
u
Let l be (-26)/(-1) - ((7 - 11) + 4). Is 105/4 bigger than l?
True
Let f = 289 - 260. Which is bigger: f or 8?
f
Let k = -74.1 - -72.8. Let i = 1 - 1. Let x = i + -0.1. Which is smaller: k or x?
k
Suppose 5*z = 5*t + 25, -4*t - 19 = -0*t - 5*z. Let u be 51/6 + (-9)/t. Suppose -6*m = -8*m - u. Which is smaller: m or -4?
m
Let t(m) = 2*m**3 + m**2. Let b(p) = p**3 + 15*p**2 + 14*p + 1. Let o be b(-14). Let n be t(o). Is 4 < n?
False
Suppose -f - 7 - 2 = 0. Let a = -3943/40 + 707/8. Is a at most f?
True
Let u be (-2 - (-390)/(-6)) + 2. Let a = u - -118. Is a at least as big as 53?
True
Let f(r) be the second derivative of 5*r + 2*r**2 + 0 - 1/6*r**3. Let m be f(5). Which is bigger: -2/7 or m?
-2/7
Let u be 3*-2*(-12 + (-2024)/(-168)). Suppose -5*r + 21 = -39. Which is smaller: r or u?
u
Let y(p) = -12 + 2 - 2*p**2 + 31*p - 19*p. Let f be y(5). Are 0.37 and f equal?
False
Let u(t) = -33*t + 92. Let x be u(-33). Is 1181 >= x?
True
Let g be 10*(-1)/(-3)*(-564)/(-10). Are 188 and g non-equal?
False
Let y = -439 - -441. Let a be (0 + 5/2)/1. Let d = a - 2. Which is greater: d or y?
y
Let y = 0.1 + -1. Let w = y - -2.5. Let a = -1.1 + w. Which is smaller: a or -0.1?
-0.1
Let l = 119 - 124. Is l less than or equal to -17?
False
Let f(y) = -2*y**3 + 2*y**2 - 2*y + 1. Suppose 0 = 3*j + 4*i + 10, 15 = 5*j - 4*i - 11. Let g be (2 - 5) + 2 + j. Let h be f(g). Is h at most 1/6?
True
Suppose 7*t + 2 = 5*t. Suppose 2*f = v - 0*f + 5, -v + 4*f = 13. Suppose -n = 3 + v. Which is bigger: n or t?
t
Let x be -1 - 6 - (-1 - 2). Which is smaller: x or 1?
x
Let p(o) = -o**3 - 13*o**2 - 20*o + 13. Let y be p(-7). Do y and -136 have the same value?
False
Let x = -29 + 42. Let n = -13.1 + x. Which is smaller: -2 or n?
-2
Let w be 26*8/(1*-608). Is -2/3 not equal to w?
True
Let c be (-2)/3 + (-93)/9. Let h = -2743 + 2731. Are c and h equal?
False
Suppose -3*a - 60 = -5*o, 5*a + 0*o = -2*o - 69. Let b be (-8)/((-3)/12*-2). Which is smaller: a or b?
b
Let r = -37.016 - -0.016. Let s = r - -19. Is s smaller than -1?
True
Let x = 0.053 - -5.947. Which is bigger: -11 or x?
x
Let b be 24/(-4) - (3088/(-440) + 1). Is b less than 1?
True
Let u = 3213.1 + -3213. Let n = -37 + 20. Which is greater: u or n?
u
Let g = 53 - 35. Let n = 18 + g. Let p = -20 + n. Which is greater: p or 0.1?
p
Suppose 0 = 3*d + 18 + 51. Let i(f) = -f**3 - 22*f**2 + 24*f + 31. Let a be i(d). Let w(q) = q**3 + 8. Let v be w(0). Is a at most as big as v?
True
Let a(v) = -v**3 - 8*v**2 - 6*v + 6. Let b be a(-7). Suppose 0 = -3*y - y - 132. Let i be (-55)/y*3/(-1). Is b less than i?
False
Let v be (-5)/25*-9 + 2/10. Suppose v = 2*b - 22. Is b less than 12?
False
Let a = 22.26 + -0.26. Let m = 19 - a. Let x be (1 + 0)*(-1)/2. Is x not equal to m?
True
Suppose 0 = 5*a + 25, a + 339 = -2*c - 280. Let n = 6445/21 + c. Let i = 92 - 93. Are n and i equal?
False
Let q be -2 - -3 - (-6)/2. Let z = -299 + 303. Are q and z equal?
True
Let x = 48 - 74. Let f = x - -37. Let u = f - 7. Is u not equal to 1?
True
Let q be -3 - -5 - (-4)/2. Suppose -2*r = -6*r - 5*u + 13, -q*r + 25 = u. Let t be (9 - r)/(-2 + 1). Are -4 and t nonequal?
True
Let y be (-24)/16 - (-334)/(-28). Which is bigger: y or -14?
y
Let a(u) = -8*u + 34. Let o be a(26). Let l be 2/(-6)*o/(0 - -2). Which is greater: l or 89/3?
89/3
Let u be 10/(-6) + 1 - -1. Let n be (18 + -10)/((-14)/346). Let p = n - -198. Is p at least u?
False
Let o = 8.398 - 1.398. Which is greater: 2/5 or o?
o
Let q = 230.81 + -232. Let v = q + 3.19. Which is smaller: v or -3.5?
-3.5
Let b = 2 - 2. Let z = -3651 + 3668. Which is smaller: b or z?
b
Suppose -14*x = -109 + 11. Which is greater: x or 10?
10
Let g(n) = -10*n**2 - 7*n**2 - 3*n**2 - 6*n**2. Let p be g(-2). Let s = p - -197/2. Is s less than or equal to -5?
True
Let u = 51 + -44. Suppose -6*z + 14 = 5*a - u*z, 3*z = -12. Let k(c) = c - 3. Let m be k(3). Do m and a have the same value?
False
Suppose 4*f = 6*f + 176. Which is greater: f or -175/2?
-175/2
Let u = -20 + 33. Let g = 13.315 - 0.115. Let o = u - g. Which is greater: 0.01 or o?
0.01
Let m be (-14)/2*2/(-7). Suppose p - 4*p = -12, 0 = -5*g - m*p + 88. Suppose -g = -3*l + 2. Is 6 at least l?
True
Suppose -3*a + 12 = o, 34*o - 30*o - 12 = -3*a. Which is bigger: a or 24/7?
a
Let o be (5/(-2 - -1))/(-1). Suppose o*z = 2*z + 9. Let b be 3/(-9)*z*-3. Which is smaller: b or 3/2?
3/2
Let n = -0.02 - 1.98. Let w(d) = -d - 6. Let s be w(-8). Suppose 6 = -s*v - v. Is n equal to v?
True
Let p = 1678 + -1678. Suppose -4*r = -y - 11, -5*r + 20 - 4 = -2*y. Let w be r - (-37)/(-12) - -1. Is w less than or equal to p?
True
Let j = -275 + 275. Which is bigger: j or -1/6?
j
Let h be (1 + 0)*(30 - 10). Let w be h/90 + 7/9. Suppose -4*z = -3 - w. Is z at least 4?
False
Let a = 29 + -27. Let k be 6 - 2 - 352/(-234). Let f = -44/9 + k. Which is greater: a or f?
a
Let s = -17.0035 + 0.0035. Let a = 322 - 304.7. Let l = a + s. Which is bigger: l or -2/7?
l
Let u be 20/(-1*1/15). Let s be ((-8)/u)/((-2)/10). Suppose 0 = -q - 5*k + 15 + 4, -q - 3*k = -11. Is s > q?
True
Let f = -964 - -964.33. Is f at least 1/23?
True
Let q = 3.829 + 0.071. Let g = 4 - q. Let n = -1.96 - 0.04. Is n > g?
False
Let x = -76649/1533 - -50. Which is smaller: x or 1?
x
Let w be (-10 - -12) + -1*1. Let i be (1 - (-2)/w)*6. Let a = 25 - i. Is 7 equal to a?
True
Let z(t) = -t**3 + 5*t**2 - t. Let f be z(5). Let x = -4 - f. Let i be -7*1/(-1) - x. Which is smaller: i or 5?
5
Let t(g) = 44*g - 3. Let f be t(2). Let j be (1 - 192/370) + (-34)/f. Does 1 = j?
False
Let p = -66 + -26. Let b = p + 93. Let z be (-147)/(-492) + 1/(-4). Is z less than or equal to b?
True
Let h = -97 - -313/3. Is 6 bigger than h?
False
Let i = -638 + 1946/3. Which is smaller: 0.1 or i?
0.1
Let h be (1 - (-165)/(-9))*(-1 - -4). Which is smaller: -51 or h?
h
Let c = -216959/57181755 - 2/72843. Is -1 != c?
True
Let j = 100 - 49. Let a = 50.8 - j. Is a at most as big as -5/6?
False
Suppose 83 = -4*u + 3*y - 4*y, 0 = 5*u - 5*y + 135. Are -25 and u unequal?
True
Let u(o) = 5*o**3 + 215*o**2 + 2*o + 28. Let a be u(-43). Is -66 at most a?
True
Let v be 9/1*2/(-3). Let t be (6 + -6)*6/(-30)*-5. Is t greater than or equal to v?
True
Suppose -3*o + 6*o = -519. Let b = 112 + o. Is -61 equal to b?
True
Let d = -21 - -22. Let s be d/3 - (-156)/18. Suppose -r = s + 3. Is r at least as big as -12?
True
Let u(f) = f**2 - 9*f - 8. Let v be u(10). Suppose 3 = -3*l + 3*s, 4 - 5 = 3*l - v*s. Let x = 151/798 - 3/133. Which is greater: x or l?
l
Let s be 7 + 3/(-1) - 1. Let q be s/(-5) + 14/20. Suppose 5*f - 2*r = -9, 2*f + 3*r = -f + 3. Is f less than q?
True
Let h be 6/12*(2 - -4). Is -49 greater than or equal to h?
False
Let n = 154 + -73. Let h be ((-6)/12)/(n/(-2)). Which is smaller: 0 or h?
0
Let d be 2/(-902)*1805 - (11 - 15). Which is smaller: d or 0?
d
Let j be (-5)/(-20) + (-33)/(-12). Suppose j*c - 4*t - 3 = 2, 2*c - 3*t - 4 = 0. Which is bigger: c or 3/22?
3/22
Suppose 34*r + 430 = -420. Which is smaller: -24 or r?
r
Let g = -8 + -3. Let h = -11724 - -11724. Which is smaller: g or h?
g
Suppose -242*u = -245*u - 156. Is u less than -51?
True
Let j = -545 - -554. Let o = 10 - 4. Is o less than or equal to j?
True
Suppose -4*p = 267 - 11. Let l = 94 + p. Let k = -27 + l. Is 19/5 < k?
Fal