46). Let q(v) = 15*v + 11. Let f(y) = r*j(y) + 6*q(y). Let d be f(-6). Which is smaller: 8 or d?
d
Suppose 5*t = -4*y - 120, 20 - 110 = 3*y - 5*t. Let k be y/9 + 4 + 334/(-15). Is k greater than -21?
False
Suppose 4*y = 5*y - 46. Let b = 80 + y. Is b smaller than 126?
False
Let x be 76/266 + (-32)/14. Let m be 2/80*x*7/336. Which is bigger: m or 1?
1
Let v = 1106 + -734. Let s = v + -357. Is 6 < s?
True
Let c(x) = x**3 + 3*x**2 + 2*x + 2. Let l be c(-1). Suppose 0 = 4*u + 20, 0*b = l*b + 2*u + 18. Let i be (-15)/4*(40/6 - 6). Are b and i equal?
False
Let b(n) = -n**2 - 172*n - 1156. Let g be b(-7). Is -1/7793 >= g?
True
Suppose 3*t = -4*h + 260, -h - 5*t + 82 = -0*t. Let z = -63 + h. Which is smaller: z or -88?
-88
Suppose r = -5*o - 4 + 3, 1 = 3*o - r. Suppose o = 3*d + 6, 0*d = 5*p - 5*d + 50. Suppose -4*t = -h + 42, 0*h - h = 2*t + 24. Is t equal to p?
False
Let p = 2801 - 2803. Which is bigger: p or -1013?
p
Suppose 2*p - 5*t - 184 = 0, 3*p - 8*p + 460 = -4*t. Let b be (-6 - p/(-16)) + (-518)/(-4). Let v = 129 - b. Which is greater: v or 59?
59
Suppose 4*n + 4*m = 9486 + 10154, -5*m - 24550 = -5*n. Which is smaller: 4908 or n?
4908
Suppose -273 = -2293*t + 2332*t. Which is smaller: 7 or t?
t
Let g(j) = -6*j + 47. Let a be g(10). Let c = -57 + 48. Which is smaller: c or a?
a
Let j = 1327 - 1327.4. Let y be -2 + (-3)/(-6)*2. Let a be ((-1)/(-1))/y + 2. Which is smaller: j or a?
j
Let j = 690.461 - 690. Let n = j - 0.071. Let p = n - -8.01. Are 0 and p non-equal?
True
Let j(h) = -8*h**2 + 7*h + 10. Let p be j(6). Let g be p/16 - (-1)/(-4). Let w = 28.1 + -28. Which is bigger: g or w?
w
Let r = 617/49 + -87233/6811. Which is smaller: r or 1?
r
Let o(h) = h**3 - 9*h**2 - 16*h + 9. Let g be o(12). Suppose 2*z + z - g = 0. Let l = z - 75. Which is smaller: l or 2?
2
Let w = 7612.97371 - 7613. Is -1/4 less than w?
True
Let m be 6/2 + -2 + 2 - 486036/162081. Are m and -1 non-equal?
True
Let s be (-3 + 2)/(2/166*-1). Suppose -1637 = -7*d - s. Are d and 221 non-equal?
True
Let j = 35 - 81. Suppose -1980 = -1972*t - 19728. Which is greater: t or j?
t
Suppose 4*d + r = 2589, -159*d + 633 = -158*d + 5*r. Which is smaller: 649 or d?
d
Let v = 18 - 17. Suppose 3*n + v = 7. Let g be 125/(-45) + 0 + n. Is g greater than or equal to -1?
True
Let w be (0 - (-2694)/2692) + -1. Let q = 13443/22882 + w. Let x be (0/2)/(134 - 133). Is x > q?
False
Let f = -40 - -72. Let s be ((-2)/3)/(f/(-150)). Let q be 6/9*60/8 + -2 + 1. Which is bigger: s or q?
q
Suppose -2*m - 3*x + 37 = 0, 0 = -4*m - x - 2*x + 83. Let s be -24 + m + 14834/18. Let f = s - 824. Which is greater: 0 or f?
0
Let q be (85/51)/(-147*16/(-36)). Which is bigger: -1 or q?
q
Suppose 3072*q - 3100*q - 6188 = 0. Is q at most as big as -188?
True
Let n be 107/(-214)*((-59)/(-104) - 0). Which is greater: -1 or n?
n
Let t = -7653 + 15640. Let d = t + -87705/11. Is d at least as big as 15?
False
Suppose -32464 = -3*k - 27592. Is 1622 at least as big as k?
False
Let a = 1632 - 1104. Suppose -532*f + a*f = 44. Is -8 at most as big as f?
False
Let a be 8/10*8600/210. Let b = -234/7 + a. Are -4.5 and b equal?
False
Suppose 1040 = 6*n - 4. Let h be (5129/n)/(((-35)/(-5))/308). Let b = -1297 + h. Which is bigger: b or 0?
0
Suppose 0 = -3*p - 2*p + 410. Let z = 59 - p. Let s = -0.143 + 0.043. Are z and s nonequal?
True
Let o(u) = -9*u**3 - u**2 + 2*u + 3. Let g be o(-1). Let f be (3/g)/(((-1)/(-42))/1). Which is smaller: 16 or f?
f
Let i(p) = -2779*p + 46. Let w be i(1). Which is greater: w or -0.1?
-0.1
Let a(c) = c**3 + 47*c**2 + 45*c - 46. Let h be a(-46). Which is smaller: 3/2846 or h?
h
Let h be (9/2)/(((-26)/(-7176))/((-130)/(-90))). Which is smaller: h or 1792?
1792
Suppose 0*a = 9*a + 324. Let f = a - -44. Let s be 3 - 28/110*(2 + f). Which is greater: s or -1?
s
Let h be (-4)/(-10) + (-766)/40. Suppose -18*f + 234 = -90. Let c be ((-19)/3)/(f/54). Which is greater: c or h?
h
Suppose 3*q = 10*q. Suppose 5*d + 190 = -q*d + 4*w, 2*d + 3*w = -99. Let u = 57 + d. Which is smaller: -1 or u?
-1
Suppose -8*w - 79 = 20*w + 2357. Which is smaller: -85 or w?
w
Let h be ((-3)/((-99)/39) - 1) + 82215/297. Which is smaller: h or 284?
h
Let b = 218 - 16346/75. Let p = 91265 - 91265.2. Is b less than p?
False
Let f be 90/20 - (-44)/(-8). Are f and -9/124 non-equal?
True
Let m = 30766 + -30171.12. Let n = m + -595. Is -0.16 equal to n?
False
Let s = 31424 - 31423.904. Is s > -1/11?
True
Let x be (-2 - (-58)/28)/((-9473685)/(-162065)). Let f = 1/15342 - x. Which is smaller: 0 or f?
f
Let i(y) = -9*y**2 - 2*y - 18. Suppose -6*n = 5*m - n + 5, -3*m - 28 = -2*n. Let v be i(m). Which is smaller: -331 or v?
-331
Let h = -16166510/77 + 209958. Let z be (-11)/(-7)*(-12 + 10). Let n = z + h. Which is smaller: 0 or n?
0
Let m(v) = 52*v**2 + 13*v + 24. Let n be m(-2). Which is smaller: n or 226?
n
Suppose 0 = -2*t + 2*x + 24, -5*x = -0*t + 2*t - 24. Suppose -36*z + 67*z = t*z. Is z not equal to 28/61?
True
Suppose 42*g = 46*g - 32. Suppose -4*a = -5*p - 12, 3*a - 6 = g*a - p. Which is smaller: 8 or a?
a
Let m be (16372/6630 - 0)/4. Let a = 1/510 - m. Let j be (-10)/45 + (-154)/(-126) + -3. Does j = a?
False
Let a be (-400)/5*(-5 + 6). Let f = -62 - a. Is f < 18?
False
Let v(u) = -u**3 - 2*u**2 - 17*u - 34. Let q be v(-2). Which is smaller: q or 53/84?
q
Suppose 3*u = 4*p + 6*u - 9, 0 = p + 2*u - 6. Suppose 0 = 2*z - p*z. Let q = -0.2782 + 3.3782. Which is smaller: q or z?
z
Let m = 611 + -28. Let t = m - 582. Do -116 and t have different values?
True
Suppose -468 + 494 = 13*c. Which is smaller: 92/109 or c?
92/109
Let q = 15195 + -12505487/823. Suppose 5*w - 2*d - 6 = -2, 0 = -5*w + 4*d + 8. Which is smaller: q or w?
q
Let q(v) = 87*v + 1124. Let c be q(-14). Which is bigger: c or -87?
-87
Let z = 97.1391 - 0.1391. Is 2/3 at least z?
False
Let a = -99 + -54. Let d be (133/84)/(-19) - (-20185)/(-132). Are d and a equal?
True
Let v = 873 - 627. Suppose 5*w = -v - 319. Are -113 and w non-equal?
False
Let k = -4676 - -4843.33. Let c = -168 + k. Let o = c - -0.37. Is o bigger than -0.1?
False
Let a = -1793.2 - -1793.6. Let n = -52.075 + 0.075. Is a <= n?
False
Let m(q) = q**2 - 27*q + 48. Let u be m(22). Let i = u - -65. Which is smaller: 17/4 or i?
i
Let p = 4085 + -4086. Which is greater: 56/191 or p?
56/191
Suppose 16*g = 127*g + 188 - 1520. Is g at most -145?
False
Let x be 32967/33*(-32)/1. Is -31967 not equal to x?
True
Let r be (-2)/3*30/8 - 20/(-8). Is r at least -42/1273?
True
Suppose 0 = 6*r + 57492 + 2010. Which is greater: r or -9915?
-9915
Let s(r) = -r**2 + 4*r + 119. Let h be s(0). Let l = h - 337/3. Which is smaller: l or 8?
l
Let k = -2930148/239 + 12260. Is 1 bigger than k?
True
Suppose -12*y + 14*y + 6 = -4*u, -2*y + u = 1. Let s be 10/(-4)*((-60)/25)/2. Let q be 2 + -2 + (s - 6). Do y and q have different values?
True
Let y be 5/(-20) - (-2)/8. Let t be ((-3)/21)/((-7070)/490). Is t equal to y?
False
Suppose 7*w + 1105 = 2*w. Let j = w + 199. Which is bigger: j or -25?
j
Let w = 6318.72 + -6318. Let j = 9.12 + -8.3. Let r = j - w. Are r and 5/3 equal?
False
Let z = -175 - -98. Let h = -56 - z. Let b = h + -34. Is -1 equal to b?
False
Let y(n) = 2*n**2 + 14*n + 30. Suppose -5*w = -3 + 58. Let u be y(w). Which is bigger: u or 117?
u
Let m be (-4)/(-20) - -4*2/(-40). Let n be (-15)/(-64)*-4*6/120. Which is smaller: m or n?
n
Let d(z) = 27*z + 4. Let p be d(3). Suppose 0 = -657*s + 151*s. Is s > p?
False
Let g = 1.89 - 0.98. Let f = g + -0.51. Let q = f - -4.6. Do q and 2/3 have the same value?
False
Let i be (-67615)/(-3465) + -1 + -6. Let g = -138/11 + i. Which is greater: 0 or g?
0
Let s be 0 - (-3 + 0/3). Suppose 3*g = s*w + 132, 7*g - w + 161 = 11*g. Is 4 <= g?
True
Suppose 6*f = 4*f + 100. Let s be (-10)/(-25) - 14/f. Let u be 6/(-8) - 60/(-80). Which is greater: u or s?
s
Suppose 0 = -21*h + 27*h - 684. Let y be 154/3 + 0 + h/171. Is y smaller than 53?
True
Let g(m) = m**3 - 12*m**2 - 10*m + 3. Let o be g(12). Let c be 1235/o + 11 + (-4)/9. Is -11 >= c?
False
Let z = -6393 - -4074. Which is smaller: z or -2315?
z
Let t = -46918/15 + 3126. Which is smaller: t or -3?
-3
Let l = -24611.947 + 24642. Let n = -0.053 + l. Let d = 0.072156 - 0.072156. Which is smaller: d or n?
d
Suppose 8*z - 3*z = 2*v - 21, 2*z = -v -