39). Suppose 356 = n + s. Which is smaller: n or 0?
0
Let x(t) = -t**3 + 6*t**2 - 6*t + 2. Let i be x(4). Suppose 4*u + 768 = -8*u. Let o be (-208)/(-21) + u/112. Which is smaller: i or o?
o
Let a = -4594 - -4594.3. Is a smaller than -374?
False
Suppose 0 = 3*a + 12, 5*a + 23 = 2*m - 33. Suppose -59 = -5*y + 2*t + 28, -2*y + 5*t + m = 0. Which is smaller: y or 21?
y
Let s = 185210 - 461358074/2491. Is s at most -1?
False
Let t = -105280 + 524737/5. Let b = t - -333. Is -1/29 smaller than b?
True
Let r be 260*(-1)/7 + 2/14. Let o = r + 42. Suppose o*a = 3*z + 22, 5*z - 22 = -3*a - 2. Which is smaller: 1/11 or z?
1/11
Let m be ((-4)/8)/(7/(-84)). Let o be (-23)/138 - 5/m. Let w be 2/(-18)*(-48)/584. Is o > w?
False
Let j be (-3)/(9/(-2136)) - (1 + 0). Suppose -j + 81 = -5*u. Let g be 3/4*28/u. Which is smaller: 0 or g?
0
Let x(f) = 11*f**3 - 240*f**2 - 299*f - 4. Let q be x(23). Let c = 11998/5 + -13189/5. Let g = -241 - c. Does g = q?
False
Let z be (-345)/(-23) + (-365392)/24360. Which is bigger: z or 0?
z
Let o be (-6)/(-10) + (-681)/135 + 4. Suppose -15*d = -16*d + 77. Let x be (-4)/(-14) + (-22)/d. Which is smaller: x or o?
o
Suppose -y + 136 = 3*y. Suppose 2*j + 3*b = 59, -5*j - 2*b = -10*j + 195. Which is smaller: y or j?
y
Let z(l) = 3*l**2 + 168*l - 171. Let x be z(-57). Do x and -31/66 have the same value?
False
Let t = 35535 + -285411/8. Which is smaller: t or -140?
t
Let x = 6 - -15.39. Is 2/9 less than x?
True
Let s = 111039/35 + -3173. Let r = -281/385 - s. Suppose k = -k - 2. Which is smaller: k or r?
k
Suppose -2*a + 5*v = 5580, 2*a + 5580 = -18*v + 19*v. Is a greater than -2790?
False
Suppose 0 = -4*u + u. Let h be 75/100*(-3 - (-60)/52). Which is bigger: h or u?
u
Suppose -g - 6956 = 2*s - 912, -2*s + 4*g = 6054. Which is greater: s or -3022?
-3022
Suppose -3*a - 34 = -43. Suppose 3*q - a*g - 66 = -501, 4*g - 280 = 2*q. Does q = -150?
True
Suppose 0 = -17*j - 2304 + 2287. Is j equal to -8/4273?
False
Let x be (-3)/(-2) + (-62)/(-4). Let a = -88 + -38. Let q = a + 141. Is q smaller than x?
True
Let g = 2143.9 - -564.1. Which is smaller: g or 1?
1
Let h be 3/2 + -2 - 0/2. Which is bigger: -613.4 or h?
h
Let y = 34157/426650 - 1/17066. Let w = 1.7 + -0.5. Let j = w - 1. Which is smaller: y or j?
y
Suppose 0 = -18*h - 8 + 80. Let i be h/(-6 - -2) - -4. Which is smaller: 9 or i?
i
Let z = -347 - -346.584. Let m = z - 106.584. Which is smaller: -0.1 or m?
m
Let c = -78024/41 - -1903. Which is smaller: c or 11?
c
Let p = -15.32 - -2358.32. Is 0 > p?
False
Let i(d) = -197*d - 609. Let n be i(-3). Are n and -1 nonequal?
True
Let n be 5 - 3 - (-10)/(-29). Let d = 511/116 - n. Let b be 2 - (10 - 11) - (-4 + 5). Is d less than b?
False
Suppose -34*h + 15*h - 202200 = 101*h. Is h != -1685?
False
Let c = -4626 + 4637. Is -2 bigger than c?
False
Let w(b) = 112*b + 112. Let p be w(-1). Is p smaller than 5/179?
True
Suppose 0 = -2*s - 4*w + 666, -2*w - 1507 = -5*s + 194. Does 339 = s?
True
Let u be (-1*(-2)/4)/(2/(-164)). Let v = 72 + u. Suppose -2*c + 4*o = -c - 11, -v = 4*c - o. Which is bigger: -54/7 or c?
-54/7
Let m(q) = 28*q - 607. Let y be m(22). Which is smaller: y or 257?
y
Let f = -927 - -927.2. Is -9/250 less than or equal to f?
True
Let l = 7.8 - 47.8. Let o = -491.4 - -451. Let r = o - l. Is r at most -1/4?
True
Let j = 230 - 366. Let k = 133 + j. Which is bigger: k or -1.3?
-1.3
Let p be 8/6 - (-21 - (-469)/21). Is 1/17210 at most as big as p?
False
Let w(f) = 16*f + 261. Let j be w(-16). Let m be -3 + j + -1 + -2. Let r be (-22)/13 + -2 + 3. Is r at most as big as m?
False
Suppose 6*f - 3*f = 3. Let a = -29 + 33. Let r be 648/1827 - a/14. Which is greater: f or r?
f
Let c be (-1 + (-1)/(-4))/(713/(-718704)). Which is greater: c or 758?
758
Suppose -74*u = -209*u + 135. Do -1/12479 and u have different values?
True
Suppose 4*n - 4*t = 0, 3*n - 78*t + 80*t - 5 = 0. Is 93/65 greater than or equal to n?
True
Let h = 0.263 - 3.053. Let k = h - -2.89. Is k >= -70?
True
Let a = 179 - 161. Let c be (-60)/a*(-48)/(-10). Is -0.1 at least as big as c?
True
Let b = 470 - 101. Let t = 369 - b. Which is bigger: 1/2 or t?
1/2
Let m be 13 + 1 - 2085/3. Which is smaller: -682 or m?
-682
Let j = 33 - -4. Let r = -40 + j. Let t be 1/(-2) - r/2. Which is smaller: t or -1?
-1
Let l = 22714.3 + -22714. Which is bigger: 0.06304 or l?
l
Let q = 191051/58 - 3294. Which is smaller: q or -28?
-28
Suppose 3 = r - 1. Suppose -5*h - 3 = r*s, 5*s - 19 - 5 = 3*h. Let b be 3/12 - h/(-6). Which is smaller: 1 or b?
b
Let b = 68.4 - 1307.4. Let t = b - -413. Are t and 0 equal?
False
Let i be (1 - (-367)/3) + 2/3. Let k = -107 + i. Is k < -1/5?
False
Suppose 4*s + 4*d - 841 = 9*d, -1046 = -5*s + d. Which is bigger: s or 201?
s
Let u be 4/(-8) + 251283/290. Let s(f) = 58*f + 178. Let p be s(-18). Let k = u + p. Which is greater: 1 or k?
1
Let f = -6227 - -6218. Which is bigger: 5 or f?
5
Let a = -28.96415 + -0.03585. Which is bigger: -42 or a?
a
Let t = 2 - -1. Let s be (206/(-6)*t)/(-1). Let u be s/(5/(-15)*3). Which is greater: u or 0?
0
Let k = -3/19 + 856/5301. Is 1 less than or equal to k?
False
Let s be -82 + (-3 - 20/(-4)). Let u be (s/(-42))/(10/15). Let g(l) = 46*l - 596. Let f be g(13). Which is smaller: f or u?
f
Suppose 2*f + 58 = -6. Suppose 0 = -4*g + 27*y - 30*y + 16, 2*y = -2*g + 10. Let k(u) = -31*u**3 - u**2 + 1. Let s be k(g). Is f != s?
True
Let z(a) = 11*a**2 - 174*a - 30. Let j be z(16). Is 137 greater than or equal to j?
True
Let q = 29935/14573 - 120/59. Which is greater: 0 or q?
q
Let r be (58029/(-1620))/(-29) + ((-4)/16 - 1). Is 0 bigger than r?
True
Let r(f) = f**2 + 25*f - 4. Suppose -9*a = 256 - 103. Let w be r(a). Is -140 at most as big as w?
True
Let p(q) = q**3 - 38*q**2 + 36*q - 28. Let a be p(37). Suppose 22*k = -1367 + 3. Is a less than k?
True
Let x = -0.158 + -8.842. Let p = -8.18 - x. Is 0 less than p?
True
Let g(j) = -13*j**2 - 7*j + 8. Let h be g(-2). Let x(v) = 3*v**3 - 3*v**2 + 1. Let i be x(2). Let k = -16 - i. Which is smaller: k or h?
h
Suppose 3*t - 5*w - 20 = 0, 75*w - 78*w - 12 = 0. Is t less than -5/1833?
False
Let a be ((-5)/(30/(-879)))/((-14)/196). Which is smaller: -2050 or a?
a
Let f = -13 + 18. Let s = 32 - 5. Let n = f - s. Which is bigger: n or 0.1?
0.1
Suppose i = -3 - 13. Let z be i/56 - 26934/49. Let n = z + 550. Is 0 not equal to n?
True
Let j = -9755 - -10542. Which is smaller: 1/11 or j?
1/11
Suppose 0 = 6*a - 109 + 25. Let t be (a/(-40))/(6/45). Let f = 176 + -179. Which is greater: t or f?
t
Let j(v) = 5*v**2 + 35*v + 297. Let d be j(19). Is d less than or equal to 1?
False
Let p(d) = d**3 + 40*d**2 - 439*d - 38. Let o be p(-44). Is o equal to 11535?
False
Let d = 139.46143 - 0.05143. Let z = 138 - d. Which is smaller: z or 1?
z
Let f = -0.23 + 2.23. Let j = 0.0225 + -0.4225. Which is smaller: j or f?
j
Let w = 111.8 - 105.8. Does w = -4?
False
Suppose 0 = 5*o - 4*q + 144, -5*o = -o + q + 111. Let x = -62 + 47. Let g = x - o. Which is greater: 12 or g?
g
Let j be ((-3)/5)/((-3)/2) + 8/5. Suppose w - 3*c - 3 = 0, -6*c = -4*w - 3*c + 48. Which is bigger: j or w?
w
Suppose -8*t + 36 = -4. Suppose -5*u + t*z + 30 = 0, -u + 3*u + 23 = -5*z. Which is smaller: 3/40 or u?
3/40
Let f be (-2)/(-6) + 286/(-262158)*305. Which is bigger: 0 or f?
f
Let r = -64 + 67. Suppose 29 + 37 = r*q. Suppose -q - 38 = -5*c. Is 0 < c?
True
Let k be (-208)/(-24) - (-1 + (-8)/(-7)). Let d = 45 + -36. Let u = k - d. Is 1 at most as big as u?
False
Let u(m) = -2*m**3 + 11*m**2 + 3*m - 3. Let j(i) = 2*i**3 - 11*i**2 - 3*i + 3. Let d(q) = -5*j(q) - 6*u(q). Let k be d(7). Which is bigger: k or 127?
k
Let f = 74 + -42. Let w = 31.15 - f. Let j = w - -0.82. Is j less than or equal to -1?
False
Let u(c) = 6*c**2 + 20*c + 20. Let n be u(-1). Suppose 6*x = x - 20. Let m be (-104)/n*(18/x - -3). Which is greater: 109/4 or m?
109/4
Suppose 2*t = 2*b - 5*b + 1461, 0 = -5*b + t + 2422. Let i be (b/(-5))/((-7)/7). Is -1/3 bigger than i?
False
Let i = 279.528 - 0.528. Let h = i + -278.9. Is 21 > h?
True
Let o = 0 - -14. Let l = -1484097/11 + 134931. Is l < o?
True
Let f(p) = -p**2 - 17*p + 17. Let k be f(-18). Let z be (28/(-18))/2 - -1. Which is smaller: z or k?
k
Let f(h) = 57*h. Let y be f(0). Which is smaller: 84/67 or y?
y
Let d = 15968