
Suppose 3*l = n + 4, 0*l - 92 = 5*n + 3*l. Let s = n - -23. Suppose -90 = -120*y + 30*y. Is s equal to y?
False
Let v(g) = -21*g**2 - 107*g + 1377. Let a be v(11). Which is smaller: -2343 or a?
-2343
Let y = 443 - 126. Which is bigger: -3/2 or y?
y
Let f be 54/834*(1 + (-8)/6). Let p = -37 - -37. Which is greater: f or p?
p
Let w = 613 - 658. Let g = -2.8 + 1.3. Let f = g - -0.5. Which is bigger: f or w?
f
Let i(o) = -o**2 + 17*o + 13. Let f be i(18). Is f at least -47/12?
False
Let c = 5078 + -50153/10. Which is greater: 64 or c?
64
Let x(k) = k**3 + 11*k**2 - 3*k + 6. Let z(a) = -a**2 + 21*a + 14. Let i be z(22). Let q be x(i). Which is smaller: q or 224?
q
Let d = -26.6 + -32.4. Let c = d + 71. Which is greater: c or 2/3?
c
Let q = -7.4 - -7.407. Let s = 0.007 - q. Are -1/8 and s nonequal?
True
Suppose 5*k = -2*o + 50, -5*k + 4*o + 0*o = -20. Let c be k - (-4 + 3) - (-1 - -1). Let t be (c/54)/((6/8)/3). Which is bigger: 24 or t?
24
Let z = -4427 + 22681/5. Let p = z + -109. Which is smaller: -2/3 or p?
-2/3
Let a be (1*1/(-1))/(1807/702). Let v = 7119/2224 + a. Which is greater: v or 4?
4
Let p = -6.9 - -4.7. Let y = 1.73 + p. Let v = y + -2.53. Which is smaller: v or 0.11?
v
Let i = 35.08 + -37.08. Which is greater: -757 or i?
i
Let m be (-1531)/(-2952) - (403/26 + -15). Let x = 705889/3608 - 2152/11. Let q = x + m. Is 1 greater than or equal to q?
True
Let q be 6/(-32)*-2 - 750/(-48). Let i be -59*(-4)/q + (-1)/(-4). Which is bigger: i or 14?
i
Let l be (498/8)/(21/(-84)). Let q = l - -249. Which is smaller: q or 1?
q
Suppose -2*r = l + 1016, 1421 = -l + r + 402. Is -1018 at least l?
True
Let x = -61 - -131. Let o = x + -72. Let c be (-5)/10 - 131/90 - o. Is -1 at most as big as c?
True
Suppose 29 = 4*v - 183. Suppose -9*w + 251 = v. Let o(a) = a**3 - 21*a**2 - 23*a - 14. Let g be o(w). Are -37 and g equal?
False
Suppose 5*f = d - 290, -2*f + 2*d - 4*d - 128 = 0. Let u = -58 - f. Suppose -3*t + 10 = -v, -2*v - t + u = -0*t. Is v at least as big as 2/117?
False
Let l(j) = -14*j**3 - 5*j**2 - 23*j - 45. Let s be l(-2). Is s less than or equal to 82?
False
Let d = -0.84 + 0.844. Let o = -17 + 16.964. Let w = o - d. Is w > -1?
True
Let a be (-4376)/(-138) + -5 - (-190)/(-285). Are a and 26 nonequal?
True
Suppose -3*i = -b - 19 + 19, -4*i = -2*b. Are -9/749 and i equal?
False
Let u be (11452/60 - 8) + (-7)/((-735)/14). Which is bigger: 170 or u?
u
Let l(g) = -g + 12. Let c be l(13). Let z be 5 + c + 143/(-26). Which is bigger: -5 or z?
z
Let z = -331 + 814. Let t be z/(-98) - (-5 - -1). Is t smaller than -1?
False
Let n(f) = 13*f**3 + f**2 - 1. Let s be n(-1). Let l = 944 + -928. Suppose t + 1 = -3*q, l = -2*q + t + 17. Is s bigger than q?
False
Let l = -82 - -86. Let q be -6*-1*(4/l)/2. Suppose a - 3 = -2*y, -q = -5*y - 3*a + 5. Which is bigger: 1/7 or y?
y
Let z = 279 + -274. Suppose 0 = z*i - 4*v + 64, -39*v = -34*v + 20. Which is greater: -91/6 or i?
-91/6
Let j(a) = a**3 - 52*a**2 + 693*a + 16. Let t be j(28). Is 602 > t?
False
Suppose -5*m = 10, 2*m + 0 = -r + 1. Suppose r*f - 57 = 143. Suppose 40 - f = -5*s. Which is bigger: s or 3/14?
3/14
Suppose -2*w - 669 + 4229 = 2*t, 0 = 11*w - 3*t - 19510. Which is bigger: w or 3551/2?
3551/2
Let c be 7 + ((-188)/8)/((-6)/(24/(-14))). Is c less than 13/6?
True
Let r be (-15)/(-24)*-10*(-1197)/15. Let x = r + -498. Let u be 2*-1*(-2)/4. Which is greater: x or u?
u
Suppose 3*d + 5*a + 12 = -12, 2*d + 11 = -5*a. Let z = -11 - d. Suppose 6*y - y = z*u + 27, y - 5*u - 10 = 0. Which is bigger: y or 6?
6
Let g = -12189 + 6521117/535. Which is bigger: g or 0?
g
Let n = 12168 - 12234. Which is greater: 0.3 or n?
0.3
Suppose -16*y - 79 - 225 = 0. Let j be (-2)/(-1) - (-39)/y. Is j <= -1?
False
Suppose -4*c - 2*j - 6 = -18, 8 = 4*c + 4*j. Suppose -5*q = -c*q - 6. Suppose -14 - 4 = -q*x. Which is greater: x or -0.3?
x
Let q be (-2)/(-2178)*(-519)/1384. Do q and 1 have the same value?
False
Suppose 23 = -3*j + 2*a - 0*a, -2*j = -4*a + 18. Let s(p) = -34*p**3 - p**2 - 2*p + 2. Let h be s(1). Let k be 2/((-95)/h + -3). Is k less than or equal to j?
True
Let c = -2/5903 - -25238/4799139. Which is smaller: c or 1?
c
Suppose -2 + 3 = u. Let s be (-5)/115 - (-9842)/233772. Is u at most s?
False
Let b = -8678 + 8610.3. Are 1 and b non-equal?
True
Let s = -2143/14 + 152. Let x(l) = -59*l - 355. Let c be ((-9)/2)/((-129)/(-12) + -10). Let p be x(c). Which is greater: p or s?
p
Suppose 0 = 4*s + 3*h - 4325, 37*h - 33*h + 4304 = 4*s. Is 1079 at most as big as s?
True
Let u be 1*(0/(-1))/((-13 - -38) + -27). Let q be (-32)/(-4)*1/(-1194). Is u not equal to q?
True
Let g = -3477/7 + 497. Let p = -0.1298 + -101.8702. Which is greater: p or g?
g
Suppose 17 = 4*o - p, 3*o + 20 = 8*o - p. Let b be -4 - ((-1)/((-105)/(-715)) + o). Which is smaller: b or 0?
b
Suppose -40 + 60 = -4*z. Let b = -634.1 - -659.1. Which is smaller: z or b?
z
Let a = 364.507 + -0.507. Let k = -364.07 + a. Does -13 = k?
False
Suppose 2*l = 6*l, 0 = -a - l. Suppose -2*n - n = a. Let c = 2662/273 + -128/13. Which is smaller: c or n?
c
Let i = 16.4 - 16.512. Let f = i - -0.012. Which is smaller: 16 or f?
f
Let i = 715/172 - 570307/137772. Are i and -1 equal?
False
Let d be 2/(-9) - (-128)/414. Let w = -1845 - -1845.01. Which is smaller: d or w?
w
Let q be (-104)/780 + 664/30. Which is smaller: 13 or q?
13
Let q = 2457 - 2286. Which is bigger: 197 or q?
197
Let z(i) = 2*i**2 + 27*i + 111. Let g be z(-8). Suppose -35*d = -g*d - 60. Let p = 17167/7 + -2447. Which is smaller: d or p?
d
Let y = -115 + 78. Let u(c) = -3*c**2 - 975*c + 3911. Let r be u(4). Are y and r equal?
True
Let l be (-147)/9*-1*3. Suppose 41*p - l*p + 88 = 0. Do 8 and p have different values?
True
Let k(j) = -j**3 + 11*j**2 + 15*j - 33. Let x be k(12). Are 47/20 and x nonequal?
True
Let b(w) = -3*w**2 + 10*w - 7. Let p be b(7). Let q = p - -152. Is q greater than 135/2?
True
Let m be (6/4)/(((-135)/(-372))/(-3)). Let o(j) = 4*j + 131. Let p be o(-36). Which is bigger: m or p?
m
Let i = 4620.11 + -4577. Let p = -1.89 - i. Is -2/5 greater than p?
True
Suppose -5*o + 385 = -7*g + 707, -62 = o - g. Which is greater: -89 or o?
o
Suppose 21 = -4*n - 15. Let r be 1 - -1 - (n + (-259)/(-7)). Which is smaller: r or -3?
r
Let s(o) be the first derivative of -7*o**2/2 - 4*o + 20. Let d be s(2). Let w be d/9 - (0 - 1080/542). Do 1 and w have the same value?
False
Let h = 363 + -438. Let n = h - -83. Let u = -6.14 + 0.14. Is n at least u?
True
Let z = 5 + -27. Let j be 2/(-4)*z/(-3). Let d = -0.042683 + 0.042683. Which is bigger: d or j?
d
Let d be (-4)/(-72)*783*(-76)/(-6). Which is greater: 2 or d?
d
Let u = -66.488 - -9.488. Which is greater: -84/11 or u?
-84/11
Let m = 3022 - 3078. Which is bigger: -62 or m?
m
Let f = 88.359 - 89.38. Which is bigger: 0.1 or f?
0.1
Let q = 5267 - 4011. Which is smaller: 3767/3 or q?
3767/3
Let n be 8/((-56)/35) + 2316/452. Suppose 5*r - 40 = -15, 14 = -4*f + 2*r. Which is bigger: n or f?
n
Let k(c) = c**2 + 10*c - 232. Let f be k(-21). Which is smaller: f or -11/171?
f
Suppose 26 = 26*x - 0*x. Suppose i + 4*i = 190. Let c be (-118)/i + 10 + -7. Which is bigger: c or x?
x
Suppose 15 = 2*q + 5*r, 5 = -r + 2*r. Let f = 30.2 + -61. Let k = 31 + f. Which is smaller: q or k?
q
Let h = -251 + 249. Let z be (-14)/h + (-86)/1. Let c be 0 - 80 - (-1 - 1). Is c not equal to z?
True
Suppose 0 = 53*r + 663 + 556. Let k = r + 35. Which is greater: 23/2 or k?
k
Suppose 0 = -2*m - 2*a + 2, 3*m + 32*a - 34*a - 13 = 0. Suppose -7 = 4*o - m*o + 3*u, 0 = -o + 4*u. Let c = -13/3 + 77/15. Which is bigger: o or c?
c
Suppose -w + 396 = 3*m, 5*m + 5*w - 596 = 74. Let s = 198 - m. Let r be 14/70 - (-334)/5. Is r less than or equal to s?
True
Let d be -12*((-27)/(-243))/(1/87). Let g(w) = -9*w - 8. Let i be g(12). Is d greater than or equal to i?
True
Let n be 1785/7293 + (1/4)/((-77)/28). Are n and -9.47 non-equal?
True
Let l = 4649/4 - 1162. Suppose -3*j - 2 = 4*g, -5 = 2*g + g + 4*j. Let n be g/(-6) + 210/396. Which is bigger: l or n?
n
Let h(r) = r**3 - 17*r**2 - 19*r + 17. Let s(x) = 3*x**3 - 3*x**2 + 4*x - 2. Let w be s(2). Let q be h(w). Let u be (180/12)/(q*1). Are -27/2 and u unequal?
True
Let t be 20/((-25)/((-1125)/(-42690))). Are 1 and t unequal?
True
Suppose 8*g - 100 = -76