 nonequal?
True
Let o(y) = y**3 + 16*y**2 + 36*y + 1. Let i be o(-12). Which is smaller: i or 147?
i
Let f = -1 - 3. Let w be (-1 - f)*(-3 - 0). Let b be (2/6)/(w/27). Is -2 greater than b?
False
Let s(c) = -c**3 + 10*c**2 - 11*c + 3. Let d be s(9). Let o = -16 - d. Is o bigger than 2?
False
Let n be (-20)/22 + (-16)/176. Let d be 1/3 - 17/60. Is d at least n?
True
Let c = -3019 - -21075/7. Do c and -6 have different values?
True
Let a(s) = s**3 + 10*s**2 - 13*s - 5. Let w be a(-11). Suppose -r - r - w = -5*j, 2*r = -j + 1. Let i(b) = -2*b**3 + 3*b**2. Let h be i(2). Is h equal to r?
False
Let z = 989 + -798. Is z less than 191?
False
Let k = 23 - 33. Let w be 4/k + 4/10. Let f = 3437/4 - 858. Is f <= w?
False
Let i = -31 - -1. Let z = -3 - i. Let j = -28 + z. Is j equal to 0.04?
False
Let x be ((-32)/(-680))/(1/((-10)/28)). Let k be 2/4 - 1/2. Which is bigger: x or k?
k
Let m(z) = 4*z + 6. Let s be m(-5). Let q = -1.027 - -0.027. Which is bigger: q or s?
q
Suppose 5*s + 2*y = 10, 0 = 2*s + 5*y - y - 20. Suppose -3*u + 9 + 0 = s. Does u = -1?
False
Suppose -h - 3*y = -1 + 32, -h - 3 = -4*y. Is h less than -77/4?
False
Let x = 20 - 13. Suppose 15*f = 20*f - 40. Let s = f - 4. Which is bigger: x or s?
x
Let c(l) = 0 + 4*l + 2*l**2 - l - 2 - l. Let d be c(-2). Suppose 5*r = t - 6, -d*r + 0*r + 2*t = 4. Which is bigger: 0 or r?
0
Let p be 2/(-4)*(5 - -5). Suppose -2*o + 31 = -5*m - 13, -3*m + 3*o - 30 = 0. Does p = m?
False
Suppose 7*y = 11*y - 20. Let z be (y/30)/(1/2). Let w = -52 - -54. Are w and z equal?
False
Let l(y) = -6*y + 10. Let x be l(4). Let w be 4*11*x/(-56). Let m be ((-2)/8)/(w/(-44)). Is m not equal to 1/3?
True
Let k(q) = 14*q + 7 - 4*q**2 + 5*q**2 + 10. Let o be k(-13). Let f = -4 + o. Which is greater: f or 3?
3
Suppose 31*p + 8 = 33*p. Suppose -4*q + 46 = 3*x, -p*x = 2*q - 7*q - 51. Which is smaller: 12 or x?
12
Let a(y) = -y**3 + 24*y**2 - 44*y - 11. Let s be a(22). Are -11 and s nonequal?
False
Suppose 10*v - 130 = -30. Which is bigger: v or 47?
47
Let l = 19/24 - 13/24. Let y(t) = -t**3 + 1. Let d be y(1). Which is bigger: l or d?
l
Let u = -0.08 - -0.2. Let r = -13.3 - -8.4. Let f = r + 5.9. Are u and f equal?
False
Let i = 11 + -11. Let u be (-60)/(-18)*(i - 24/(-15)). Are u and 6 unequal?
True
Let q be (219/(-2))/((-453)/(-302)). Is -72 greater than or equal to q?
True
Suppose 2*g - 2 = -2*k, 2*k - g = g + 10. Let h be (k/5)/(9/(-6)). Let p = 52.1 - 51.1. Is p at least as big as h?
True
Let l be 2 + 1*(-33)/18. Let g = 1/135 + -823/1755. Let h = g - -43/65. Is h < l?
False
Suppose 3*p = -2*l - 8, 3*l + 7 + 0 = -2*p. Which is bigger: -7/5 or p?
-7/5
Let q = 783 - 888. Which is bigger: q or 4?
4
Let l be (-101652)/(-177590) + 4/(-7). Is 1 bigger than l?
True
Suppose 4*c + f - 81 = -10, 3*c = f + 55. Let q = 276 + -288. Let i be (-144)/q + (7 - 1). Do i and c have the same value?
True
Let l be 3/(253/46*3/11). Which is greater: 53.6 or l?
53.6
Let h be (-3)/5 - ((-408)/40)/17. Is -7/125 smaller than h?
True
Let a be (-394)/(-14) - 90/(-105). Is 29 != a?
False
Suppose 41 = 86*t - 217. Let n = 1.3 + 3.7. Is n < t?
False
Let m be (1/(-2))/(37/(-18) - -2). Suppose 0 = 2*r + m + 85. Is -48 at most as big as r?
True
Let p = 0.026 + -0.026. Let z = 25.016 + -0.016. Let f = z + -12. Which is bigger: p or f?
f
Let p be (5/2*(-13)/65)/26. Is p greater than or equal to 0?
False
Suppose -o = 4*i + 16 + 21, 2*o - 6 = 0. Let b = 13 - i. Which is smaller: 22 or b?
22
Suppose -2*t - 21 = -5*n, 3*t + t = -12. Which is greater: 37 or n?
37
Let z = 3.1 - 3. Which is greater: z or -5/63?
z
Let v be 618*((-209)/285 + 4/10). Which is smaller: v or -208?
-208
Let h(o) = o**3 - 9*o**2 + 2*o - 6. Let n be h(9). Suppose 2*y = 8 - n. Let v = 13 + -14. Are v and y nonequal?
True
Let g = 409.9 + -410. Which is greater: 1147 or g?
1147
Suppose 206 = 28*b + 1746. Is -58 > b?
False
Suppose 5*n + b = -0*n - 38, -n = b + 10. Let x be (n/(-14))/((-14)/8). Let w = -2/403 - 792/2821. Is w < x?
False
Let c be (-12)/(-15) - (-4)/20. Suppose -4*f + 2*f + 6 = 0. Suppose 0 = -2*h - k + 14, f*k + 12 = 6*k. Are h and c unequal?
True
Let f be (-1392)/27 + 10/(-45). Let d = f + 52. Which is smaller: 1 or d?
d
Suppose 2*w - 1815 = -3*w. Let t = w - 2537/7. Is t greater than or equal to 1?
False
Let h be 507/(-26)*6/9*-4. Which is greater: 41 or h?
h
Suppose 29*a - 19*a = 590. Is a smaller than 58?
False
Let w(p) = -p + 5. Let r be w(-5). Let y be ((-18)/r)/(-3) + 0. Let z = 580 - 580. Is y less than z?
False
Suppose -332 = l + 3*v, 3*l + 175 = -3*v - 809. Let u = l + 10756/33. Let o be 0 - 2/(-4)*-2. Which is smaller: u or o?
o
Let m be 131 - ((1 - 2)*-1)/(-1). Suppose 0 = 3*i + 3*l - m, -3*i + i - 5*l = -100. Which is greater: 39 or i?
i
Let b = -63 - -72.3. Which is greater: b or -2?
b
Let t be (215/(-25))/((-4)/5). Let b be (879/10)/((-126)/(-15)). Let c = t - b. Is 2/25 greater than or equal to c?
False
Let l(x) = -x - 3. Let w be l(0). Let q be 0 - 1 - (-10 - -5). Suppose -7*a + 5*a - 32 = 5*m, m = -q. Is w bigger than a?
True
Let z = 654 - 653.6. Is 0.2 at least z?
False
Let z(m) = 2*m + 37. Suppose 181 = -13*d - 14. Let a be z(d). Is a != -3?
True
Let d = 848.411 + -849. Which is greater: 1 or d?
1
Let s = 276 + -275. Which is bigger: s or 1/28?
s
Let t = 914 - 903. Which is smaller: 1.1 or t?
1.1
Let w be (-35)/(-3) + 4/(-6). Suppose 22*c - 110 - 110 = 0. Which is smaller: c or w?
c
Suppose 5*q - 2 = -p - 7, p + 5 = 0. Let t = 10 + -10.01. Are q and t nonequal?
True
Let t be 5265/3575 + 1 + -2. Which is smaller: t or 0?
0
Let r(d) = -72*d - 21. Let z be r(-6). Let x be (-39)/104 + z/8. Do 51 and x have the same value?
True
Suppose 22 = 7*s + 1. Suppose -7*x = -s*x + 4. Are 2/163 and x unequal?
True
Let h be (-2)/(-19) + 4914/(-13832). Let a be (-25)/14 - 4/(-14). Is h > a?
True
Let k(x) = 2*x**2 - 4*x. Let n(i) = 2*i**2 - 3*i. Let l(t) = 2*k(t) - 3*n(t). Suppose -26*j + 21*j = 0. Let p be l(j). Are -2 and p non-equal?
True
Let t = 0.1 + -0.24. Let p = t - -0.14. Is p at least as big as 0.12?
False
Let g = -474 + 468. Is 10 less than or equal to g?
False
Let h = 410 - 223. Which is bigger: h or 188?
188
Let m = 194.78 + -193. Let r = m - 1.9. Is 1 greater than or equal to r?
True
Let x = -422.9 + 447. Let k = 15.2 - -8.8. Let y = k - x. Is -5/4 equal to y?
False
Suppose -i - 1 + 4 = 0. Suppose -33 = -i*b + 75. Which is bigger: 35 or b?
b
Let u = -59 + 44. Are 2/3 and u equal?
False
Let d be 6/(6/(-8)*(10 + -11)). Suppose -5 = 5*h - 5*y, 8*y - d = 4*y. Does -2/45 = h?
False
Suppose -22*n = 35 + 119. Is n bigger than -46/7?
False
Let z = 10 + -7. Let a(g) = 16*g - 1. Let i be a(2). Let r = -30 + i. Is z at most r?
False
Let d(r) = -r**2 + r + 2. Let g be d(0). Suppose m + g = 5*t, 5*t - 12 = -3*m + 22. Let q be 12*(8/9 - (-6)/(-27)). Is q less than m?
False
Suppose -3*l = -4*l + 19. Let s = -7 - -28. Is l != s?
True
Let w = -0.06 - 1.94. Let o = -75.2 - -76.2. Is o less than w?
False
Let q = -52 + 76. Let u = 23 - q. Is u at least 2/25?
False
Let h be -6 + (-1 - (-764)/109). Is 1 at least as big as h?
True
Let o be (3 + 1 - 2) + 2. Let n(d) = -d**2 + 4*d + 2. Let x be n(o). Let g be 4/(-48)*x*-3. Are g and 0 nonequal?
True
Let o = 471 - 472. Which is greater: 11/46 or o?
11/46
Let t be 21/3*4/4. Suppose -c - t = -3*h + h, -5*c = -3*h. Let q be (14/(-21))/(4/c). Which is smaller: q or 4?
q
Suppose 12 = -3*i - 9. Let t(a) = -a**2 - 23*a - 133. Let m be t(-14). Is i less than or equal to m?
True
Suppose -338 - 122 = -10*n. Are n and 46 unequal?
False
Suppose 7 = -179*z + 186*z. Which is greater: z or -2/9?
z
Let m = 13307/18 + -738. Let d = m + -7/9. Is d != -2?
True
Let z(b) = -24*b - 3*b - 47 - 81 + 92. Let l be z(-4). Is 73 != l?
True
Let a be (0 - 1/3) + 5. Suppose -5 + 17 = 3*x. Suppose 0 = -f + 4*r + 7 + 1, -19 = -x*f + 3*r. Does f = a?
False
Let t be ((2/(-88))/1)/(1356/(-96)). Which is smaller: 0 or t?
0
Let f = 136 + -167. Are -33 and f nonequal?
True
Suppose 18*l = 17*l + 16. Does 16 = l?
True
Let p = 306.06 - 305.9. Which is bigger: 0.059 or p?
p
Let r = -15.8 + 22.8. Let g = -6 + 4. Let x be (2/(-5))/(g/(-10)). Which is bigger: r or x?
r
Let y = 2 - 7. Let b = -8 - y. Let o be 3/(63/(-57)) - b. Is o at least as big as 5?
False
Suppose 15*n - 20*n = -2