 - 164, 0 = -j + 4. Suppose -u + 307 - 137 = 4*m, -3*m + 116 = -5*u. Which is bigger: m or o?
m
Let j be 25365/4123 - 68/119. Is j bigger than 5?
True
Let h be 26 + (-44 - -138) - (5 + (4 - 1)). Suppose 0*u + 5*u = 3*j + 556, 114 = u - 2*j. Are h and u unequal?
True
Let s be ((-18)/4332)/(36/48). Does 0 = s?
False
Let j be 10/(-25)*(-10)/4. Let t be 0 - (-2 + 4 + (-898)/450). Let v = t + 169/4275. Which is greater: v or j?
j
Let i = -4133/17 + 243. Let s(l) = 13*l + 199. Let h be s(-15). Which is smaller: i or h?
i
Suppose -42*q + 18*q + 5976 = 0. Let j = q - 1495/6. Let r = -3 - 2. Is j at least as big as r?
True
Let m = -414 + 421.78. Let u = 36.12 + m. Let z = 44 - u. Is z at most -16?
False
Let x = 3718 + -4185. Are x and -470 equal?
False
Let j be (4 + -6)/6*1/(-2). Let k = -80.3 - -80. Is k != j?
True
Suppose 4*o + 4*t - 52 = 0, -2*t = o + 2*t - 16. Let k be (8/(-4))/((-8)/o). Suppose -1 = -4*c + k. Do -3/14 and c have different values?
True
Let o(n) be the second derivative of 5*n**3 - 71*n**2/2 + 14*n + 4. Let y be o(3). Which is greater: y or 0?
y
Let i = -17.664 + -0.296. Let o = i - 0.04. Let v = -19 - o. Is v smaller than 2?
True
Suppose 5*q + 2*n + 13864 = 0, -49*q + 52*q + 4*n = -8338. Is q > -2772?
True
Let k = 2/7891739 + -795329456442/86809129. Let r = k - -1753861/187. Let z = r - 217. Is z less than or equal to -1?
False
Let f = 83 + -100.6. Let n = -3.4 - f. Let r = 14 - n. Does 1/6 = r?
False
Let g = 239 + -238.929. Let r = g - -2.929. Let m = -15/7 + 143/70. Is r at least as big as m?
True
Let b be (-1530)/25 + 1/5. Let h = 29072/3 - 9691. Which is smaller: h or b?
b
Let s(y) = -y**3 + 3*y - 3. Let r be s(-2). Let p be -15*r/3 + (62 - -2). Which is bigger: p or 70?
70
Let l = -2459/6 - -434. Is -4 at most as big as l?
True
Let g be ((-176932)/(-1420))/((-2)/20). Is -3736/3 bigger than g?
True
Let j = 84 + -25. Let q = -60 + j. Which is greater: q or 2/149?
2/149
Suppose 15*d - 4234 - 1961 = 0. Let q = 508 - d. Which is greater: q or 96?
96
Suppose 38*s - 18*s = -100. Which is smaller: s or -120/23?
-120/23
Let b = -4/11 - -6/77. Let f = 222.4348 + -0.4348. Is f at most b?
False
Let w be -3*(-56)/(-116) - -5. Let y = w + -15199/4263. Which is bigger: y or -1?
y
Suppose 75*a - 231*a = -2268891 + 280827. Is a less than 12743?
False
Let t be 9492/1900 - (-6 + 10 + 1). Is t != -4/5?
True
Let s be 4*(-19)/399*1755/(-102). Let n = s - 3994/119. Are n and -29 nonequal?
True
Let s = 4372.2 - 4370. Which is bigger: -68 or s?
s
Let c = 357 + -157. Let z = c + -200. Which is smaller: z or 23?
z
Let y(w) = -w**3 - 28*w**2 - 29*w - 34. Let b be y(-27). Suppose -10*o - 3*x - 13 = -12*o, 4*o - 4*x - b = 0. Suppose -2*d = -0*d + 2. Which is greater: d or o?
o
Let h = -26.9 - -25.2. Let z = h - -1.71. Which is smaller: 5 or z?
z
Let c(m) = -m**3 + 14*m**2 - 2*m + 43. Let o be c(14). Let v be (-6)/o*(-91 + 6 + -5). Do v and 38 have the same value?
False
Suppose 2*g - 4*w + 4 = 18, 2*g + 5*w + 31 = 0. Let i be 10/((-60)/(-378)) + g + -2. Which is smaller: -3 or i?
-3
Let i(q) = -4*q**3 - 103*q**2 + 28*q + 67. Let x be i(-26). Which is bigger: x or 17?
17
Let r = 534 - 24. Let p = -4083/8 + r. Which is greater: 1 or p?
1
Let i(g) = -16*g + 4. Let c(h) = -3*h + 1. Let k(s) = 6*c(s) - i(s). Let q be k(11). Which is smaller: q or -17?
q
Let g = -11500 + 563524/49. Let q = g + -31/49. Suppose -2 + 6 = 4*m. Which is smaller: q or m?
q
Suppose 95*j - 2323 + 1278 = 0. Is 440/41 >= j?
False
Let o = 229744 + -1541352501/6709. Are o and 0 unequal?
True
Let w be 10/(-4)*-4 + -1. Let m(t) = -1113*t - 42291. Let f be m(-38). Which is greater: f or w?
w
Let a = -91 - -93. Suppose -4*t = 3*m - 2*m - 4, -a = m + t. Let o be 2/(-5)*(27/63 + m). Is 2 smaller than o?
False
Suppose 2624*h - 5*b = 2620*h + 82, -5*h - b + 59 = 0. Let k be 5/((-5)/(-2)) - 2. Which is bigger: h or k?
h
Let c(u) = -u**3 + 11*u**2 - 5*u + 49. Let l be c(11). Let o be (5/(-30))/((-2)/l)*1. Is o > 25.8?
False
Suppose 8000 = -70*u + 62*u. Let j = 1000 + u. Which is smaller: j or -9?
-9
Let n = 1867/5 - 371. Let v be (-72)/8 + 2 + 1. Let m(r) = -3*r**2 - 19*r - 4. Let s be m(v). Which is bigger: n or s?
n
Suppose -92563 = 404*k - 78*k + 9475. Which is smaller: -310 or k?
k
Suppose l - 9*z = 4*l - 723, 5*l + 4*z = 1238. Is l at least as big as 250?
True
Let q = -0.02684 - -2368.02684. Which is smaller: q or 1?
1
Let y = 10 + -6. Suppose -y*j - 4*o - 16 = 0, -2*j - 5*o + o - 2 = 0. Suppose 12 = 2*d, -4*w + 2*d = -52 + 72. Is j at least as big as w?
False
Let o be 58458/(-4465) - (-43 + 50). Let a = o - -382/19. Which is smaller: a or 0?
0
Suppose 2*p + 152*g - 153*g = -2578, 0 = -g. Which is smaller: p or -1290?
-1290
Suppose -16655 = 5*x + 6*t, 19*t + 6662 = -2*x + 22*t. Does x = -3332?
False
Suppose -4*t - 6 = -2*n, 3*n - 62*t + 67*t = -2. Is n less than or equal to 23/10?
True
Let u(l) = 18*l - 103. Let x be u(15). Let h = -174 + x. Which is bigger: h or -15/2?
h
Let a = 0.2218 - 0.2218. Let l be (-35)/28*4/(-20). Which is smaller: a or l?
a
Let s = 4130 - 4130.057. Let p = -0.035 - -0.078. Let u = p - s. Is -16 < u?
True
Let n be ((-5135)/790)/(1/154). Which is smaller: -988 or n?
n
Let f = -366.3 - -366. Which is bigger: f or -210?
f
Let f(c) = -c**2 + 28*c + 103. Let l be f(31). Let v be (-2 - l)*(-11)/(-4). Is -33 at least as big as v?
True
Let l = -10927 + 10620. Which is greater: l or -2154/7?
l
Let g(o) = -o**2 + 50*o + 313. Let z be g(49). Let j = 419 - z. Which is greater: 58 or j?
58
Let k be (15/5 - (-13)/(-4))*(-572)/78. Suppose -30 = -5*n + 4*y, -2*y + 0 = 4*n + 2. Is n equal to k?
False
Let m = 2282/23 - -80899/69. Which is bigger: 1273 or m?
1273
Suppose y + 48*j - 44*j = 247, 727 = 3*y - 2*j. Suppose -7*u - 2*u = -y. Which is bigger: 26 or u?
u
Let t be (-18759)/(-1924)*(-2)/(-66)*-1. Suppose 0 = 2*g - 3*g. Is g greater than t?
True
Suppose -2136 = -53*t - 43423. Which is smaller: -3/5 or t?
t
Let i = 1929527/13 - 148343. Which is greater: i or 82?
i
Let f(j) = -j**3 - 7*j**2 - 273*j - 1314. Let u be f(-5). Let t be (-22)/(-15) + 2/(-3). Which is smaller: t or u?
t
Let i = 28 + -19. Let m(h) = -3*h - 3 - 6*h - i*h + 15*h. Let d be m(1). Is d at least as big as 1/3?
False
Let u be 16/(-88) - (-158)/22. Let p(q) = q**2 - 4*q - 16. Let t be p(u). Suppose -t*m + 2*n = -43, -5*m - n + 31 = -0*m. Which is bigger: m or 8?
8
Let s(l) = -9*l**3 + l**2 + 16*l - 19. Let u(q) = -q**3 + q - 2. Let b(c) = -s(c) + 7*u(c). Let d be (1 + (-7)/4)*-4. Let y be b(d). Which is greater: y or 22?
y
Let j = 8 - 10. Let t = 23586 + -731164/31. Is t less than j?
False
Let x = -15 + 37. Suppose -10*l = -x*l - 12. Which is smaller: 12/31 or l?
l
Suppose 6*i - 27 + 15 = 0. Let k be 30/(-36)*i/5. Which is smaller: 69 or k?
k
Let w(k) = -4*k - 13. Suppose j + 8*j = 9. Let h(t) = -4*t + 1. Let l be h(j). Let y be w(l). Do y and -1/72 have the same value?
False
Suppose -13*u = -1745 + 13146. Let y = 874 + u. Which is bigger: y or -54/29?
-54/29
Let m = -51417717/16 + 3212338. Let h = 1268 + m. Is h at most -1?
True
Let j(y) = y + 7. Let r be (-4 - -2)*((-140)/8)/(-5). Let n be j(r). Suppose -2*c + 55 = -3*f, n*f - 5*c - 43 = 2*f. Is -19 at most as big as f?
True
Let y = 9880.5 + -1933.5. Are -0.2 and y nonequal?
True
Suppose 510 = 58*r - 182 - 526. Which is smaller: -57 or r?
-57
Let g = -369174 + 2584213/7. Let d be ((-14)/(-8))/((-1)/(-12)). Which is smaller: d or g?
g
Let f be (-2 - (-176)/28)*7. Suppose -4*n - 3*s + s = 60, 0 = -2*n - 3*s - f. Suppose -935*o + 944*o + 99 = 0. Is n at most as big as o?
True
Let q = -102.6 + 104.262. Let a = -1.77 + q. Is 1 not equal to a?
True
Let h = 842 - 842. Let n = 15.345 - 0.045. Is h less than n?
True
Let p(h) be the second derivative of -2*h**3/3 - 141*h**2/2 + 58*h. Let i be p(-35). Which is bigger: 14/47 or i?
14/47
Let m(t) = -t**3 + 9*t**2 - 2*t + 18. Let w be m(9). Which is smaller: w or 35/96?
w
Suppose -313 = -d - 69. Suppose 5*n = 655 - 640, -5*n = 3*j - 747. Are j and d equal?
True
Let d = 253/49 + -6467/1323. Let l = -4/7 + d. Is l at most -1?
False
Let z = -6903.2 + 6776. Let j = -436 + 309. Let b = j - z. Is -17 < b?
True
Suppose 14*s = -4047 - 5123. Which is greater: s or 1/4?
1/4
Let x be -15*(16207/57 - 16). Which is bigger: x or -4024?
-40