?
True
Let o = -5420 + 1566382/289. Are o and -2/3 non-equal?
True
Let z(t) = -2*t + 12. Let i = 13 - 8. Let b be z(i). Let v be (b/(-8))/((-46)/(-16)). Which is bigger: 0 or v?
0
Suppose 32*j = 21*j - 275. Do j and -25 have the same value?
True
Let o(c) = 6*c**3 - 4*c**2 + 4. Let v(r) = 9*r**3 - 6*r**2 + 6. Let l(a) = -7*o(a) + 5*v(a). Let b be l(-2). Is -30 greater than b?
False
Suppose 0 = -0*x + 5*x + 5. Let g(s) = -11*s**2 - s. Let z be g(x). Suppose -16*m = 98 + 62. Do m and z have the same value?
True
Suppose -5*n = -n + 324. Which is greater: -83 or n?
n
Let v = 771382/247 + -3123. Which is smaller: v or -1?
-1
Suppose 0 = -2*v - 4*l - 20, 55 = -5*v + 5*l + 5. Let w = 10 - 20. Do w and v have the same value?
True
Let l = 446 - 307. Is 0.1 greater than or equal to l?
False
Let c(k) be the second derivative of -k**3/6 + 2*k**2 - 69*k + 2. Let x = 5 - 3. Let h be c(x). Which is bigger: h or 6/5?
h
Let s(y) = y**3 + 7*y**2 + 6*y + 1. Let k be (-4)/(-10)*90/(-6). Let q be s(k). Let i be (-2)/q - (0 - 0). Is i at most -1?
True
Suppose 5*h = 0, -2*q = 3*q - h + 215. Let j = -74 - q. Which is bigger: 0 or j?
0
Let w be (1/45)/(2/3153). Let n = w + -69/2. Is n at most 0?
False
Suppose -3715*p + 3701*p = -182. Let s be 2/(-6)*17*-3. Which is smaller: s or p?
p
Let j = 31 + 0. Is 280/9 != j?
True
Suppose -4*c - 5*j = -31, 42*c + 5*j - 7 = 44*c. Let r = 1 + -1. Does r = c?
False
Let r = -139202/75 + 1856. Let g = -32/75 - r. Suppose 16*n = 15*n + 4*x - 1, -5 = 5*n + 5*x. Which is smaller: n or g?
n
Let a(m) = -7*m - 5. Let g be a(-2). Suppose o - 1 = -g. Let q = -4 - 4. Is o at least as big as q?
True
Let z = -87 + -1. Let s = -73 - z. Let j be 2/(-8) + (-2)/(-8). Which is greater: s or j?
s
Suppose -56 - 108 = -4*s. Suppose -u - 2*k - s = -2*u, -5*k = 25. Let c = 61/2 - u. Which is greater: 1 or c?
1
Let m be -1 + -1*(0 + -1). Let v be (14/(-22 + -6))/((-6)/4). Which is smaller: m or v?
m
Let v = -3.16 + -0.37. Let i = v + 3.4. Let u = 0.23 + i. Is u <= -1.5?
False
Let u(i) = -4*i**2 - 1. Let v be u(-1). Let w = -13 - v. Let s be (1 + 1)*w/4. Is -7/2 bigger than s?
True
Let w = -4 + 6. Is w < 3?
True
Let d = -644285162140349/67449573854313609 + -1/77153739783. Let g = 2/12313 + d. Are g and 0 equal?
False
Let b be 5*(-10 - (-480)/50)*-11. Suppose 0 = 3*k + 4*p - 12, 2*k - p = p - 6. Which is bigger: b or k?
b
Let t be (-32)/(-14) + (-40)/(-10). Let g = -2082/329 + t. Is -1 greater than g?
False
Let y(v) = v + 2 - 4*v + v + 3*v. Let s be y(-3). Let f be 33/9*s - -4. Which is smaller: f or -11/2?
-11/2
Suppose 5*q = 2*z + 3*z + 75, -z - 59 = -5*q. Suppose 4*l - m - 36 = 0, -3*l + 4*m - 45 = -8*l. Which is smaller: l or q?
l
Let r(m) = -m**3 - 6*m**2 - m. Let x be r(-6). Let s(f) = 2*f**3 - 11*f**2 - 4*f + 13. Let d be s(x). Which is smaller: 24 or d?
24
Let d be 21/5 - 4/20. Suppose -37 = -l + d*o, 4*o = -13 - 7. Suppose -l = -3*r + 5*c, 4*c = -13 - 3. Which is bigger: r or -11/6?
r
Let v be (-24)/360 + (-67624)/(-60). Which is bigger: 1128 or v?
1128
Let t be ((-27)/(-9585))/((-6)/(-80)). Is 0 greater than or equal to t?
False
Let m = -144 - -104. Is -2/9 at least m?
True
Let b be 155/1725 + ((-13)/(-15) - 1). Which is smaller: 0 or b?
b
Suppose 7*l = 1506 - 1499. Which is smaller: -2/2051 or l?
-2/2051
Let j be 18420/75 - 6/(-15). Are j and 1/2 unequal?
True
Let q = 406 + -400. Which is smaller: -1/3 or q?
-1/3
Let r = 1/3963 + 3586/1494051. Which is greater: r or 1?
1
Let q = 20 - 14. Let x(y) = -2*y**3 - 7*y**2 - 3*y + 5. Let n(p) = -p**3 + p - 1. Let v(l) = n(l) - x(l). Let a be v(-6). Is a greater than or equal to q?
True
Let x = 70 + -68. Suppose 0 = 5*h - 11 + 6. Which is smaller: x or h?
h
Suppose -4*t + 12 = -0. Let k = 51 + -35. Suppose -14 = 2*p + 4*y, k + 6 = -5*p + t*y. Which is smaller: -7 or p?
-7
Let t = 0 + 7. Let k(d) = -d**2 + 16*d + 4. Let j be k(16). Suppose j*w - 21 = w. Is t < w?
False
Suppose -l + 10 = -3*l. Let b be (2/4)/(l/(-20)). Suppose 0 = -b*y - 3*y + 45. Is 10 less than y?
False
Let h(m) be the third derivative of -m**4/12 + 73*m**3/6 + 21*m**2. Let f be h(0). Which is smaller: -1/4 or f?
-1/4
Suppose 32 = -4*t - 4*h, 32 = h + 35. Let a be 14/20 - 2/4. Which is greater: a or t?
a
Let a = 4214 - 2832. Which is smaller: 1381 or a?
1381
Let m(p) = -40*p + 476. Let f be m(12). Let d be (15/(-9))/((-1)/(-3)). Is d equal to f?
False
Let n be (-1146)/(-24) + 2/8. Suppose -18*s + 22*s - n = 0. Suppose -15*k + s*k = -60. Is 21 not equal to k?
True
Let s(b) = -4*b**2 + 14*b + 7. Let l be s(3). Which is greater: l or 5?
l
Let q = 17.7 - 105.7. Let h = 88.12 + q. Let d = 0.8 - -0.2. Is h bigger than d?
False
Let o be 38/2 - 15/15. Let t(b) = b + 18. Let g be t(o). Let s be (16/g)/4*8. Which is smaller: s or 2?
s
Let x = 78 - 122. Which is smaller: -36 or x?
x
Let y(r) = 5*r**2 - 2*r + 2. Let k be y(2). Let g be 4/(6 + 2)*k. Suppose -g*n - 18 = -11*n. Is 9 <= n?
True
Let v = 126615219813/8930 + -14178636. Let j = -1/190 - v. Suppose p + 2*p = 0. Which is greater: p or j?
p
Let q = 1/385 + 761/3465. Let j = 68/195 + 24883/780. Let v = 32 - j. Which is smaller: v or q?
v
Let x be (2/6 - 1)/((-26)/(-39)). Let d = 17 - 26. Which is smaller: d or x?
d
Let f be ((-4)/(-38))/(46/437). Do -2/1101 and f have the same value?
False
Suppose -5*n + 137 = -3*n + 3*y, 2*y + 122 = 2*n. Which is greater: 190/3 or n?
n
Let h = -0.26 - -0.16. Let m = -1 - h. Is m != 0?
True
Let t = 64655 + -172952123/2675. Is t at most 1?
True
Suppose i - 15 = 13. Suppose 2*k - 86 = -4*p, 0*k + 2*k = p - 24. Let o = p - i. Which is greater: o or -7?
o
Let i(q) = 8*q - 240. Let f be i(30). Which is greater: f or -7?
f
Suppose 5*f = 3*y + 2*f + 48, -81 = 5*y - 4*f. Is y equal to -9?
False
Let b(g) be the third derivative of -g**5/20 - 7*g**4/12 - 3*g**3/2 - g**2. Let d be b(-9). Let x = -1384/11 - d. Is -1 != x?
True
Let z be 14/(-42) + ((-2)/3 - -2). Suppose 2*n = -3*n + 55. Suppose -7*x + 8 = -n*x. Which is smaller: x or z?
x
Suppose 4*k + 12 = 0, 2*k + 12 = 10*o - 9*o. Are 14 and o non-equal?
True
Let o be 238/28 + 2/4. Let d = o - 12. Suppose v + v + 28 = -5*m, -m - 4*v = 20. Is m greater than or equal to d?
False
Let b be 3/(-7)*(-42)/63. Are b and 6/11 equal?
False
Let p = 0 + 0. Let n be (((-5)/(-24))/(-5))/((-352)/1248). Let g = 1/44 - n. Is p <= g?
False
Suppose -3*n = 31 - 1. Let y(t) = 4*t**2 + 44*t - 10. Let i be y(-11). Is n != i?
False
Let a = -1909 - -975500/511. Which is smaller: a or -1?
-1
Let r be 2 + 0 + (1 - 0). Suppose a + 3*q + 11 = 0, -6 - 3 = r*a + 3*q. Let c(d) = 4*d + 24. Let x be c(-6). Which is smaller: a or x?
x
Let s = -10.1 + 10. Let k = 5.17 + -5. Let d = k - 0.07. Does d = s?
False
Suppose -j + 2 = -2*a, -2*a + 7*a = 2*j - 4. Let k = 5/56 + 2/7. Is k at most a?
False
Let l(c) = -2*c - 3. Let v be l(-7). Let z = -8 + v. Suppose z*i = 6*i - 6. Are i and 3 nonequal?
True
Let t be (-284)/355 + 1/(-5). Let b be (-3)/((-729)/483) + -2. Are b and t nonequal?
True
Let p(k) = -k - 2. Let l be p(-6). Let d = 1 - -3. Suppose d*j - 9 = -a + 12, -j - 5*a + 10 = 0. Which is smaller: j or l?
l
Let i = -5 - -10. Let y(d) = d**3 + 4*d**2 - 2. Let r be y(-3). Suppose -6*q - 3 = -r*q. Which is smaller: i or q?
q
Let y = -76.2 - -76. Let i = y - -0.2. Which is smaller: -14 or i?
-14
Suppose -5*j + 176 = -3*p, -3*j - 1 - 5 = 0. Which is bigger: p or -61?
-61
Let h(g) = -10*g + 23. Let q be h(-10). Let s = 68 - q. Let k = -551/10 - s. Is k != 2?
True
Let y = -9 - -7. Let g(o) = 25*o. Let w be g(y). Let s be 15/(-8)*20/w. Is 0 at least as big as s?
False
Suppose -2*q + 5*f = 0, 0 = 2*q - 6*q + 3*f. Let d be (96/50)/((-3)/90). Let g = -58 - d. Which is smaller: q or g?
g
Let a = 3 + -3. Let q(p) = 7*p + 1. Let j be q(1). Let b be (-2)/j - (-9)/324. Which is bigger: a or b?
a
Let j(d) = -4*d**3 - 3*d**2 - 7*d + 8. Let m be j(4). Let c be ((-44068)/(-102))/(16/(-12)). Let g = c - m. Is -1 greater than or equal to g?
False
Suppose -7*a - 335 = 484. Which is greater: -110 or a?
-110
Suppose -5*f - 2 - 3 = 0. Let t = -7 - -7. Suppose r - 2*r + 18 = t. Which is bigger: r or f?
r
Let r = 3863/6 - 7625/42. Let v = 464 - r. Is v < -1?
False
Let k = 691 - 713. Is k smaller than 1?
True
Let c = 0.118 + -0.168. Is c > 1/5?
False
Suppose -2 = -7*g + 5. Let q be ((