/(-91))/(a/(-14)). Are c and -10 unequal?
True
Let j = -1319 + 1323. Which is greater: 13 or j?
13
Let i be (-14)/(-49) - 26/(-7). Suppose 5*r - 4 = 6. Suppose 5*u - 3*n - 6 = 1, -r*u - i*n = 18. Which is smaller: u or 0?
u
Suppose -a - 7 = -3. Let d = 772 + -777. Which is bigger: d or a?
a
Let j be 3/4 + (-495)/36. Let f(y) = y**3 + 13*y**2 - 2*y - 18. Let d be f(j). Suppose -x = -d*x - 168. Which is smaller: -25 or x?
-25
Let d be -16*(117/45)/13. Suppose -x + 3 - 1 = 0. Suppose -3*z - 14 = -x. Is z smaller than d?
True
Let c be 22/(4/1 + -8 + 5). Does -2 = c?
False
Let y(w) = -2*w**2 - 21*w - 13. Let c be y(-10). Let t be (-57)/c + 3*1/(-1). Is t >= 16?
True
Let x = -33 + 42. Let w be 48/(-30) - x/(-15). Which is smaller: w or 1/7?
w
Let v be 5/88 - (-68)/(-374). Let h = -12 + 18. Let d be 42/120 - h/8. Which is smaller: d or v?
d
Suppose 0 = 2*c + 1 + 11. Suppose -17*a = -8*a + 153. Which is greater: c or a?
c
Let u = -14 + 16. Let j be (-198)/(-105) + 2/(-7). Let i = j - 34/15. Is u > i?
True
Let k = 983/12 - 23089/276. Is -3 greater than or equal to k?
False
Let w = 2 + 0. Suppose w*t = -5*o + 26, 5 = o - 4*t - 9. Suppose 2*a - 2 = 0, 15 = 4*c - 5*a - 4. Are o and c non-equal?
False
Let d = -14 - -14. Let f = d - 0. Which is bigger: 1 or f?
1
Suppose -29*c = -5*c - 3792. Which is bigger: c or 159?
159
Let q = 16 + -3. Suppose -5*r - 4*y = -48, -21 + 63 = 4*r + 2*y. Is r bigger than q?
False
Let t = 350 - -58. Is -0.1 greater than t?
False
Let f = -166 - -167. Which is bigger: f or 456?
456
Let z = 146221/12 - 12185. Let p = -6 + 4. Let d be (p/(-2) - 0)/1. Which is smaller: d or z?
z
Let d(w) = -w - 1. Let g be d(0). Let c = -1589.9 - -1590. Which is smaller: g or c?
g
Let g be 22/(-88) + (273/36)/(-13). Is g <= 29?
True
Let k be (-60)/(5 + 13/(-2)). Let p = 10 + -9. Is p equal to k?
False
Let d be 48/70 - (38/(-14) + 3). Let x = 18/17 + -161/136. Which is greater: x or d?
d
Let b be (-1 - -6) + 2 + -1. Suppose -3*d = 2*d - 20, 4*r - d = 0. Let p be 2/1 + 4/r. Is p >= b?
True
Let x be ((-1)/3)/(72/37584). Is x less than -167?
True
Let m be -1 + (-9)/(-4) + 157428/(-144). Is m at most 0.1?
True
Let g = -0.33 + 0.3. Let f = 51 - 51.03. Let j = g - f. Is j < -2/3?
False
Let a(h) = h**3 + 5*h**2 + 6*h - 4. Let g(u) = -u**3 - 5*u**2 - 7*u + 4. Let f(n) = 6*a(n) + 5*g(n). Let l be f(-5). Let q = -21 - -21. Is q smaller than l?
False
Suppose -2*o = -83*o - 56700. Is o less than or equal to -700?
True
Let p(m) = 2*m - 2. Let x be p(3). Suppose 2 = -x*h - 2*t - 0, -2*t - 2 = 0. Suppose y = 490 - 485. Is h less than y?
True
Let h(d) = -d**3 - 19*d**2 - 34*d + 16. Let f be h(-17). Which is bigger: 21 or f?
21
Suppose -2*d + 19 = -5*l, -4*d + 0*l + 98 = 2*l. Suppose -11*z - d = -10*z. Let q be (-6)/39 + z/26. Which is bigger: q or -2/15?
-2/15
Suppose 0 = -2*k - 4*m - 26, -5*m = 3*k - 0*k + 35. Suppose l = -3*u - 21, 1 = -2*u - 9. Which is smaller: l or k?
l
Suppose 80 = -18*u - 2*u. Which is smaller: -25/8 or u?
u
Let k(h) = -h**3 + 2*h**2 + h - 2. Suppose 7*o = 5*o + 4. Let m be k(o). Is 7/5 smaller than m?
False
Let m = -542/15 - -106/3. Let k be 1/(-1) + 15 + 0. Suppose 2*q - k = 5*b - q, 5*q = -b + 14. Is b at least as big as m?
False
Let m = 369 + -370. Let g be (-2)/(-6) - 10/12. Which is smaller: m or g?
m
Let s = 12 - 34. Let b = s - -25. Let w = b - 2.9. Is w > -18?
True
Let z be ((-10)/(-18) - (-18)/(-81))*1. Which is bigger: -26 or z?
z
Let f be (6/9)/((-6)/(-45)). Suppose r = 1, f*z - 2*r - r - 217 = 0. Is z smaller than 44?
False
Let c = -180 + 41. Which is bigger: c or -138?
-138
Let z be (-18190)/2598 + -48 + 55. Is -1 bigger than z?
False
Suppose 4*h - 29 - 47 = 0. Suppose 5*y = -t + h, -t - 4*t + 37 = -4*y. Is t >= 9?
True
Suppose -3*s + 4*q - 1 = 0, -5*s - 2*q - 2 = -9*s. Let c be (-4)/18 - (-260)/198. Is s bigger than c?
False
Suppose 2*v + 3*u - 255 = 34, -4*u + 719 = 5*v. Suppose m + 3*m + 3*f + v = 0, 4*f = 5*m + 140. Let q = m + 30. Which is bigger: -4/7 or q?
-4/7
Let i be 4/(-26) - 195/(-169). Let u be -3*i*(-10)/(-30) - 0. Is -5/4 <= u?
True
Let h = 113/3 + -38. Let s = 13/21 + h. Is 2 equal to s?
False
Let p(l) = 0 + l + 6*l + 5 - 6*l. Let q be p(-5). Which is greater: 11 or q?
11
Let b be (30/25)/(4/6). Let f be 4/7*(-63)/(-18). Let m be -3 + (f/(-2) - -5). Is m greater than or equal to b?
False
Let t(u) = -u**2 - 6*u - 9. Let i be t(-5). Let w be 6*(-2)/i + (-46)/(-1). Which is bigger: w or -2/3?
w
Let f be (1948/16)/(30/(-24) - -1). Are -487 and f nonequal?
False
Suppose 0 = 25*x - 47*x + 198. Is 25 < x?
False
Suppose 5*q = -4*a + 14, 12*q - 5 = a + 9*q. Let s = 149 - 3130/21. Is s at least as big as a?
False
Suppose -4*h + 4 = -h + 4*a, -2*a = -3*h - 20. Let x(r) be the second derivative of -r**4/12 - 5*r**3/6 - r**2 + 2*r - 43. Let l be x(h). Are l and 1 unequal?
True
Let r = 0.712 - 0.812. Which is smaller: r or -274?
-274
Let o = 599 + -595. Which is smaller: 32/7 or o?
o
Let s = 32 + -27. Let j be (1 - 1) + (s + -4)/102. Is -1 less than j?
True
Let s(b) = 4*b - 18. Let c be s(9). Let p(h) = -5*h - 6 - 2*h + h. Let z be p(-4). Is z < c?
False
Let g = 34 - 27. Suppose -3*m + z + g = 0, 3*m - 4*z - 3 = -7*z. Suppose 0 = 6*x - 5 - 25. Is m equal to x?
False
Let g be (0 - 1) + -2 + 5. Let c(w) = w**2 + 18*w - 18. Let y be c(-18). Let h be 39/36 + 6/y. Is g equal to h?
False
Let r be (204/(-85))/(44/(-10)). Which is greater: r or 0?
r
Let i be 33/(-20) + (-133)/(-95). Which is smaller: 185 or i?
i
Suppose 0 = -2*k - 4*k + 270. Suppose -k = 2*g + 3*g. Let q = 2 - g. Which is bigger: 13 or q?
13
Let i = 0.03 + 2.97. Let l = -16.056 + 16. Let q = l + 2.056. Are i and q non-equal?
True
Let z = -7 + 11. Suppose -2*b = z*l - 3*b, -5*b + 23 = 3*l. Let p be ((-3)/(-49))/((-9)/(-6)). Which is smaller: p or l?
p
Let c(p) = -22*p - 1. Let j be c(1). Let i = -4/191 - -22176/955. Let f = i + j. Is 0.2 greater than or equal to f?
True
Let x = -63.3 + 62.3. Which is bigger: x or -500?
x
Suppose 11*z = 16*z - 7580. Which is smaller: z or 1515?
1515
Let d = -41858/5 - -8368. Suppose 4*b - 19 = u, -1 + 11 = -2*u + b. Are d and u unequal?
True
Let r(l) = -13 + 12*l**2 + 4*l + 15*l + l**3 - 3 + 7. Let j be r(-10). Let w be ((-7)/(-6) - 1)/(-2). Is j greater than w?
True
Suppose 2*n = -3*t - 2*t + 223, -4*t = -n + 79. Let s = n + -110. Is s greater than 1?
False
Let i(s) = -2*s + 1. Let a be i(-1). Suppose 0 = -2*y + a*y. Suppose 1 = -5*b + 6. Do b and y have the same value?
False
Let r(n) = -19*n - 129. Let h be r(-13). Is 116 not equal to h?
True
Let w = 67/38 - 10729/6042. Let x = 559/6519 + w. Which is greater: x or 1?
1
Let n be -5 + 192/18 + (-2)/3. Suppose n*f = 2*f - 5*m + 34, 4*f - 64 = -2*m. Is f >= 16?
True
Let k be -13 + (-1 - -6) - 4. Let p = -4.4 + 0.4. Let c = 3 + p. Is c less than or equal to k?
False
Suppose -380*f + 370*f = -30. Which is greater: f or 4?
4
Suppose d + 6*d - 70 = 0. Suppose 0 = -3*u + 2*k + 2, -2*u - 2*k + d = u. Let a = 211/2 + -103. Is u <= a?
True
Suppose -3*u - 4*m = 635 - 114, 340 = -2*u + m. Let s = -2225/13 - u. Which is greater: 4/3 or s?
4/3
Let g(h) = h**2 + 16*h + 27. Let a be g(-12). Let m = 21 + a. Is m equal to 3?
False
Let x = -0.15 + -5.85. Let o = -4.11 - -10.04. Let d = x + o. Is d greater than or equal to -0.3?
True
Suppose w + 17 = -4*o + 93, 3*o = -2*w + 62. Let u be (o/(-27))/((-4)/6). Suppose -a = -0*a + u. Which is smaller: a or 1/4?
a
Let q be 1/(2/(-2)) + 3. Suppose -4*c = 5*j - 107, -4*j + j + 51 = -q*c. Let b = 35 - j. Which is greater: b or 14?
b
Let y = -734 - -734. Is y <= 126?
True
Suppose 35 = 7*w - 0*w. Let d(t) = 7 + t**3 + 37*t + 0*t**3 - 44*t - w*t**2. Let b be d(6). Which is greater: b or 5/4?
5/4
Let d = -1/409 + 2054/3681. Is d at most as big as 2?
True
Suppose -15*y + 20 = -25. Let a be -1 + (0 - 22/(-6)). Is a > y?
False
Suppose 34 = -4*w - 10. Let t = w - -17. Which is smaller: t or -1?
-1
Let q be 2/(-17) + 213663/219555. Let o = q - -1/615. Do 1 and o have different values?
True
Suppose 1 = p - 3. Suppose 0 = -3*x + p*z + 14, 3*z = 4*x + 2 - 16. Let f be 1 + -2 + 0/2. Which is smaller: x or f?
f
Let g = -0.32 + 0.4. Let c = -4.65 + 6.65. Is c > g?
True
Let d be (-1)/(-4) + 490/(-1640). Which is bigger: d or 1?
1
Let q(a) = a + 8. Let j be q(4). Let n = j + -