*2 + 36*y + 203. Let d be p(-29). Let b be (3/6 + d)/o. Which is smaller: 1 or b?
b
Let v = 1835/8298 - -1/922. Is 324 at least as big as v?
True
Suppose -428 = -4*t + h + 293, -4*t + 5*h = -741. Let b = t - 179. Is 1/31 at most b?
False
Let j be -1 + (-8)/(-2) + (1 - 1). Let k(x) = -2*x - 2*x**2 + 0 - x**3 + 3*x**2 - j - 4. Let p be k(0). Which is bigger: -1 or p?
-1
Suppose 21*b - 2790 + 270 = 0. Suppose -n = i + 39, 3*i + n + n = -b. Are -44 and i unequal?
True
Let r = -12.547 - -6.66. Let y = -0.887 - r. Let z = -1 + 11. Is z <= y?
False
Let q = -1122 + 1122.449. Let r = 0.151 + q. Which is smaller: 8/7 or r?
r
Suppose 1743*x - 110 = 1754*x. Is x greater than or equal to -2?
False
Let u be (-69)/(-85514)*2/(-1)*4/(-6). Are u and 0 non-equal?
True
Let t be 3/9 - (-354)/(-9). Let l = t + 21. Let y be (l/(-21))/(2/(-2 - 26)). Which is smaller: y or -14?
-14
Suppose 0*p - 16 = 2*c + 3*p, 5*c + p + 27 = 0. Let s be 1461/5 + (1/c)/1. Suppose -11*v = -72 + s. Which is smaller: -17 or v?
v
Let l = -17 + 41. Let o(y) = -y**2 - 23*y - 19. Let b be o(-21). Let d = b - l. Which is bigger: 7 or d?
7
Let c be (-8)/52 + (-5452)/(-286). Let k = 29/500 - 229/500. Do c and k have the same value?
False
Suppose 2*s - 152 + 46 = 0. Let k = -107/2 + s. Let z = 2/199 - 408/995. Is k equal to z?
False
Let p be (-62)/434 + (-2)/(-14). Let l be 2/((-4)/6)*(-3)/(-9). Which is smaller: l or p?
l
Let v(q) = 33*q + 13. Let t be v(9). Suppose g - t = -g. Suppose 23*c - 18*c - g = 0. Which is smaller: 30 or c?
30
Let f(t) = -t**3 - 7*t**2 + 2. Let x = 9 - 16. Let k be x*(-3)/6*-2. Let s be f(k). Which is smaller: 0.06 or s?
0.06
Let q = 2079.9 + -2075.3. Is -6.7 < q?
True
Suppose 25 = 2*j + 4*h + h, j - 10 = -2*h. Suppose 3*p - 144 = 2*w, -4*w = -4*p - 3*w + 187. Let d be (1 + (-42)/p)/(-5). Which is smaller: d or j?
d
Suppose -3*z = 4 - 13. Suppose 3*v - 48 = -z*o, 0 = 2*v - 0*v - 8. Let k = o - 12. Does k = 1?
False
Let m = -11013 - -10434. Is m less than 4?
True
Let x = 546625/208 - 2628. Let y be 1*4 + 66/(-11) + 2. Which is smaller: x or y?
y
Let g(j) = j**3 - 12*j**2 - 5*j + 35. Let v be g(14). Let c = v + -327. Is 91/3 equal to c?
False
Let d = -148.1 + 148. Let f = 133/4 - 27/2. Which is bigger: f or d?
f
Let o = -57.4 - -54. Let j = 3.58 + -0.08. Let f = j + o. Which is bigger: -29 or f?
f
Let b be -12 + 18*(-112)/(-147) - (-4)/14. Which is smaller: -224/5 or b?
-224/5
Let q(m) = m**2 + 4*m - 3. Let u be q(-6). Let a be 44736/135 - 16/(-72). Let b = a - 331. Which is smaller: u or b?
b
Let w = -1973 + 2005. Let q be 2*2*(-4)/(-24). Which is greater: w or q?
w
Let m = -19689/40 + -1563/8. Are m and -687 equal?
False
Suppose 7*b = 2*b - 4*l - 12, 5*b + 6 = -2*l. Is -2/197 not equal to b?
True
Let g = 3764 - 3796. Which is bigger: 0.6 or g?
0.6
Let j = -0.2 - -1.2. Let p = 23 - 79. Let u = -55 - p. Is j < u?
False
Let k(i) = 358*i + 8979. Let a be k(-25). Let n = 8 - 5. Let f be 72/n + 2 + 1. Is a > f?
True
Let g(l) = -l**2 + 148*l + 612. Let q be g(-4). Let j(m) = m - 7 - 3*m - 5. Let o be j(q). Is o smaller than -21?
False
Suppose 35 = 5*t + s, 20 + 15 = 5*t + 5*s. Let b(a) = -2*a + 6*a - 11 + 8. Let o be b(t). Do o and 23 have different values?
True
Let n be (-1584)/2640*555*1. Is n <= -328?
True
Let k be (2/13 + 576/(-702))*3. Which is smaller: k or 2538?
k
Let f = -202.6 + 11.6. Let a = 162 + f. Let s be 3/3 + 7/(-5). Is a not equal to s?
True
Let f be (-408)/44*7/(56/248). Which is smaller: -286 or f?
f
Let t = 156.103 + -156. Let z = -72.5 - -72.703. Let r = z - t. Which is bigger: r or 1/16?
r
Suppose 4*i + i = 15. Let y = 10.56 - 2.36. Let x = y + -7.9. Is x less than or equal to i?
True
Suppose 31*x - 9 = 34*x. Let f(h) = h**2 + 3*h + 3. Let y be f(x). Let m be (0 - 2) + y + 12/1. Which is smaller: 10 or m?
10
Suppose 50*u - 49*u = 9. Suppose -4*t = 16, 3*x + 5*t - u = 34. Which is smaller: x or 18?
18
Let o(h) = h**2 + 25*h - 223. Let x be ((-77)/(-21))/11*21. Let r be o(x). Which is smaller: 0.061 or r?
0.061
Suppose -14*r + 10*r + 4*h + 84 = 0, -r - 3*h = -5. Suppose r*z + 25 = 8. Are z and 4/77 unequal?
True
Let n be 24*(15 + (-22831)/1522). Does 0 = n?
False
Suppose -25*q + 27*q + 2*z = 6034, -z = 2*q - 6037. Which is greater: q or 3021?
3021
Let r(w) = -w**2 - 10*w + 3. Let m be r(-7). Let f = 190 + -185. Suppose f*s + 19 = m. Which is greater: s or 1/60?
s
Let k be -10*-15*(-4)/24. Let c = k - -42. Suppose -3*p + 4*r + 73 = 0, 4*r + 35 = 3*p - 2*p. Which is bigger: c or p?
p
Let n be -1 - (-15)/(4 + -1). Suppose -v + n + 15 = 0. Let r = -19 + v. Are r and 2/7 nonequal?
True
Let f(q) = -2*q**2 - 17*q + 12. Let v be f(-9). Suppose z + v*w - 6 = 0, -4*z + 2*z + 11 = 5*w. Let l be ((2 - 4) + z)*1. Which is smaller: 1/58 or l?
1/58
Suppose -2*p = -5*k - 19, 5*p - 2*p - 3*k - 15 = 0. Let n be (p + 9)*(-3*1 - -2). Is n bigger than -9?
False
Suppose -6*f = -541 + 169. Suppose 2*w + 4 + 10 = 0. Let h be (-8)/(-2) + (-413)/w. Which is smaller: f or h?
f
Suppose 54*k + 10*k + 31111 + 23225 = 0. Is -855 at least k?
False
Suppose 8*l + 3*z - 17 = 9*l, l + 3*z = 13. Let p be -1*(-2)/l*(-31 - -32). Let t be 1/2*(-6)/39. Do p and t have the same value?
False
Let v = 45622/73 + -625. Let i be (1/(-3))/((-6205)/(-2955)). Let s = i - v. Does s = -0.2?
False
Suppose -70*k + 59*k = -22. Is 29/47 > k?
False
Let x = -49965473/36480 + 11/12160. Is x greater than -1369?
False
Suppose 2*r - 67 = -449. Let m be (48/(-5))/((-33)/(-660)). Which is smaller: m or r?
m
Let v(p) = -384*p - 776. Let c be v(-2). Which is bigger: c or 1/4?
1/4
Let u(a) = 2*a**2 - 16*a + 10. Let i be u(7). Let r be (80/(-28))/(i/14). Let l = -9 - -19. Does r = l?
True
Suppose -4*w = 3*u - 64860, -247*w + 2*u - 16220 = -248*w. Are w and 16212 equal?
True
Let z(f) = -f**3 - 17*f**2 + 26*f - 26. Let v be z(-19). Let c = v - 442. Let w = -955/4 - c. Is w less than 1?
False
Let l = -2273/4 - -558. Let m = 27251.2 + -27251.2. Is l at least as big as m?
False
Let p be -1*((-3)/(-3) - 1). Let g = 1903.77 - 1903. Which is smaller: g or p?
p
Let m(f) = 3*f**3 + 55*f**2 - 47*f - 28. Let a be m(-19). Is 141 at least as big as a?
False
Let w = -4787 + 4788. Let r(g) = -g**2 + 7*g - 8. Let z be r(6). Does w = z?
False
Let j = 18128 - 18127. Do j and 284/127 have the same value?
False
Let d = 782 + -706.2. Let y = -2078 - -2154. Let h = y - d. Is h less than or equal to -18?
False
Suppose 2*o - 191 = -5*h, 3*h + 0*h = 3*o + 102. Let x = -3884/105 + h. Which is smaller: x or 1?
x
Let y = -89 + 48. Let h = 124/3 + y. Let j = 125.57 - 123.57. Which is greater: j or h?
j
Let m = 1607 + -1607.018. Is 3/8 at least m?
True
Let a be 76/(-76)*744/(3 - -3). Let o be (1/3)/((-3)/6). Is a at most as big as o?
True
Let g(o) = 44*o + 227. Let s be g(-5). Let b = -597/5 - -7731/65. Which is greater: s or b?
s
Let b = -11.9 + 97.9. Let k = 920 - 919. Is k >= b?
False
Suppose h = -4*m + 11, -m = 2*m. Suppose -f + h = 10. Is 2/5 at least as big as f?
False
Let y = -583 - -634. Let k = -60.2 - -12.4. Let m = k + y. Which is bigger: -1 or m?
m
Let z(d) = -1169*d - 536. Let s be z(-1). Which is greater: s or 623?
s
Suppose -35*n - 42546 = 11179. Are -1537 and n unequal?
True
Let w = -18859384/1803 - -10460. Is -1 at most w?
True
Suppose -2*m = -4*y + 6600, -35*y + 9972 = -3*m - 38*y. Which is greater: m or -3309?
-3309
Let z = -15.68 - -16. Let u = 0.02 - z. Let y = 917 - 914.9. Is y greater than u?
True
Let t(m) = -6*m + 17. Let g be t(2). Let i(q) = -q**2 + 6*q - 13. Let v be i(g). Is 0.04 greater than v?
True
Let o = 6272500/107 + -58622. Is o at most as big as -1?
False
Let v = -146 - -149. Let r be (-4)/(-18) + -4 + 2114/693. Which is smaller: r or v?
r
Let t = -49922 + 298255/6. Let k = t + 213. Is k at least as big as -1?
True
Let u(l) = -5*l + 3. Let i be u(6). Let g be (14/(-63) - (-118)/(-9))*(-246)/(-205). Let p = i - g. Which is greater: p or -45/4?
p
Let j = 26640 + -26641. Which is greater: 0.00944 or j?
0.00944
Let d = -1.1185 - -5177.1185. Which is bigger: d or -0.2?
d
Let r = -1447 - -1473. Are r and -11 equal?
False
Let h = 5/513 + -68359/13338. Which is smaller: h or -4?
h
Let b be (56/(-10))/(18/(-585)). Let d = b - 74. Does 108 = d?
True
Let v(x) = x**2 + 10*x + 14. Let b be (14/35)/((-1)/20). Let s be v(b). Le