y(1). Let k be g - 1 - 4*(-2)/8. Are k and z non-equal?
True
Let k = -9 + 40. Let z be 86*15/3*3/42. Let t = z - k. Which is bigger: -5 or t?
t
Suppose -5*x + 222 = -3*h, 8*h + 130 = 3*x + 3*h. Suppose -2*q + 25 = -85. Let k = q - x. Is k greater than 10?
False
Let l = 10891 + -10540. Which is smaller: l or 2797/8?
2797/8
Let z = -66.688 - -67.2. Let y = 0.534 - z. Which is smaller: 0.2 or y?
y
Let w be (26/(-65))/(6 - 1). Let l be 3 + 116/(-28) - 5/(-35). Is w less than or equal to l?
False
Let i be 2/18 + 2/(-6). Suppose 87 = -6*u - 215 + 62. Is i greater than u?
True
Let y be -1*7*(-60)/14. Let o be (4490/(-1796))/((-516)/(-177) - 3). Which is bigger: o or y?
y
Let u = 3 + 0. Suppose -u = -y + 5*l + 14, 4*l = 5*y - 64. Is y at most as big as 12?
True
Let f be (-2 + 40/25)/721. Let d = f - 72819/3605. Which is smaller: d or -20?
d
Let b(r) = r**2 - 40*r - 362. Let u be b(51). Does 200 = u?
False
Suppose -2*s + 15*s = -1833. Let u(b) = 5*b**3 - 2*b**2 - 12*b - 24. Let n be u(-3). Is n at least as big as s?
True
Let s = -1/48177 + 91049/2312496. Which is bigger: 1 or s?
1
Let u = 13 + -59/5. Suppose 9*g + 7 = 34. Suppose g*d - 37 = -34. Is d <= u?
True
Let w = -15/656 + 5963/318160. Let d be (-14 - (-28)/4)*1/7. Does w = d?
False
Suppose -14040 = -1187*j + 1189*j + 2*f, -2*j + 3*f - 14080 = 0. Is -7028 > j?
False
Let q = 1.49 - 1.39. Is 1/3123 greater than q?
False
Suppose -11*q + 156 = -5*q. Suppose -9*k + 8*k = -q. Which is smaller: k or 24?
24
Let a(i) = -16*i - 24. Let t be a(-3). Let f be (2 + t/(-9))*(-6)/52. Which is smaller: 0 or f?
0
Let j = 9587952/823 - 11650. Which is smaller: j or -2/9?
-2/9
Let t = 3/704 + -47/704. Which is bigger: t or -2?
t
Let p = -4.18 - 220.82. Let a = -36.74 - -36.64. Are a and p nonequal?
True
Let c = 621268/3527251 + -12/38761. Suppose -s - s = -2. Which is greater: s or c?
s
Let y = -12/6353 - -623158/298591. Is y > 2?
True
Let v = -1017 + 682. Let i = v - -333. Do -0.86 and i have the same value?
False
Let c(j) = -20*j - 238. Let z be c(-12). Suppose -4*q = -4*s - 136, 56 + 8 = 2*q + z*s. Which is bigger: q or -0.5?
q
Let j be 105/(-33) - -3 - (-964)/1188. Let k = 673/1026 - j. Is k greater than -2/3?
True
Suppose -691*c + 696*c - 35 = 5*w, -2*w + 4*c - 18 = 0. Is 6/913 < w?
False
Suppose 12 = -3*s - 4*d, s = 951*d - 955*d + 4. Let r(q) = q**3 + q**2 - q. Let h be r(0). Which is smaller: h or s?
s
Suppose -498 = 2*j - 8*j. Suppose -5*c - 2*u + 435 = 0, 5*u - 156 = -c - 46. Is j greater than c?
False
Let g = 10266 + -11340. Which is bigger: g or 5?
5
Let b(y) = 6*y**2 - 4*y + 117. Let d be b(-9). Which is smaller: d or 638?
638
Let b be (5/2 + -3)*-2. Let a = -9 - -19. Let y be (-62)/(-20) + a/(-100). Which is greater: y or b?
y
Let p = 83293293/146 + -570502. Let x be 0 + 0 + -1 + 1. Is x at most as big as p?
True
Let l be (-80)/(-8)*(-1 + -8). Let b be ((-3)/(-15) - 42/l)*3. Which is greater: 8/15 or b?
b
Suppose -5 = -32486*y + 32491*y. Is 39/251 >= y?
True
Let o = 1193/2 - 510. Let u(k) = -3*k + 51. Let r be u(-12). Let s = o - r. Is s at least 1/10?
False
Let u be (-8)/(-6)*10/((-10)/(-3)). Suppose -k = -0*k + u*v + 44, -v = -2*k - 70. Let t = k - -37. Which is bigger: -1/6 or t?
t
Let f = 0.226 - -0.174. Let x = -322.7 - -326. Which is smaller: x or f?
f
Let s(b) = -b - 4. Let m be 1 - 3 - 0/(5 + -2). Let f be s(m). Let i be 26/(-16) + (-3)/(-24). Is i at most f?
False
Let b = -3/18011 - -7150469/612374. Is b at most as big as 12?
True
Let j = 14149 + -14148.3. Which is greater: j or 642?
642
Let c(r) = 23*r**2 + 27*r + 133. Let b be c(-11). Is b bigger than 2619?
False
Suppose 26*v - 38 = 7*v. Suppose 3*y + v*l = -383, 5*y + 464 + 176 = -3*l. Is y >= -130?
False
Let c = -5131/2 - -705513/275. Are 9 and c nonequal?
True
Suppose -3*i - 86 = -5*d, -5*i - 3 - 91 = 4*d. Which is smaller: i or 58?
i
Let r be -2*(-4 - (-2 - 0)). Suppose -r*d - 4892 = 5*a, 2*a - 3646 = 2*d + d. Let n = d + 6062/5. Does n = -6?
False
Suppose 112 = 31*g - 16*g - 413. Which is smaller: -6 or g?
-6
Suppose -4*c = i + 8, i = 6*i - c - 2. Suppose 15 = -54*m + 59*m. Let f be ((-4)/(-3970))/(m - (-16)/(-5)). Do f and i have the same value?
False
Let q = 33.9 + -23.7. Let o = q - 10. Let u = 45 + -11. Which is greater: o or u?
u
Suppose -8 = -w + 4*q, 18*w + q + 2 = 17*w. Is -2/6289 greater than w?
False
Let r be -18*(306/12 - -18). Which is bigger: -782 or r?
-782
Let r = -10279 + 1850219/180. Which is greater: r or -3/4?
r
Let n = -10723 - -7806339/728. Which is smaller: n or 0?
n
Let b = 2 - 1. Let l be 168/936*((-162)/126 + 9). Which is smaller: l or b?
b
Let p(u) = -3*u + 6. Let i = -21 + 24. Let c be p(i). Let d be 2/(-21)*(-54)/c. Is d bigger than -3?
True
Let q(r) = -r - r**2 + 7 + 2 - 1 - 11*r. Let h be q(-12). Let a(y) = -y**3 + 7*y**2 + 9*y - 8. Let n be a(h). Are n and -2/33 equal?
False
Let q be (4 + 280/(-6))*3510/36. Is -4162 greater than q?
False
Let v = 26 - 14. Suppose v*n = 7*n + 660. Is n at least 132?
True
Let s(q) = -149*q - 159. Let v be s(-1). Which is greater: v or -470/51?
-470/51
Suppose 0 = 3*u + 41*u - 836. Suppose -2*z - u*b + 24*b - 263 = 0, -5*z = b + 671. Does z = -0.1?
False
Let w = 148162 + -7852171/53. Is 9 not equal to w?
True
Let w = -524 + 334. Let j = -190 - w. Which is smaller: -11/10 or j?
-11/10
Let i = -95/124 + 10933/14756. Is i less than or equal to 1/94?
True
Suppose -4*m = 5*s - 1126 + 175, 4*m = -3*s + 945. Let f be (-32)/(-272) + m/34. Which is bigger: f or -3?
f
Suppose 40*o + 239 - 1239 = 0. Is o greater than 9?
True
Suppose 19*p + 74*p + 129*p = -42846. Which is smaller: p or -194?
-194
Let i = -2972 + 3631. Is i at least 659?
True
Let f be 2/1 - 140/(-5). Let p = f + -22. Let m be 4 + 4*(-4)/p. Is 10/11 greater than or equal to m?
False
Suppose -32 = -22*r + 20*r - t, 5*r - 74 = -t. Are 14 and r non-equal?
False
Let q = -4079/17864 - -75/616. Do 1 and q have different values?
True
Let a = 204.234 - 0.234. Let l = 204.1 - a. Let n = -187/2625 + -3/125. Which is smaller: n or l?
n
Suppose -2*z + 4*d = -5482, z + 3*d = 975 + 1766. Is 2741 equal to z?
True
Let c be (3 + -1)*1/7. Suppose 44*j - 60*j - 64 = 0. Let d be j - (144/(-40) - 1). Which is greater: d or c?
d
Let p = -1717 + 1645. Is p < -54?
True
Let t(m) = 27*m - 5*m + 3*m**2 + 34 - 5*m. Let o(c) = 2*c**2 + 9*c + 17. Let l(a) = 5*o(a) - 3*t(a). Let s be l(8). Which is smaller: s or -2/15?
s
Let y = -213423/38 + 5616. Are 5 and y non-equal?
True
Let w(x) be the third derivative of 11*x**4/12 - 4*x**2 + 5. Let l be w(0). Which is smaller: l or 2/335?
l
Let r be ((-8)/(-3))/(-4) - 228/(-18). Let q = 1 - r. Let b be (-319)/q*(0 + -1). Which is smaller: -30 or b?
-30
Let x(w) = 11*w**2 - 33*w + 200. Let t(m) = 5*m**2 - 17*m + 99. Let q(y) = 9*t(y) - 4*x(y). Let z be q(6). Let i be (-1)/(-5*(1 - 0)). Is z equal to i?
False
Let u be 2/(-366)*39/13*92. Is -3 greater than u?
False
Let y = 1756 - 1666. Are 2/11 and y non-equal?
True
Let m be 1227/2*22/99. Let w = 136 - m. Let l = -2.9 - -3. Which is bigger: w or l?
l
Let n(a) = -6*a + 49. Let b be n(8). Let x be b*((-1)/(-2))/(20/(-640)). Which is bigger: -18 or x?
x
Suppose -3*x - 14 = j + 4*j, 3*j - x + 14 = 0. Let n be 0*(j/2 + 1). Which is greater: n or -3/10?
n
Let o(i) = -i**3 + 15*i**2 + 11*i + 35. Let y be o(11). Let t = y - 1564. Let n be -4 + 4/22 + (-3143)/t. Which is smaller: n or -3?
-3
Let p be (1196/(-1495))/(1348/(-10)). Which is smaller: -1 or p?
-1
Let f be 0/(-6) - (-3)/(-3)*27. Let q be ((-9)/f)/((2/(-15))/(-2)). Suppose -5*x + m = 15, 6 = -2*x + q*m - 2*m. Does x = 4?
False
Let q = -5544 + 5542. Which is smaller: q or -15?
-15
Suppose 5*g + 22*c = 17*c + 2180, 457 = g - 2*c. Is 447 less than g?
False
Let o = -1814 - -1813. Let y = 4393/109364 + -1/1439. Which is smaller: o or y?
o
Let t(m) be the third derivative of -m**6/120 + m**5/30 + m**4/24 + 5*m**3/3 + 13*m**2. Let p be t(3). Suppose 3*s - 14 - p = 0. Which is smaller: 8 or s?
s
Suppose 4*j - 35 - 25 = 0. Suppose u - 63 - j = g, 2*u + 10 = 0. Let y = g - -109. Do y and 26 have the same value?
True
Let w(m) = -4*m - 9. Suppose -2*t - 6 = -2*n, -2*t - 5*n = -3*t + 17. Let k be w(t). Suppose 54 = 3*v + 4*z, 10 = 2*v + 4*z - 22. Which is greater: v or k?
k
Let c(a) = a**2 + 6*a + 4. Let n be c(-5). Suppose