or y?
d
Let c be (-784)/224 - 7/(-2). Do c and -3/2084 have different values?
True
Let k(d) = -188*d - 1127. Let a be k(-6). Is 5/178 not equal to a?
True
Suppose 2*t + 1648 = -40*q + 43*q, -2*q - t + 1101 = 0. Let f = q + -629. Are -78 and f equal?
False
Let l be 4/5 - 461622/290. Is l smaller than -1591?
False
Let x be (-2)/(0 + 2/(-4)). Suppose -3*q - 44 = 5*y, 4*q - 32 = 6*q + 4*y. Let a be q + x + (-23)/(-6). Which is smaller: a or 1?
a
Let z = -121563 - -486251/4. Let k be 2/3 + 302/(-3). Is z < k?
False
Let d = -36841 - -552418/15. Let c = d + 13. Which is smaller: c or -0.49?
-0.49
Let h = 15246 + -15398. Which is smaller: h or -191?
-191
Let s = -22.962 + -77.438. Which is smaller: -1 or s?
s
Suppose 20*y - 1 = 19*y, -d + 2925 = -y. Is d greater than or equal to 2927?
False
Let c = -125 + 1126/9. Let t = 0.43 - 0.427. Let y = -0.197 - t. Which is smaller: y or c?
y
Let b = -16 + 18. Suppose 4*f = 8*f + n + b, 4*f - n = -6. Which is greater: f or 70?
70
Suppose -4*d + 401 = q, 5*d - 3*q = 2*q + 470. Let m = -71 + d. Suppose t - m = -8. Is t < 20?
False
Let r(v) = v**3 - 32*v**2 - v - 51. Let h be r(32). Is -53 less than or equal to h?
False
Let q = 20983 + -524719/25. Which is greater: -5 or q?
-5
Let x(c) = c**3 + 9*c**2 - 4*c + 16. Let r be x(-9). Suppose -6 = 2*q - 70. Let o be -1*(-8)/(q/204). Is r not equal to o?
True
Let w(g) = 312*g + 837. Let p be w(-4). Is p != -405?
True
Suppose -5*w = -20, -4*m + 16 = w - 3*w. Suppose m*q - 148 = 2*q. Suppose q - 136 = -11*o. Is o > 5?
True
Let i be 4/14 + 306337/798. Let l = i + -1604/3. Let u = l + 448/3. Which is bigger: u or 0?
0
Let r(d) = 16*d + 121. Let s(z) = -16*z - 120. Let v(a) = -7*r(a) - 6*s(a). Let n be v(-8). Is 15/53 at least as big as n?
False
Let f(b) = 28*b + 139. Let q be f(-5). Is q >= -24/217?
False
Let x = -133849/5 - -26550. Which is smaller: -219 or x?
x
Let p be (2 - 0)*27/(-6). Suppose -5*q + 23 = g, -3*q = 2*g - 16 - 2. Suppose 0 = -q*t - 2*y + 4, 7*t - 4*y = 9*t - 2. Which is bigger: t or p?
t
Suppose 84*s - 83*s + 3*n = -83, -3*s = -4*n + 184. Suppose -5*g + 15 = 0, 111 = -2*x - 2*g - g. Let l = x - s. Are l and 49/6 unequal?
True
Let k(y) = -y**2 + 5*y + 4. Let u be k(3). Let z be (-6)/21 + (75050/9765 - -2). Let g = 8/279 + z. Is u smaller than g?
False
Let i(k) = -1727*k**2 - 9*k + 12. Let p be i(1). Are -1720 and p non-equal?
True
Let o = 618 + -616. Let u be o/(-3) + ((-8540)/12)/(-7). Which is smaller: 99 or u?
99
Let x = 10.03 + -0.03. Let j = 29 + x. Suppose -129*z + 264*z = 24*z. Is j bigger than z?
True
Let t = 110495 + -2542045/23. Which is smaller: t or -29?
-29
Let q = -5.837 - -0.497. Let y = q - 0.66. Let r = -115 - -103. Which is bigger: r or y?
y
Let n be (-8 + 3 + -22)/(-1). Let c = -76 - -53. Let b = c + n. Which is smaller: b or 10?
b
Let c be 5 + (1 + -3)*1. Let a be 8/32 - 1/((-4)/3). Let d be (-4)/(-6)*a/(7/c). Do 0.2 and d have different values?
True
Let c = -6954 + 76532/11. Which is greater: c or 8?
8
Let o = -4474 + 4465. Which is bigger: 18/11 or o?
18/11
Let g(m) = -3*m + 37. Let i be g(13). Let f be (5632/(-72))/11 - -4. Is i at least as big as f?
True
Let i = 345 + -341. Let z be -120 + (i - (-12)/(-3)). Is z smaller than -121?
False
Suppose -65*s + 5*u = -63*s - 1454, -4*s + 5*u = -2908. Which is bigger: s or 752?
752
Let z = -0.54 + -96.46. Let u = 5 + z. Which is greater: 2 or u?
2
Let l be (-2)/(-5) - 191238/570. Let r = 334 + l. Which is bigger: r or -1?
-1
Let d be (-1686454)/1165*(-5)/16. Does 452 = d?
False
Let l = 44 - 1098/25. Let d be (-6)/(-16)*(-17 + (-649)/(-33)). Is l smaller than d?
True
Suppose -299*q = -262*q - 37. Is 1048 greater than q?
True
Let h(j) be the first derivative of -j**4/4 - 14*j**3/3 - 7*j**2 - 14*j - 32. Let b be h(-13). Let a = -667/8292 + -2/691. Does a = b?
False
Let z(l) = -2*l**3 + 17*l**2 - 121*l + 24. Let k be z(13). Is k at most as big as -3068?
True
Let y be (5/(-40))/(126/168 - (-46)/(-104)). Are 1 and y non-equal?
True
Suppose k = -0*f + f - 31, -3*f = -5*k - 91. Let w = -53 + f. Let s = w - -20. Which is smaller: s or 4/23?
s
Let o = -47/30 - -317/210. Suppose 0 = 2*s + 5*k + 2 + 26, 12 = s - 4*k. Let p be (-9)/6 - 2/s. Is o equal to p?
False
Let h(z) = 6*z**2 + 67*z - 151. Let t be h(-44). Do t and 8519 have the same value?
False
Suppose -3*z + 0*z = 4*k - 9, 0 = -3*z + 2*k + 27. Let j be ((-8)/(-2))/(-2*(z - 8)). Let s be (-2 - (-5 - -1))*(-7)/j. Are s and -7 non-equal?
False
Let t(b) = -16*b - 1128. Let r be t(-34). Which is smaller: -582 or r?
r
Let y = 23 - 24. Let i be 1527/6984 - ((-2)/3 - y). Let u = i - 1/97. Is u at most as big as -1?
False
Let k = 61 - 61.752. Let g = 1.292 + k. Let p be 4/(-18) + 7/(-9). Which is bigger: g or p?
g
Suppose 4 = -30*t + 17 - 13. Is t greater than or equal to 20/933?
False
Let u(l) = -l + 7. Let m be u(6). Let s be 11 - ((-3072)/236 + 24). Is s at most as big as m?
True
Let n be (-8)/((0 + 30/35)/(9/(-14))). Is 344/59 less than n?
True
Let b(l) = 8 - 2*l - l**2 - 3*l - 3 - 4 + 0. Let y be b(-5). Which is smaller: y or 1/568?
1/568
Let r be (14/11417)/(17 + 1440/(-105)). Is -1 <= r?
True
Let j = 38.8 + -40. Let o = -1.6 - j. Let k = 0.0296 - -6.9704. Is k <= o?
False
Let x = 370907/327275670 - 2/121845. Is -1 equal to x?
False
Let c be (198/(-3)*1)/(-2). Let a be (-3 + 2)/1*34. Let j be (a/4)/(2/(-8)). Which is smaller: j or c?
c
Let c be (25/10)/((-3465)/396). Are c and 19979 non-equal?
True
Let r = 11702 - 32185. Is r < -20483?
False
Suppose 9 = -j - 4*f, -4*f - 12 = -4. Let g be j/716*-6*14/7. Which is smaller: g or 0?
0
Let b be -2*((-2130)/(-36))/(-5). Suppose 4*s = -4*z - 39 - 149, 0 = 4*z - 4. Let k = s + 72. Are k and b non-equal?
True
Suppose 927 = -13*b - 8*b + 822. Is 136 greater than or equal to b?
True
Let k(s) = -s**3 - s**2 - s. Let z(o) = -22*o**2 + 7*o - 17. Let m(v) = k(v) - z(v). Let n be m(21). Which is smaller: -150 or n?
n
Let q = 12.6 - 7.64. Let x = 3.008 + 1.992. Let f = q - x. Is f < 1/7?
True
Let p(k) be the second derivative of -8*k - k**2 + 0 - 1/6*k**3. Let u be p(-4). Which is smaller: 7/5 or u?
7/5
Let r(k) = -11*k - 10. Let m be r(-1). Let p be ((-4)/344)/(15/(-6)). Is m greater than p?
True
Let b be (-24 + 0)/((-10388)/(-518) - 20). Which is bigger: -448 or b?
b
Let j = -4460 + 4460. Is -4/2531 less than j?
True
Let t = -1.094 - 25.906. Which is greater: t or -85?
t
Let j = 293 + -184. Let v = j - 103. Are -0.07 and v non-equal?
True
Let a = -0.85 + 0.78. Let n be 3/7 + (-40)/70. Which is greater: a or n?
a
Suppose 3*m = 10 - 1. Suppose 5*b - 2*x = 5 + 3, 12 = -m*x. Suppose -4*g + 11*g - 217 = b. Does 31 = g?
True
Let x = 1819 - 2455. Is -636 at most as big as x?
True
Let j = 501 + -506.1. Let h = -11.5 - -7.4. Let f = j - h. Which is bigger: f or -5?
f
Let g = -177 - -145. Let m = -0.26 + -4.74. Let f = m + g. Is f less than 1/3?
True
Let d(u) = -u**3 + 57*u**2 - 573*u + 45. Let z be d(44). Which is bigger: z or 0.36?
z
Suppose 10*x - 805 = -1615 + 780. Let c(g) = 10*g + 1. Let m be c(1). Is x at least as big as m?
False
Suppose -25*j + 24*j = -2*n - 22, 2*n = 3*j - 14. Let y be (-30)/(-25) + 568/(-40). Do n and y have the same value?
True
Let r = 2330 - 2311. Is r less than or equal to -21?
False
Let v(z) = -z**3 - 23*z**2 + 108*z - 64. Let y be v(-27). Which is greater: -59 or y?
-59
Let b = 26589 - 4280813/161. Let w = b - -1/23. Which is smaller: -0.5 or w?
-0.5
Let p be (-3 - 107/(-22))/1. Let l = -365/187 + p. Is l at least as big as 1?
False
Suppose 64*s - 58*s - 36 = 0. Let l be (1/(s - -1))/((-900)/72). Is 0 smaller than l?
False
Let h = 240 - -146. Let q = 1719 + -1719. Do q and h have the same value?
False
Let x(b) = b + 59. Let i be x(-18). Suppose 36*y - 325 = i*y. Let p = -63 - y. Which is smaller: 7 or p?
p
Let t be -8 + 3 + 11 + 213/(-58). Are t and 2 non-equal?
True
Let x = 3449 + -3448. Which is greater: 16 or x?
16
Suppose -18 = 2*z - 28. Suppose -z*g + 1 = p - 36, 3*p - 41 = -5*g. Is g less than or equal to 11?
True
Let y = -31009/1012063 + 51/1651. Which is smaller: -1 or y?
-1
Let u(k) = 2*k**2 + k - 1. Let d be u(1). Let r be -3 + ((-7892)/56 - 24/42). Let s = r - -146. Which is greater: s or d?
d
Suppose -161 = 21*k - 44*k. Let d be k/(-3) - (-8)/6. Is -2/517 > d?
True
Let f = 430 + 