- 21*j + 9. Let a be b(6). Let y be (3 - a/(-81)) + (-2608)/90. Is -30 <= y?
True
Let v(r) = 528*r + 224. Let k be v(4). Which is bigger: -1/2 or k?
k
Let l be -390*((-6)/(-12))/(6/6). Which is smaller: -194 or l?
l
Let j = -193.8 - 3.2. Let s = j - -33. Which is bigger: 2 or s?
2
Let l be ((-56)/30)/(4 + 28/(-70)). Let r be ((-8)/(-6))/(6/(-9)) + 0. Which is greater: r or l?
l
Let n be (-1)/(2/(-6)) + 23. Let v(l) = -9*l - 4. Let r be v(-1). Suppose g = -5*a + 135, -g + 135 = r*a + g. Which is smaller: a or n?
n
Suppose -4*s - 387 = 5*p, -110 = 2*s + 3*p + 81. Let m = s - -184. Let v = m - 64. Which is smaller: v or 18?
v
Let y be (-21)/(-6)*(-4)/(-6)*-3. Let r be y/(42/(-18)) - (4 + -2). Is 21 at most as big as r?
False
Let x be -1*((-3)/(-4))/(5/(-40)). Suppose -4*w = -z - 117, -2*z + x*w - 3*w = 209. Which is greater: -96 or z?
-96
Let d = 7655 + -7647. Is 310 > d?
True
Let o = -44 - 127. Let n be 586*(19/o)/(4/6). Which is bigger: n or -98?
n
Let a(x) = x**2 - 14*x + 19. Let o = 67 + -12. Let s = o + -43. Let p be a(s). Do -1/3 and p have different values?
True
Suppose -2*d + 12 = 0, 0 = -11*b + 6*b + 5*d + 9975. Which is greater: b or 2000?
b
Let q = -712.0165 - -678. Let h = q - -0.0165. Which is smaller: h or -2/7?
h
Let q = -12 - -13. Let m = 2680/3 - 795. Let o = m + -98. Is o at most as big as q?
True
Let m = -11098/5 - -2235. Is m > 1?
True
Suppose -2*j = -5*j - 12. Suppose -7*a = t - 4*a - 13, 3*t - 4*a = -39. Which is greater: t or j?
j
Let k be 118/4 - 4*(-9)/(-24). Let m = k + 27. Let l be (2/(-5))/(2057/m). Which is smaller: l or -1?
-1
Let u = 951216888/13 + -1265111173331/17290. Let p = 843/2 - u. Is -1 bigger than p?
False
Let x = 2.7 - 0.904. Let u = x + 0.204. Is u at least -14?
True
Suppose 0 = 3*c + 4 - 475. Let z = 14 + c. Do z and 171 have different values?
False
Let q be (16/(-12))/(-2 + (-5)/(-3)). Suppose q*i - 16 = 20*i. Which is smaller: 1/5 or i?
i
Let f(b) = -2*b**2 + 32*b - 104. Let i be f(7). Suppose 0 = -2*y + 24 - i. Is -2/185 equal to y?
False
Let c be (75/10)/((-6)/(-16) + 0). Let d be ((-14)/(-5))/(8/c). Let s(w) = -w**3 + 7*w**2 + w - 3. Let q be s(d). Which is smaller: 0 or q?
0
Let i = -15272 + 15559. Are i and 2 non-equal?
True
Let b = 477992/29 - 16480. Which is smaller: -7 or b?
-7
Let s be (-5)/(15/(-3))*(-4 + -325). Let p = -487 - s. Is -157 != p?
True
Let t = -6 - -7. Let m be (-2 - 9/(-3))/t. Let u be -6 + (5/(-25) - (-1797)/285). Which is bigger: u or m?
m
Let t(i) = i**3 + 23*i**2 - 19*i + 314. Let h be t(-24). Is h equal to -3?
False
Let y be (266/(-7))/((-2)/3). Let b = 59 - y. Suppose b*n + 4*n + 90 = 0. Is -16 greater than or equal to n?
False
Let b be ((-4)/1)/(-44) + 196/(-462). Is 1666 > b?
True
Let b = 225674068/2723 - 82877. Are -1 and b non-equal?
True
Let i(n) = -n**3 + 5*n**2 - n + 10. Let m be i(5). Suppose -3*a + 174 = m*r, 3*r - 5*a - 30 - 54 = 0. Let p = r - 19. Which is bigger: p or 27/2?
p
Let w be ((-102)/(-120) - (-8)/20)*4. Let b be (-247)/(-42) - (-10)/35. Is w < b?
True
Let k = 79.2285 - -0.0715. Let q = -83.3 + k. Which is bigger: q or 0.062?
0.062
Let x = 569/7 - 81. Let i = -64379 + 64510. Is i at most as big as x?
False
Suppose 225 = 8*v + v. Let p = 27 - v. Suppose 4 = -5*k + p*r, 5*r - 7 + 18 = 2*k. Is -20 > k?
False
Let h = 2200 - 2204. Is h at most -152/29?
False
Let z = -6/1775 + -1111132/5325. Is -210 >= z?
False
Let m = 217.34 - 73.34. Is m at most as big as -4?
False
Let s be (-1269)/(-9)*4/3588. Let j = s + 7/23. Is j equal to 0?
False
Let h = 24453 - 24452.8. Is h smaller than 124.45?
True
Suppose 3*u - 5*u - 28 = 4*j, u = 4*j + 16. Let o = u - 0. Let n(w) = w**3 - 100*w**2 - 30*w + 2995. Let k be n(100). Is k at most o?
True
Suppose 128*i - 2955 = 15349. Is 137 > i?
False
Let q be -5 - 39/(-9) - (-1093)/(-3). Let o = q + 391. Is o >= 1/2?
True
Let u be 19/(-12) + (-3)/(-12). Let q = 6683 - 6685. Which is smaller: q or u?
q
Let c = -12 + 11.91. Let x = c + 11.09. Let u = x - 9. Are u and -4 equal?
False
Let m = 0.22 - 0.12. Let z = m + -9.1. Let k = 10 + z. Is k smaller than -8?
False
Suppose -3*r = -2*r + 4*h + 78, -2*h = -3*r - 290. Are -117 and r unequal?
True
Let p be ((-1)/(2/(-8)) - 5)*-4. Suppose 0 = 4*u - d + 7, -u = p*u + d + 2. Let o be (1 - (u + -2))/(-2). Is -1 >= o?
True
Let p be 350/(-168)*3*(-6)/(-10). Are 30 and p unequal?
True
Suppose -3*l + 3 = 0, -4*n = -n - 5*l - 28. Let p be (-5)/((-10)/22) - 0/2. Is n not equal to p?
False
Let z be 306/24 + 3/12. Suppose -8*b - 5 = -z. Let g = 399 - 36307/91. Are b and g unequal?
True
Let o(z) = z**2 - 38*z - 84. Let q be o(41). Let r = -1076 + 1115. Is r at most as big as q?
True
Let n(z) be the third derivative of 13/3*z**3 + 0*z - 31/24*z**4 + 1/120*z**6 + 7/30*z**5 + 0 - 22*z**2. Let q be n(-16). Is q greater than or equal to -1/5?
True
Let g be 95/20*(5 - -39). Suppose 0 = -90*r + 79*r - g. Which is bigger: r or -136/7?
r
Let c = -7519/391 + -10802048/19159. Let k = -583 - c. Is k at least as big as -6?
True
Let z = -27563 - -55429199/2011. Does -1 = z?
False
Let i = 46 + -41. Suppose -4*f - 30 = i*n, 4*f = 2*n - n + 30. Let x = 32 + n. Is 20 less than x?
True
Let v be (1/2)/(9/18). Let u be (7/3 - 1)*-3*v. Let c = u + 11. Are 22/3 and c equal?
False
Let a(q) = q**2 - 11*q - 32. Let y = 400 + -387. Let t be a(y). Is -4 <= t?
False
Let c = -227 - -217. Let t = -28/23 - 987/115. Is c at least as big as t?
False
Suppose -4*u + 75376 = -24*u - 36*u. Which is greater: -1348 or u?
u
Let h = -550935.8 + 545745.814. Let y = 5196 + h. Let s = -0.014 + y. Are s and 1/3 unequal?
True
Let b = 42062 + -42444. Which is greater: -40 or b?
-40
Suppose 5*z - 80 = 4*x, x - z = -7 - 13. Let u(f) be the second derivative of -f**4/6 + f**3 + 8*f. Let o be u(5). Is o > x?
False
Suppose 0 = 4*u - 3*u - 10. Suppose -4*r + 136 = 4*r. Suppose -74 - 96 = -r*v. Is u != v?
False
Suppose -78*o - 1221 + 831 = 0. Let z = -160/7 + 667/35. Is z greater than o?
True
Let y be (-97)/(-22) - (-15)/(-10). Let z(j) = -j**3 - 2*j**2 + 12*j + 20. Let i be z(-4). Which is smaller: i or y?
y
Let f(x) = -26*x + 20. Let v be f(6). Let b = v + 146. Is 19 at least b?
True
Suppose -2*u - 22 = -2*r + 22, -4*r = 0. Let v be (11/u)/((-12)/16 + -1). Which is bigger: v or -247?
v
Let l = 27 + -18. Let c be l/12 - (1 + (-257)/(-28)). Is -10 less than or equal to c?
True
Let m(p) = 43*p**2 + 853*p + 25. Let n be m(-20). Is n greater than 167?
False
Let v(g) = g**2 + 8*g + 11. Let t be v(7). Suppose -7*n + t = -3*n. Suppose -o + 0*o = -5*d + 50, 4*d - 3*o = n. Is d >= 12?
False
Let p = -412961/939 - -1319/3. Is p < 0?
True
Let v be (-6)/(-3) + 51/(-17). Which is smaller: v or -11/122?
v
Let n be 696/14*(-32)/((-576)/(-63)). Is n greater than -1910/11?
False
Let a = -10292 + 10292. Let n = 199.9 - 1.9. Which is smaller: a or n?
a
Let f be 4725/280 + (-5)/(-40). Let c be (-12)/(-3) - 504/124. Which is smaller: f or c?
c
Let g = -2.621 - -2.121. Is 1044 greater than or equal to g?
True
Let f = -3985055/17363346 + 176/767. Is 1 greater than f?
True
Let d(l) = -l**3 + 2*l**2 - 2*l - 4. Let p be d(-3). Suppose -q = -26*k + 24*k - 48, -3*k - 147 = -3*q. Which is bigger: p or q?
q
Suppose 0 = 3*t - 2 - 4. Suppose -t*i = b - 23 - 1, -5*i = -5*b + 90. Suppose 0 = -5*y - b, 0 = -2*o - 5*y - 2 - 6. Which is smaller: o or 9?
o
Let g = 10493 + -9480. Does g = 1/5?
False
Let z = -5/1221 + -194119/4884. Which is smaller: z or -39?
z
Let n = 3007 - 2981. Let l = 141 - 62. Suppose 2*k = -3*x + 4*x - n, l = 3*x - 5*k. Which is smaller: x or 2?
2
Suppose -12*v + 279 = 267. Which is bigger: -4/1655 or v?
v
Let n = -260/9 + 86/3. Let w = -43 - -45. Suppose -4 = 3*s - r + w, 9 = -2*s - r. Is s equal to n?
False
Let m(v) = 122*v + 9363. Let k be m(-56). Which is greater: 2537 or k?
2537
Let b(z) = -2*z - 28. Let p(h) = -2*h - 29. Let o(u) = 6*b(u) - 5*p(u). Let a be o(-19). Let g = 44 - a. Is 29 less than or equal to g?
True
Let f be 4 - 3 - (-6)/(-8). Let g = -13 - 147. Let l = -111 - g. Is l at least as big as f?
True
Let y(u) = -u**3 - 6*u**2 + 8*u + 8. Let r be y(-7). Let z be 0/(-5*(2 - 84/30)). Let h be (z*r/3)/1*-1. Which is greater: 4/3 or h?
4/3
Suppose -a = 4*p - 117, a - 2*p - 195 = -48. Let q = a - 134. Which is smaller: -9 or q?
-9
Suppose -3*q + 0 = -2*a - 