+ -2). Let a = 22 - 20. Suppose -3*f + a*j = -1 - 7, -4*f + 4*j = -16. Is f < s?
False
Let k be (-134375)/473 + (-9)/27*(14 - 2). Which is smaller: -289 or k?
-289
Let r = 6 + -3. Suppose -3*x + 299*x - 1345 = 727. Suppose -r*j = -w + 27, w - 43 = -x*j + 2*j. Is w <= 34?
True
Let q = 468 - 331. Let j = q - 92. Suppose p = -5*n + 232, 16*p - 15*p + 90 = 2*n. Is n smaller than j?
False
Let r = 597 + -7789/5. Is r < -960?
True
Let v(g) = -4*g + 3. Let w be v(-8). Suppose -284 = -5*z + q, -q - 4*q + 233 = 4*z. Suppose 2*m = 15 + z. Is w at most m?
True
Suppose -39839 = -43*m - 127349 - 150022. Are -5526 and m equal?
False
Suppose 18*x - 3*u + 19 = 19*x, u = 2*x + 4. Let w be (-5 - -3)*(-2)/(-166). Which is smaller: x or w?
w
Let q = -82 + 122. Suppose -130 - q = -10*k. Does k = 15?
False
Let k = 63 + -71. Let o be ((-12)/k + -3)/((-3)/(-224)). Which is bigger: -113 or o?
o
Let m = 13.08 + -12.1. Let i = m - 0.88. Let c = 0.05 - 2.05. Which is smaller: i or c?
c
Let w = 8969 - 13273/2. Is 2333 not equal to w?
True
Suppose 12*g + 7170 + 7096 = 2674. Which is greater: -963 or g?
-963
Let b be (9 - (-100198)/(-3367)) + 2/2. Let o = 270/37 + b. Is -11 bigger than o?
True
Let t be ((-1272)/69603204)/((-4)/22). Which is greater: t or 1?
1
Let t = -25152 + 25133. Suppose 0 = -4*k + v - 69, -6*k + 2*k - 64 = 4*v. Which is smaller: k or t?
t
Suppose 3*v + 3 = -0*v. Let m be 0*2/(-4) - 20/98. Let u = -668/2793 - m. Is u at most v?
False
Let y(k) = k**3 - 25*k**2 - 17*k + 418. Let m be y(25). Does -419 = m?
False
Let y(x) = -x**2 - 15*x - 34. Suppose 169 = -3*r - 10*r. Let z be y(r). Is z <= -7?
True
Let s = -28694839/34808 + -3/17404. Which is bigger: -823 or s?
-823
Let j = -155 + 43. Let y be (6 - 7)/(8/j). Are 6 and y nonequal?
True
Let z be 6/(-1) - -80*(25/(-10) - -1). Which is smaller: z or -124?
z
Let v = -126752/397923 - -70/219. Is v >= -1?
True
Let o = -156/61 + -1280/549. Suppose i + 5 = -1. Is o equal to i?
False
Let r = 4134 + -2903. Is 1232 greater than r?
True
Let x = -20 - -14. Let o = 23/4 + x. Let r = -4608 + 4616. Is o bigger than r?
False
Suppose 3*n = 2 + 1. Let u be 6*(-9 - (-15778)/1722). Is u smaller than n?
True
Let u = -51 - -57. Let y be ((-22)/11)/(4/u*-1). Let g be (-2 + 4 - y)/((-1)/10). Does 10 = g?
True
Let j be 4/160*-2 + (-2754)/(-680). Let u = -335 - -1361/4. Which is bigger: u or j?
u
Let j = 7664/333127 - 2/3743. Which is smaller: j or 6/29?
j
Suppose 5*d = 3*d, d + 2304 = -3*m - 10194. Is -4167 <= m?
True
Let j(v) = 1. Let g(m) = 3*m - 6. Let n(u) = -g(u) - 12*j(u). Let d be n(-23). Let l = d - 64. Which is smaller: l or 1/54?
l
Suppose -142*s - 480 = -150*s. Let u be (48/s)/((-26)/5). Let c = -4 - 5. Is u less than c?
False
Suppose 0 = -14*r + 58 + 26. Suppose 3*k + 15 = 0, 2*k + 12 - r = 4*g. Is g <= 2/219?
True
Let r = -18 - -15. Let v = 98 - 93. Suppose 4 + 11 = -v*a. Is a equal to r?
True
Let x(q) = -q**2 + 711*q - 37835. Let g be x(58). Let n be 6/(-9) + 202/6. Which is smaller: n or g?
n
Let h be ((7 - -3) + -7)/5*5. Let d(f) = -f - 6. Let q = 0 + -10. Let c be d(q). Which is bigger: h or c?
c
Let i = -3 + 26. Let q = -22 + i. Suppose -2*c - 4 = 2*c, 210 = -3*b - 3*c. Is q smaller than b?
False
Let u(l) = -l**3 - 30*l**2 - 115*l - 23. Let x be u(-25). Which is smaller: -3006/11 or x?
-3006/11
Let o = 11 - 4. Suppose -7*h + 68 = -5*h. Let s = 37 - h. Which is greater: o or s?
o
Let j(g) be the second derivative of -27*g + 1/12*g**4 + 0 - 1/6*g**3 - 3/2*g**2. Let l be j(5). Do l and 17 have the same value?
True
Suppose 2*p + 1286 = 2*r, -3*r + 2107 = -4*p + 182. Which is smaller: 646 or r?
646
Let b = 313 - 339. Let v be (-42)/70 + 1 + b/(-1). Does v = 27?
False
Let d(k) = 4*k**2 - 101*k - 542. Let o be d(30). Is o smaller than -3?
False
Suppose q + 2*a + 3 = 0, -5*a - 40 = -3*q - q. Suppose 4*h - d = -q*d - 184, -5*h - 3*d - 240 = 0. Is -49 less than h?
False
Let o be (-1921)/(-65) - (-13)/(845/(-10)). Suppose -5 - 5 = -5*y, 3*y + 106 = 4*g. Is g < o?
True
Let a = 4156 - 4146. Which is bigger: a or 166?
166
Let l be 1/14*4*42/(-306). Let t = l + -28/153. Do -12.1 and t have the same value?
False
Let z be ((-4)/14)/(495/252 - 2). Let l be 8/36*4/z*4. Is l greater than 26?
False
Let t be ((-2)/(-10) - (-99)/55) + 4/(-6). Suppose 0 = -3*y - 2*y + 5. Is y bigger than t?
False
Suppose 0 = 3*h + y + 4*y + 22, -5*h - 30 = 5*y. Let v(g) = -3*g - 2. Suppose -2*b + 2*q + 7 = -q, 8 = b - 3*q. Let l be v(b). Which is smaller: h or l?
h
Suppose 2*o - 443 = -j - 139, 5*o - 850 = 5*j. Let v = -6 - -163. Which is greater: v or o?
o
Let p(d) = 4*d**3 + d**2 - 8*d - 3. Let b be p(-3). Let u be 3728/72*3*(-3)/6. Which is smaller: b or u?
b
Let r(n) = 6 + n**2 + 3 + 8*n + 6 + 9*n. Let g be r(-17). Let m = -1515 + 4588/3. Which is smaller: m or g?
m
Let c(v) = -2*v + 14. Suppose 15 + 27 = 7*p. Let n be c(p). Suppose -5*g + 96 = -3*g - 4*w, n*g + 4*w = 96. Which is greater: g or 49?
49
Let d = -1491 - -863. Let w = 993098 + -30766568/31. Let g = w + d. Which is smaller: 0 or g?
0
Let y = -263 + 732. Let g = y - 469. Which is smaller: 403 or g?
g
Let o = -6486.47 - -6459. Let k = -27.8 - o. Are -1 and k non-equal?
True
Let r(u) = -u**2 - 63*u - 506. Let n be r(-10). Is n < 25?
True
Let w = 371 - 258. Suppose -4*l = -12, -4*l = 3*j - 365 + 11. Let y = w - j. Which is smaller: y or 1/16?
y
Let p be (-1145)/30 + (-8)/(-12) + 2. Let a = 35 + p. Is a >= -0.5?
True
Let q(m) = -5*m**3 + 29*m**2 - 7*m + 78. Let a be q(6). Which is smaller: a or 3/5420?
a
Let p = -3014 - -8088. Is p at most as big as 5076?
True
Let x = -0.7 + 0.4. Let g = -0.2365 - -33.2365. Which is smaller: x or g?
x
Let u = 63642 - 37545. Which is bigger: u or -1?
u
Let l = 0.87 + -1.27. Suppose 849*k = 853*k - 24. Is l not equal to k?
True
Let g be (12 + -9)*5*(60/(-9) - -2). Is -70 less than or equal to g?
True
Let w be (169/369)/(((-32)/15)/8). Let s = w + 26/41. Let l = 4/3 + s. Is -0.02 bigger than l?
False
Let t be 6*(17/9 - 8/36). Suppose 14*z = t*z - 468. Let a be (-2)/9 - 5525/z. Is 46 less than or equal to a?
True
Let d be 328/15 - (1602/135 + -12). Suppose d*t + 105 = 29*t. Are t and 5 unequal?
True
Let s(b) = -b**3 + 3*b**2 + 4*b + 5. Let y be s(4). Let r(p) = -7 - p + y*p**2 - p - 2*p + 3*p**3 - 3*p**2. Let o be r(-2). Is -14 at most as big as o?
False
Let f = -37186 - -147691/4. Is -264 smaller than f?
True
Suppose -2*u + 34 = 240. Let p = u - -123. Which is smaller: 19 or p?
19
Suppose 2*a - u - 8 = 0, -2*a + 2*u = 5*u. Suppose 3*z = -a*z. Let x be (-16878)/(-990) + -17 + 4/30. Do z and x have different values?
True
Let x be -1 + 21/18 + (-1043785)/(-642). Is x < 1627?
True
Let r = 102.376 + -28.376. Is r greater than 142?
False
Let c = -69 - -62. Let r be 8 + (-108)/14 - (-65)/c. Is -15/2 < r?
False
Let y = -62254 - -311248/5. Suppose 3*v - v + 2*p + 4 = 0, -v + 4 = 4*p. Is y bigger than v?
False
Let p = -374 - -379. Let n = -37 - -41. Which is greater: p or n?
p
Let r = 821833/7 + -117049. Let p = r - 356. Is 249 at most p?
False
Suppose -988309 = -842*p + 783*p. Is p at most as big as 16751?
True
Let m = -24 + 17. Let w = m - -5. Suppose 2*k + 16 = -g, -3*g - 22 = -g + 2*k. Which is smaller: w or g?
g
Let i(c) = -6*c**2 + 47*c + 69. Let h be i(16). Is h greater than or equal to -716?
True
Let j(d) = -2*d**3 + 29*d**2 - 2*d + 256. Let u be j(15). Do 39/259 and u have different values?
True
Suppose -1954*a - 300 = -1929*a. Let y(f) = -4*f**2 + f - 1. Let n be y(-2). Is n less than or equal to a?
True
Let m = -318 - -322. Suppose 4*z = 4*f + 64, 7*z - m*f - 28 = 6*z. Are z and 22 non-equal?
True
Let c be (-24)/22*(-16)/(-32). Let l be 12/231*-3 + (2 - 2). Let t = -2/77 + l. Which is smaller: c or t?
c
Let g(q) = -11*q + 55. Let i be g(5). Let y be (i*5/10)/(-3). Suppose 0 = -5*d - 3*v + 1, 3 + y = d + 2*v. Are 3/100 and d equal?
False
Let k be (-10)/(-52) - 1/2. Suppose 7*f + 8*f = 0. Suppose 6*r + f*r = -6. Is r greater than k?
False
Let j = -1819 - -1817. Is j > 10/33?
False
Suppose 13*a = 17*a - 16. Suppose -2*y + 4 = a*q, 0 = -3*y + 7 + 5. Let i be (q - (-100)/108)/(1/51). Is -3 != i?
True
Let i(u) = 8*u - 76. Let j be i(10). Are j and 27/7 equal?
False
Suppose 3*u + v = 22, 0*u + 5*v = 2*u + 8. Suppose 4*c + u = -2*t, 0 = -4*c - 3*t - t - 8. Which is s