+ 384. Suppose p*a = 2*s - s, 5*a + 4*s = 0. Let z = 11/468 - 2/39. Is z equal to a?
False
Let x = 1505.3 + -1506.3. Is x >= -1954?
True
Let y = -238079/145 - -3588/29. Which is bigger: -1518 or y?
-1518
Let o be (-6471)/114*83288024/(-3438330). Let a = o - 790/114611. Let x = 1375 - a. Which is smaller: x or -1?
-1
Suppose 3*r = -3*i - 6, -2*i + 4*r = 2*i - 8. Let d = 264/377 - 52/87. Which is greater: d or i?
d
Let n = -384 + 395. Let c(l) = 18*l + 14. Let b be c(n). Which is bigger: 213 or b?
213
Suppose -16*b + 6*b + 120 = 0. Suppose -2*v - 7*d - 4 = -6*d, 3*d + b = v. Does -2.3 = v?
False
Let g(z) = z**3 + 21*z**2 - 11*z + 81. Let u be g(-19). Let n = -1025 + u. Do -7 and n have the same value?
False
Let x(m) = m**3 - 5*m**2 + 4*m + 5. Let k be x(4). Let j be (3 - 8)*(-3)/k. Suppose 0 = -z + 2*b + 6, -5*b - 3 = -2*z + 9. Do j and z have the same value?
False
Suppose -w - 515 = -5*m, -28*m + 23*m - 2*w = -515. Are m and 0.1 non-equal?
True
Let w = 60.67 + -60.5. Is 6 greater than w?
True
Let k = 11806 + -14195. Which is smaller: k or -2388?
k
Let h(n) = 3*n + 399 - 154 - 144. Let b be h(-34). Which is bigger: b or -488?
b
Let k = 0.0171 - -0.2829. Let w = 17.99 - 17. Let a = w + 0.01. Which is greater: k or a?
a
Suppose 5*t - 2*v = -3*v + 1, 0 = -3*t + v - 1. Suppose 5*m - 14 - 21 = t. Is 13 <= m?
False
Let j = 7570 - 16612. Is 1 smaller than j?
False
Let w = 35605 - 4593014/129. Let g = w - 5300/2193. Is -2 at least as big as g?
True
Suppose -1462 = 9*i - 11938. Suppose 14*r - i = 26*r. Which is greater: -96 or r?
-96
Let c = -0.02187 - 3.97813. Which is smaller: c or 301?
c
Suppose 0 = 2*w - 4*d - 92, 0 = -4*w - w - 3*d + 230. Suppose 4*t = -z + 82 - 79, 0 = 4*z + t - 177. Which is smaller: w or z?
w
Suppose 9*g - 154 = 134. Let l = 2 + -8. Let s = l + 38. Is s at most g?
True
Let u = -27686 + 276859/10. Which is bigger: u or -289?
u
Let y(v) = -10*v**3 + 3*v**2 + 4*v - 1. Let d be y(-3). Suppose -4*t = -0*t - d. Let c = t - 43. Is 27 at least c?
False
Let w(g) = g**3 - 4*g**2 + g - 5. Let z be w(4). Let p be -1*2/(87 - z). Suppose 0 = -0*n + n. Which is smaller: n or p?
p
Let t = 811 + -920. Let r be ((-17199)/(-420))/((-9)/24). Which is smaller: r or t?
r
Let o(v) = -12*v - 22. Let p be o(-2). Let u be -2 + (p - 1322)*(-8)/5272. Is 0 not equal to u?
True
Let t = 151 - 154. Let w be 28 + -2 - (5 + -7). Let v = 19 - w. Which is greater: v or t?
t
Let l = -143 + 188. Suppose -8*i + 9*i = l. Which is bigger: 42 or i?
i
Let q = 1918.87 - 1919. Which is smaller: q or 8/39?
q
Let z be (-10)/4*224/140 + 3. Is z bigger than 1/356?
False
Let a be 3/9*15 - (-53)/(-3). Which is smaller: -12 or a?
a
Let k be (-14)/63 - 29/(-9) - 56. Let m be (0/k)/((-4)/(8/6)). Let w be 0/(2*2/4). Does w = m?
True
Let a = 57/68 + -2315/2924. Suppose -2*m - 8 = k, -3*k - m = -0*m + 4. Is k bigger than a?
False
Let v be (26208/405)/(-14) + (-8)/(-36). Is v at most 132?
True
Let h = 1443 - 1722. Is h at most as big as 2/29?
True
Let j(h) = -2*h**3 + 12*h**2 - 12*h - 7. Let a be j(8). Let w = -359 - a. Which is greater: -1 or w?
w
Suppose -226*g - 6106 = -5*u - 222*g, 2*u - 5*g - 2439 = 0. Which is greater: u or 3665/3?
u
Let n(k) = -k**3 - 18*k + 111. Let w be n(6). Let i = w + 213. Let j be 1 + 1/(2/14). Are j and i nonequal?
True
Let s be (-1960)/(-588)*(9/8)/(5/(-5020)). Is s >= -3765?
True
Let t be 24/36 + (4/3 - -1). Let y be 70/6*t*(-3 + 2). Let q = y - -43. Which is smaller: q or 5?
5
Suppose u + 2*u + 87 = 0. Let b = u + 36. Let i be ((-2)/(-8))/((-72)/32). Which is smaller: i or b?
i
Suppose -2*y + 3*i - 772 = 0, -2*y = -1304*i + 1299*i + 760. Do y and -388 have the same value?
False
Suppose 1235*y = 1214*y - 42. Is y != -692?
True
Suppose 0 = 6*f - 2*f + 4. Suppose -a + 1319 = -i, 3*i - 2*a + 1543 = -2415. Let o be 784/i + (-6)/45. Which is bigger: f or o?
o
Let y = 230 - 358. Let f = y - -209. Is 79 smaller than f?
True
Let j be 4 + (-3)/3 + -93*1. Let t be 4/5*j/12. Let o be 9/t - (-2)/4. Which is greater: 2/49 or o?
2/49
Suppose 3*b - 3408 = -13*b. Let s be (142/b)/(1 - -1). Which is smaller: s or -33.7?
-33.7
Suppose 0 = 4*m - 12*m + 632. Let u = m - 41. Suppose u = z - 3*z. Is -19 bigger than z?
False
Let o = 8780 - 8781. Is 14/97 at most o?
False
Suppose -136 = 2*s - 2*z, 2*s - 6*z + 141 = -3*z. Which is smaller: s or -66?
-66
Let o = 4286.21 + -4346. Let n = -60 - o. Let q = -0.01 - n. Which is greater: q or -0.6?
q
Suppose -5*i = -22*p + 18*p + 6707, -3*i + 3*p - 4026 = 0. Which is smaller: -1338 or i?
i
Suppose 8*j - 5984 = -28*j + 6652. Which is greater: 357 or j?
357
Let k = 1 + -0.9. Let n = 137359 - 137347.0742. Let i = -0.0742 - n. Is i less than k?
True
Let s(d) = 5*d**3 - 6*d**2 + 10*d. Suppose 11 = 2*t - i, 4 = t - 2*i - 9. Let k be s(t). Is 110 at most as big as k?
True
Let s = -237 + 231. Let m be -6 + 4/(2 + -6). Is s less than m?
False
Suppose 3*z = -m + 3 - 2, -69 = -4*m + z. Let u be (-36)/m*(-20)/6*-4. Which is smaller: u or -25?
u
Let w = 198 + -214. Let g = -32 + w. Is g less than 1?
True
Let d be 4 + ((-12)/2)/(-3) + -4. Let l be d - (-3 - (-9 + 5)). Let s be (1/1)/(l - (-555)/(-535)). Which is bigger: -27 or s?
s
Let j(l) = -l**2 + 14*l + 7. Let m be j(13). Suppose 5*c = 2*t + m, 2*t - t + 9 = 2*c. Suppose -c*f - 5*z = 18, 2*z + 6 + 2 = 0. Which is greater: 16/9 or f?
16/9
Let w(u) = -u**3 - 22*u**2 + 141*u - 7. Let t be w(-14). Does -3549 = t?
True
Let m be ((-1)/6 + 385/(-165))*(-2)/10. Which is bigger: m or -7447?
m
Let m = -144 - -143.69. Suppose 36 = 3*i - 3*d, 5*i + 2*d - 28 = -d. Which is smaller: m or i?
m
Suppose -5*u + u + 17 = -5*b, -2*u = -5*b - 1. Let c be 8/(-13)*4/u. Suppose -170*l = -191*l + 21. Which is bigger: c or l?
l
Let s be (-5)/((-5)/(-3))*-2 + 920/(-23). Do 0 and s have the same value?
False
Let n be 2/25 + (-4)/4350*267. Which is smaller: n or 1?
n
Let q be -7 + ((-13)/624*12 - 15474/(-2152)). Is 0 <= q?
False
Let i = 3 + -5. Let d be i/5 + (-112)/20. Let s = 952 - 952. Which is smaller: d or s?
d
Let t = -0.82 + -0.2. Let o = 1/4 + -7/12. Which is greater: t or o?
o
Let l(k) = -18*k**3 + k**2 + k - 1. Let r be l(2). Let d = -504 + r. Let b = 61087/95 + d. Is b greater than 0?
True
Let a = 355 - 215. Let b = a + -139.69. Is b greater than -7?
True
Let r = 6787 - 6772. Which is smaller: r or 180/13?
180/13
Let c = 73919/160186 - -1/12322. Let y(k) = 2*k + 1. Let x be y(-1). Are c and x equal?
False
Suppose -3*h = l - 7, 2*l - 2*h - 5 = 1. Suppose 19 = l*f - 17. Suppose 24 = q - 5*w, -q + 3*w = w - f. Which is smaller: 0 or q?
q
Suppose 6*z = d + z - 2, 5*d - 10 = z. Suppose 0 = -3*k - 2*x + 10, 3*k + 2*k + 10 = d*x. Suppose -v = -k*v. Is -2 greater than or equal to v?
False
Let d = -0.06145 + 3.66145. Which is smaller: d or 0.002?
0.002
Suppose -k - 4 = 0, 3*g - 6*g + 3*k + 3 = 0. Let u be g/(-21) - (1 + (-6)/(-42)). Which is smaller: -3/11 or u?
u
Suppose -2 = -3*y - 3*z + z, -2*z = 4. Suppose 3*a - s = 83, -a - y*s = -3*a + 62. Do 24 and a have the same value?
False
Let t be 14494/4*158/(-237). Which is bigger: t or -2417?
t
Let v = 57390/767 + -694492850/734019. Let l = v - -2614/3. Let o = 1290/2233 - l. Is 0 not equal to o?
True
Suppose 0*n - 4*n = -4. Let s be -3 - (-2 - n - 0). Let u be 1 - (5 + -14) - (-8804)/(-923). Which is smaller: s or u?
s
Let j = -2 - -1. Let t be ((-6)/27 + 145/45)*62. Let m be 3/(-2)*4/t. Is m smaller than j?
False
Let p be 2/(-1) - (-5 - 11 - 5). Suppose 2*o = 2, -o - 3*o + p = -5*u. Is u > 4?
False
Let b(v) = -v - 4. Let z be b(-8). Suppose -s + 2 + 9 = -z*o, -2*o = s + 1. Suppose 3*r + 7 = 5*a, -2*a + 5*r = s*a - 15. Which is greater: a or 2/77?
2/77
Let q = 4 - 4. Suppose q = -k + 4*y - 0*y - 15, -2*k - 10 = -3*y. Let h = 3643 + -3640. Is k bigger than h?
False
Let m be 1*-4 + -6*142/4. Suppose 0 = 10*l + 1153 + 1027. Is m greater than l?
True
Let c = 2887055/4 - 716392. Which is smaller: 5373 or c?
c
Let t = -3 - -2. Let a = 50.1887 + 0.0113. Let j = a + -128.2. Is t < j?
False
Suppose 0 = 3*u - 4*r + 5*r - 4, u + 4*r = -6. Let p be 15106/52 - (-1)/u. Is 292 <= p?
False
Let r(n) = -n**3 + 4*n**2 + n - 1. Let k be r(4). Suppose -5*m = -4*s + 29, 0 = -k*s + 6 - 3. Let j(o) = -3*o - 12. Let c be j(m). Which is smaller: c or 5?
c
Let a(n) = 2*n + 8. Let m(w) = -1. Let