t c be (17/(102/(-36)))/(3/(-9)). Suppose -t - 26 = -c. Is t equal to 0.3?
False
Let v = -20 - -19. Let n be (6*v)/(75/(-10)). Let s(j) = -3*j**3 - 4*j**2 - 5*j - 3. Let i be s(-1). Which is smaller: n or i?
n
Let n = -305 - -298. Let h be n - 8/(56/(-301)). Which is bigger: h or 38?
38
Let d be ((-3)/3 - (-110)/105)/((-2193)/(-13770)). Do 1 and d have the same value?
False
Let l = 3969 + -3969.3527. Which is smaller: l or -2/5?
-2/5
Let b be (40/(-16))/((-3)/6). Let p = -8 + b. Is -40/11 at most as big as p?
True
Let o = 74.03776 + -0.03776. Which is greater: o or 6?
o
Suppose 50*o = 360735 + 2801515. Let x be o/210 + (-10)/(-12). Is x equal to 303?
False
Let m = -0.11305 + 0.21305. Which is smaller: -0.2213 or m?
-0.2213
Let f be 10*1 - 1 - (343/(-294) - (-3735)/378). Let m(b) = -b - 3. Let w be m(-6). Suppose -x - 2*o = -15 - 3, w*x + 2*o = 34. Is x greater than f?
True
Let g = -43.1 + 119.1. Which is greater: g or 13?
g
Let h be ((-6)/7)/((-8)/(-56)). Let p be (45/6)/(-3) + h/12. Let z be ((-2)/p)/(18/108). Is 32/9 smaller than z?
True
Let s(d) = d**3 - 40. Let m be s(0). Let h = 30 + m. Let y be 9 + -12 - (-42)/h. Which is bigger: -6 or y?
-6
Let k be (1 - -311)/(2 + 11/(-22)). Let s = -411 + k. Is -201 bigger than s?
True
Let h be -2 + -36*(-14)/1. Let v be 1850/53650*(1 + 14586). Is h smaller than v?
True
Let q be (-60)/(-80) - (-3 + 627/116). Let f = -4 + 1. Is q less than or equal to f?
False
Let u be (159/4)/((-513)/(-152) - 0). Is u equal to 12?
False
Let p = -1014.15 + 1014. Let d be (-1 - (-18)/8)*4. Does p = d?
False
Suppose -9*s - s = -6220. Let d = -623 + s. Is -1/664 > d?
True
Suppose 4*k - 936 - 1797 = 287. Which is smaller: k or 754?
754
Let h = -1 - -1.6. Let l = -4.42 - 22.88. Let a = l + 28.3. Which is smaller: a or h?
h
Let k be 1/4 + (-45)/(-60). Let f(w) = -66*w**3 - 3*w**2 + w. Let n be f(k). Is -69 smaller than n?
True
Let q(t) = -t - 3. Let v be q(-4). Let y = -1289/4 + 5207/12. Let j = 113 - y. Does v = j?
False
Let f be 14/(-6) + (-11)/(-33). Let w be (3/(-12))/(((-4)/f)/(-152)). Which is smaller: w or -2?
-2
Let l be ((-20)/(-4) - 12/3) + 1. Let p be l/(7/((-35)/(-10))). Which is smaller: -2/121 or p?
-2/121
Let b be (5/(-10))/((-12)/48). Suppose 3*i + 17 = -b*i - 2*q, 4*i - 2*q = -28. Which is bigger: -0.07 or i?
-0.07
Let t(c) = -c + 11. Let i be t(11). Let l be -2*3/(-42)*(84/4)/(-63). Are l and i unequal?
True
Let k be 56/(-7) - -2 - -30. Let z be (66/24)/((-10)/k). Is -7 at most as big as z?
True
Let o(r) = -39*r + 1145. Let b be o(8). Are -1/9 and b non-equal?
True
Let g = 24267 - 69898. Is -45632 bigger than g?
False
Let q = -132.269 - -132. Which is bigger: q or -1/20?
-1/20
Let b(x) = -12*x**2 - 93*x - 20. Let m be b(-8). Is -45 at least as big as m?
False
Suppose -4*j = -2*c + 642, -18*j = -15*j - 3*c + 483. Is -166 less than or equal to j?
True
Let g(q) = -q**3 - 5*q**2 + 4*q - 5. Let s be g(-6). Suppose -36*w = -7*w - 6*w - 207. Which is bigger: w or s?
w
Let x be (-396)/(-60) - (-4)/10. Suppose -x*n + 4 = -5*n. Let v be n/4*(12 + -10). Are -1/5 and v equal?
False
Suppose -53*n = -25*n + 168. Let w be ((-5)/((-45)/n))/((-10)/(-45)). Which is smaller: w or 70?
w
Let g = 1910 - 1830.1. Let a = -243 + 163. Let d = a + g. Which is greater: d or 37?
37
Suppose 30*u = 34*u. Suppose 4*i + 50 = -5*y, 31 = -u*y - y - 5*i. Let l(a) = 2*a - 17. Let q be l(y). Which is greater: q or -30?
q
Let v = -6 + 14. Let l = v + -8.3. Let s be 18/(-651)*(24/56 + (-116)/42). Which is greater: l or s?
s
Suppose -2*a - 38 + 18 = 0. Let h = 98 + -106. Which is smaller: a or h?
a
Let p = -67.98 + 67. Let m = -8.02 + p. Is m bigger than 0.3?
False
Let z = 48233/6 + -8039. Which is bigger: 0.2289 or z?
0.2289
Let x be 13 + -21 + (-326)/(-43). Let j be (1/(-7))/(10/(-70)). Which is greater: j or x?
j
Let s = -48.257 - 103.743. Let h = 9.9 - 10. Which is smaller: s or h?
s
Let j = 22541 + -22540. Which is bigger: 222.2 or j?
222.2
Suppose g - 10*b + 49 = -5*b, 0 = -4*g - 4*b - 172. Which is bigger: g or -2?
-2
Let d(t) = 2*t**3 + 5*t**2 + 36*t + 24. Let a be d(-10). Which is smaller: -3671/2 or a?
a
Suppose -5*b - 2*f = -6 - 2, -5*f = 2*b + 1. Suppose -5*x = -w + 12, 4*x + b*w - 3 = 7*w. Which is bigger: -60/17 or x?
x
Let u = -62 + 61. Let g = 59 + -57. Let d be ((-110)/(-56) - g)/(48/36). Which is smaller: d or u?
u
Let y = 12/49 - 1371/196. Which is smaller: -6 or y?
y
Let c = 57.176 + -58. Let y = 0.824 + c. Is 200 at least as big as y?
True
Suppose -10 = -92*l + 87*l. Let j(n) be the second derivative of 5*n**4/12 - n**3 - 10*n**2 - 8*n. Let o be j(-3). Which is smaller: l or o?
l
Let a be 159232/317312 - (-6)/(-111). Does a = -1?
False
Let u(q) = -19*q + 50. Let g be u(-9). Let o = -112 + g. Which is bigger: 110 or o?
110
Let g(d) = -3*d - 21. Let w be g(-9). Let t = -28 - w. Let s = -31 - t. Are 14 and s nonequal?
True
Suppose -22*h + 4823 = -4725. Is h less than or equal to -8?
False
Suppose 3055 = -639*c - 12281. Let v(n) = n**3 + 8*n**2 + 7*n + 5. Let s be v(-7). Suppose 125 = -5*y + 3*k, -s*k - 125 = 5*y - k. Which is bigger: y or c?
c
Let j = 55313/120215904 + -1/80736. Is j less than or equal to 1?
True
Let i be ((-8)/(-28))/((-1)/(-7)). Suppose 5*k - 9*r + 8 = -6*r, 5*k + 3*r = -i. Are -1/65 and k equal?
False
Suppose -23*z + 21*z = -4. Let b = 57 - 33. Let m be (5/((-20)/b))/(z/10). Are m and -29 unequal?
True
Let i(o) = -33*o**2 + 2*o. Let g be i(2). Let z be 12/2*((-1066)/492)/(1/10). Which is smaller: g or z?
z
Let f = 2 + -2. Let o = 78326/225 - 3128/9. Is f at least o?
False
Suppose 12*i = 8*i - 48. Let h(w) = -w**3 + w**2 + 16*w - 14. Let j be h(i). Let k be (-8)/(-6)*51/j. Which is greater: 0 or k?
k
Suppose 20*x + 40 = -80. Let y(u) = -19*u**2 + u + 1. Let q be y(-1). Is x greater than or equal to q?
True
Let s = 597.3 + -562. Let d = s - 88.3. Which is bigger: -3/5 or d?
-3/5
Let r be (1 + 2)*((-16346)/(-22) - 4). Is 2218 less than r?
False
Let j = -24 - -24. Suppose j = t - 9*t + 8. Let w = 52/19 - 770/323. Is w < t?
True
Let k(x) = 2*x - 9. Let y be k(6). Let p be 2/(-3) - (y + (-383)/102). Let r = -59/102 - p. Is r > -2?
True
Let a(x) = 137*x - 10412. Let b be a(76). Do 4/9459 and b have the same value?
False
Let g = 1467/7 + -9103/42. Let y be (14/6)/(64/(-1152)*6). Which is bigger: g or y?
y
Suppose 4*f = -11*s + 6*s + 268, 0 = 3*s. Suppose -58*m = -f*m. Are m and -4.9 equal?
False
Let h = 78407 + -14034808/179. Which is greater: h or -1?
h
Let g be -13 - ((-3)/(-30)*0 - 12). Is 8/6889 not equal to g?
True
Suppose 2*u - 2*p + 1938 = -7*p, -p = -2*u - 1926. Let n = u + 940. Is -24 greater than or equal to n?
True
Let j = -7488 - -7517. Is 45 smaller than j?
False
Suppose -93*n + 11495 = -104*n. Which is smaller: -3131/3 or n?
n
Suppose -q - 2*z + 15 = 0, 24 = 2*q + 2*q - z. Suppose -14*j - 57 = -17*j. Suppose 2*a - 1 = l + j, 0 = 4*a + 3*l - 40. Is q less than or equal to a?
True
Let u be ((-1)/(-2))/(21/22140). Which is smaller: 526 or u?
526
Let w = -3/12361 + 919/1619291. Is w less than 1?
True
Let w be (-6128)/2376 - (-3)/(-11). Which is smaller: -0.1 or w?
w
Suppose -2*n = 7*n - 27. Suppose -165 = -n*m - 2*m. Let c be m/44*(-2)/(-6). Which is smaller: c or 17?
c
Let d = 787 - 956. Which is greater: d or -1/3?
-1/3
Let u = -1 - -96. Let i = u - 94. Is 8/21 < i?
True
Let p = 1.04 + -0.34. Let o = p + -0.45. Let w = o - 0.25. Is -2 less than or equal to w?
True
Let r be (-63)/(-36)*-2 + (-3 - -6). Let u = -4.3 - -4.3. Is r smaller than u?
True
Suppose -4*d + 9 = -3*s - 10, -1 = d + 5*s. Suppose q + 4*q + 134 = 3*l, d*q = 3*l - 109. Does -2 = q?
False
Let v be 276*(14 + 7588/(-546)). Is -0.3 smaller than v?
True
Let l be ((-8)/10)/((-2592136)/580). Which is smaller: l or 0?
0
Suppose 0*o - 26 = -3*i + 2*o, -4*i + 5*o + 44 = 0. Let y be ((-9)/i)/(1/(-4)). Which is smaller: y or -0.2?
-0.2
Let i = 665.9 + -666. Is i equal to -31/107?
False
Let u = -1.2 + 0.2. Let g = -132.0664677 + 0.0664677. Is g greater than u?
False
Let f(y) = -y**3 - 54*y**2 - 4*y + 38. Let q be f(-54). Which is smaller: q or 255?
q
Let a(i) = -3*i + 6. Let b be a(6). Let t be 1 - 3*44/b. Suppose -4*r = -8 - t. Is r != 25/6?
True
Let a = -0.10715 + -35.89285. Which is smaller: 6/19 or a?
a
Let i = -183539/6348 - -347/12. Let h = 2