/(-3)*p/4. Let w be ((-44)/(-12) - 2)/((-803)/66 + 13). Are l and w nonequal?
True
Let o be (9/(-12))/(21/(-112)). Suppose -62 = -5*j - o*g - 13, 5*g + 7 = -j. Let b(s) = -s**3 + 13*s**2 - s + 22. Let u be b(j). Which is bigger: u or 3?
u
Suppose 0 = -8*w - 2*w - 330. Let f be (2 + 20/(-25))*240/(-9). Which is smaller: f or w?
w
Suppose -2*c - 7*c + 81 = 0. Suppose -c = 4*k - k. Is 0.02 at least as big as k?
True
Suppose -269*k = -q - 266*k + 2392, -3*q + 7156 = -5*k. Which is bigger: q or 2375?
q
Suppose -322 = 208*m + 4046. Suppose -3*s = s. Suppose 0 = -s*b - 2*b - 42. Do m and b have the same value?
True
Suppose k + 0*y + 36 = 5*y, -k + 3*y - 26 = 0. Suppose -184 = -0*w - 4*w. Suppose -14*d + w = 186. Are d and k non-equal?
True
Suppose -6*b + 25 = -23. Suppose 3*g - b*g = -g. Let f = 0.17 - 15.17. Which is smaller: f or g?
f
Let a(t) = t**2 + t - 3. Suppose 12 = -3*s + 4*s + 4*u, 0 = 2*s + 5*u - 15. Let f be a(s). Suppose -462 = -3767*m + 3809*m. Is m >= f?
False
Let u be -4*3/9 + 11552/114. Suppose -a - u = 3*j, -11*j + 5*a = -9*j + 95. Is j at least -32?
False
Suppose -2*p + 4 = 0, 4*t - 6*p = -4*p + 6980. Suppose -468 = 41*h + t. Are -213/4 and h equal?
False
Let z be (-25)/5 - (-2 - 3). Which is smaller: z or -2/2489?
-2/2489
Let b = -10518 + 10518. Which is bigger: b or 357?
357
Suppose 18*h = 22*h + 1096. Let s = h - -110. Which is bigger: s or -163?
-163
Suppose -14*d = -48 - 9 - 41. Which is smaller: 35 or d?
d
Let a = -10920 + 589679/54. Is 0 <= a?
False
Let s(b) = -b**3 - 6*b**2 - b - 1. Let k be s(-6). Suppose -4*w + 862 = 4*j - 7*j, k*j = 5*w - 1440. Is j <= -290?
True
Let w = 27.3 - -2.7. Let t be (9 - (-2 - (-165)/11)) + -1. Is w >= t?
True
Let r = 72.7 - 49.7. Which is smaller: r or -3?
-3
Suppose 0 = -185*a + 181*a + 20, -2*a - 5 = r. Is r <= -29?
False
Let r(t) = 2*t - 9 - 20 + 9*t - 3. Let k be r(-10). Let b = -708/5 - k. Does 1/15 = b?
False
Suppose -3*u + 3*a + 262 = -2*u, 3*a = -4*u + 1078. Let d = -269 + u. Is 2/191 less than or equal to d?
False
Suppose -3*i - 5*b - 203 = 0, -3*i + 5*b + 81 = -4*i. Let d be ((-819)/(-6))/((-81)/(-36)). Let p = i + d. Which is smaller: p or 13?
p
Suppose -3*i + 7*i - 5*s = 73, -5*i + 4*s + 80 = 0. Suppose 0 = -i*m + 8*m. Let u = -246 - -2709/11. Is u > m?
True
Suppose 3*k + 4*p - 4 = 5*p, -2*p = 2. Suppose 3*n - 4 = -4*x, k = x - 3*n + 2*n. Is x greater than 6/193?
True
Let s(h) = -2516*h - 2296. Let k be s(-1). Is k < 286?
True
Let j be (-6)/(-5) + -1 + (-7816)/680. Which is smaller: j or 1?
j
Let t be (-5)/(-35) + (-4365)/(-21). Let c = t - 195. Which is greater: c or -7?
c
Let z(x) = -29*x + 3. Let r be z(-18). Suppose -3*y = -4*n - 286, 5*y + 0*n = -3*n + r. Let d = -2143/21 + y. Which is greater: 1 or d?
1
Suppose -z + 2*z - 5 = 0. Suppose -386 = -2*u - 0*x - 2*x, -3*u + z*x = -603. Let p = u - 1766/9. Which is smaller: 0 or p?
p
Let p be 26507/(-55) + (-18)/(-45). Let o = -481 - p. Which is bigger: o or 1/10?
o
Let k = -563 + -324. Let f = 770 + k. Which is smaller: -118 or f?
-118
Let f be (-3)/(-1) - ((2 - -3) + -4). Let l be (5884/63)/(-4) - f/9. Is -25 bigger than l?
False
Let z = -0.01 - -2.01. Let n = 38141 - 38140.943. Is z less than n?
False
Suppose 5*g = 2*c + 137, -g + 4*c = -5 - 8. Let m(b) = -9*b + 12. Let o be m(-2). Which is smaller: g or o?
g
Let c = 1/6 - -5/42. Let l = -29.1 + 8.6. Let j = 4.5 + l. Is j at most as big as c?
True
Let c(p) = p**3 + 7*p**2 - 23*p - 49. Suppose 4*s = 4*v + 6*s + 44, -2*s + 37 = -5*v. Let h be c(v). Let z = 557 + -3919/7. Which is smaller: z or h?
h
Let v be ((-1)/6)/(7/(-9)). Let s(l) = -2*l**3 - 4*l**2 + l - 11. Let r be s(-7). Let i be (r/(-48) + 10)/(1/6). Which is smaller: i or v?
v
Let q = -143 - -146. Which is smaller: q or -5/4?
-5/4
Let n = 8109 + -8110. Which is smaller: 3/380 or n?
n
Suppose 3*p = -c + 142, -190*p - 152 = -193*p + c. Let y be (4/(-6))/((-4)/282). Is p at least y?
True
Let s(q) = q. Let a(u) = -3*u - 19. Let c(p) = -a(p) + 2*s(p). Let i be c(-5). Let j be (-84)/7 - i/(-2). Is -16 at least j?
False
Let m = 0.43 + -0.28. Let b = 0.302 - -0.048. Let j = b + m. Is -6 at least j?
False
Let f = -2828 - -2825. Which is smaller: -94/57 or f?
f
Let n = -2089 + 294547/141. Let a(j) be the first derivative of j**2/2 + 18*j + 1. Let y be a(-17). Which is greater: n or y?
y
Let m(w) = w**2 - 3*w + 2. Let s be m(4). Suppose -s*f + 5*f = -133. Suppose 3*l = -2*d - f, 0*l = 3*l + d + 128. Which is smaller: -42 or l?
-42
Let k(l) = l**3 + 7*l**2 + 6*l + 6. Let r be k(-6). Suppose -24*x - 27 + 75 = 0. Let c be (2 - 4) + 8 - 3/x. Is r != c?
True
Let g = -343.28307 + -0.01693. Let x = -343 - g. Is 30 at least x?
True
Let q = -13362 - -13363. Which is bigger: q or -9249?
q
Suppose 5*o = -5*l + 8*l - 278, 4*o - 3*l = -223. Let k = -62 - o. Suppose -3*j - 3*a - 39 = 0, 4*j + 0*a + 32 = a. Is j less than or equal to k?
True
Suppose 2*c + a = -3*a - 1946, -c = -2*a + 1001. Do -3945/4 and c have the same value?
False
Suppose 101*h - 241*h = -63*h - 541618. Is 7033 greater than h?
False
Let v = -558 - -569. Suppose 14*c - 25 - 73 = 0. Are v and c equal?
False
Suppose 4*b + 0*b = 0. Let y = 32820/2639 + -3/377. Let v = -12 + y. Which is smaller: v or b?
b
Let p = 155/73 - -21709/365. Are 15 and p nonequal?
True
Suppose -3*m + 3 = 2*k, -2*m + 4*k - k = -2. Let y be 2/(-28)*2 - 266352/868. Let r = 1541/5 + y. Which is greater: m or r?
r
Let u = 9721 + -9568. Which is smaller: u or 1984/13?
1984/13
Suppose 28*l + 2*w + 12794 = 34*l, 0 = -5*l + 4*w + 10671. Which is smaller: l or 2129?
2129
Let k = -43.1 - 184.9. Let i = k - -228.363. Is 0 greater than i?
False
Suppose -2081*v + 2248*v = 0. Let w = -773/228228 - 1/1001. Are w and v non-equal?
True
Suppose 0 = 13*r - 10 - 16. Suppose -5*p + 347 = -r*d, -4*p - 3*d = -0*p - 273. Is 67 bigger than p?
False
Let x = -106 - -149. Suppose -3*d + 3*j - 97 = 62, -j - x = d. Let m = d - -69. Is 21 equal to m?
True
Let t = 6650 - 6040. Which is greater: 607 or t?
t
Let r(h) = -483*h**2 + 6*h - 2*h - h**3 - 17 + 492*h**2. Let b be r(9). Let m(u) = u + 4. Let n be m(b). Is n equal to 24?
False
Suppose -4*n + 0*g - g + 5679 = 0, 2850 = 2*n + 4*g. Let k = n + -1409. Let a(u) = -u**3 - 3*u**2 + u - 1. Let d be a(-3). Which is greater: k or d?
k
Let z(a) = 28*a - 6. Let y be z(1). Suppose -6*p + y = -26. Which is bigger: p or 7?
p
Let n = 24909/4 + -6053. Let h = n - 13315/76. Is 0 less than h?
False
Let c(f) = -520*f + 38. Let b be (-20)/12 - (-6)/9. Let t be c(b). Is 0 at least as big as t?
False
Suppose 3*c + 2*t = 110, c + 4*t = -3*c + 152. Let k(u) = 5*u**2 + 3*u + 5. Let h be k(-3). Let i = c - h. Is i < -7?
False
Let i = -180 + 177. Which is greater: 46 or i?
46
Suppose -s = 4*t - 7*t - 45, -4*t = 4*s - 212. Suppose 15*b - 1692 = s*b. Are -47 and b non-equal?
False
Suppose 13*j - 87 = 18*j - m, -4*j + 2*m - 66 = 0. Let s be (-2 + 0)*747/j. Which is bigger: s or 82?
s
Let q = 0 - 1. Let r = q + 1. Suppose 804*m - 805*m - f = 0, 12 = -m + 5*f. Are m and r unequal?
True
Let l = 219 - 560. Let g = 340.87 + l. Which is greater: g or 0.1?
0.1
Let u be -25 - ((4 - 4) + -3). Let n = u - -39. Suppose -n = 5*d + 33. Which is smaller: d or -11?
-11
Let a = -19957 + 20549. Which is smaller: a or 4143/7?
4143/7
Let g(n) = -23*n + 1561. Let s be g(65). Let h = 2/183 + -193/915. Which is bigger: s or h?
s
Let d = 9.5 + -8.93. Let y = 3467.64 + -3468. Let r = d + y. Do 2/5 and r have different values?
True
Suppose -3*o - 248 = 592. Let c be 20/(-15)*12/o*-5. Which is greater: 8.3 or c?
8.3
Let i be -5 - (-1098)/27*(-3)/(-2). Let p = 224 + -149. Let t = p - i. Are t and 18 nonequal?
True
Let h be ((-1)/(1783/1))/(142/426). Is h equal to -1?
False
Suppose 78*t - 146457 + 7047 = -12*t. Which is smaller: -1 or t?
-1
Let t be 175/75 - 28/21. Let b be 2 - (5 - 2)/(-27). Which is greater: t or b?
b
Let a = -105783/86 + 1230. Suppose 5*j - 16 = h, -h - 5*j = -6*h - 20. Is h greater than a?
False
Suppose -25*p + 16*p + 126 = 0. Suppose 0 = -4*v + 5*x + p, 2*v + 5 = v - 3*x. Are -35/6 and v non-equal?
True
Let m = 5376 + -5375. Which is smaller: -22/461 or m?
-22/461
Let w = -1388 + 1390. Let l be 186/700 + -1*2/7. Which is bigger: w or l?
w
Suppose 71*g + 70*g + 72*g = 216*g. Is g != -2240?
True
Let g = -0.1373 + 0.99