 43772/819. Let d(h) = -68*h + 953. Let k be d(14). Which is smaller: k or a?
a
Let q(k) = -331*k - 687. Let n be q(4). Are -2011 and n nonequal?
False
Let w(x) = 28*x**2 - x - 1. Suppose 0 = 2*o - 0*o + 2. Let r be w(o). Suppose -3*n - r = n. Which is smaller: -3 or n?
n
Let t be (-5)/(-4)*(502 - -13)*-4. Which is bigger: -2574 or t?
-2574
Suppose -3*v + 3*k = -603, 34*v - 221 = 33*v - 3*k. Is 23 bigger than v?
False
Let y be (-5)/(1*(1 - 0)*-1). Let b = -64 + 67. Suppose -b*w = -8*w + y. Is 30 smaller than w?
False
Let y be 1/(((-1)/(-8))/((-23)/(-92))). Suppose -6 = y*n, -5*j + 0*n + 5*n = 110. Let s be (-246)/10 + 3/5. Which is greater: s or j?
s
Suppose -14*c + 2 = -26. Let y be c/(-6) - (-7)/(-6216)*-284. Which is smaller: y or -1?
-1
Let d(s) = -s**3 - 12*s**2 + 28*s - 4. Let i be d(-14). Which is greater: 533 or i?
533
Let n be 94/34*30/30 + -3. Let y(x) = -x**2 - 4*x - 3. Let w(v) = v + 6. Let k be w(-9). Let b be y(k). Do n and b have the same value?
False
Let z be 4/42 + (-3762)/(-4158). Let y = -41609/31 - -1342. Which is smaller: z or y?
y
Let b(f) be the third derivative of f**5/60 - 11*f**4/24 - 37*f**3/6 - 48*f**2 + 2. Let g be b(15). Which is smaller: 22 or g?
22
Let r(o) = -18*o**3 - 6 - 17*o**3 + 34*o**3 + 0*o**2 + 6*o**2 - 5*o. Let z be r(4). Let t(w) = 4*w**2 - 15*w + 15. Let y be t(z). Is y less than 68?
False
Suppose 24*o - 28*o + 1100 = -h, -3*h = -24. Are o and -0.09 non-equal?
True
Let a be -3*4/12*(165 + 4). Let j = a + -342. Is -512 less than j?
True
Let z = 21665 - 14166. Is z not equal to 7500?
True
Let r = -4673 + 6657. Do 1985 and r have the same value?
False
Let d = -0.58 + 75.58. Let f = 79 - d. Which is bigger: 1 or f?
f
Let k be ((-16)/(-5))/(-2) - -3. Let g be 7/21*-24 + 9. Is k bigger than g?
True
Let s be 4 + 0 - (-444516)/(-111120). Is s at least as big as 0?
False
Suppose 8*j = j. Suppose 2*a - 5*w = -j*a - 88, -2*a - 4*w - 88 = 0. Is a bigger than -44?
False
Suppose -4*j - 5*l = -77, 2*l = 2*j - 58 + 6. Let u = j + -12. Let g(k) = 5*k**3 - 112*k**2 + 46*k - 33. Let b be g(22). Is b at least as big as u?
True
Let o = 15743.48 + -15743. Which is smaller: 25 or o?
o
Let s = -1237/54 - -670/27. Let l = 11/27 - s. Are l and 1 unequal?
True
Let c = 98 + 370. Suppose -3*w + c = 15*w. Which is bigger: 24 or w?
w
Let j be ((-216)/(-7))/(18/168). Let p be ((250/4)/(-5))/(12/j). Which is greater: p or -298?
-298
Suppose -5110*p - 41968 = -4938*p. Let u = 1.2 + -1.2. Which is bigger: u or p?
u
Let c = -92663/5 + 18443. Let b = 90 + c. Which is greater: b or 23.4?
23.4
Let p = -81 - -76. Let k be (-1)/(-1) + 13/p. Which is smaller: -1 or k?
k
Let h = 929 + -1529. Let w be (-60)/(-42)*16/h. Is w less than or equal to 0?
True
Let y = -268 - -230. Let i be y/90 - (-9)/15. Is i at most as big as 0?
False
Let k be 0 + 5 - (-10 + 252/27)*-6. Is 4/4361 bigger than k?
False
Let g = -78/395 - -36879/192760. Let n = 2057/17080 + g. Do -1 and n have different values?
True
Let h be -663 - -666 - (-176)/436*802/(-108). Which is smaller: h or 0?
0
Let r be (0 - (-15)/(-50))*10/(-76). Let k be (8/24)/(1/(-3)). Which is smaller: r or k?
k
Let s = 4346289291/11525315 - -12/311495. Let u = s - 377. Is 0 > u?
False
Suppose 25*y + 1242 = 1142. Is y > -59/14?
True
Let s = 0.0407 + 150.9593. Let k = 146 - s. Which is smaller: k or -46?
-46
Suppose -470*c + 21486 = 941 - 4365. Let h(d) = d**3 - 3*d**2 - 4*d. Let k be h(4). Which is smaller: c or k?
k
Suppose 0 = 39*g - 46*g + 5572. Suppose -f + 3*q = 154, 0 = -2*f + 7*f - 2*q + g. Which is greater: -161 or f?
f
Suppose -q + 74 - 10 = 4*b, 0 = -4*q. Let o = 0.57965 + -0.55965. Which is smaller: b or o?
o
Let r(t) = t**2 + 14*t + 4. Let v be r(-14). Suppose v*b + 5*n - 66 = 0, -2*b - 2*n = 3*b - 91. Which is smaller: b or 21?
b
Let j(i) = i**2 - 10*i - 173. Let a be j(-10). Let g be (-1128)/a - (-96)/72. Which is bigger: g or -41?
g
Let u(d) = d**3 + 3*d**2 + d + 28. Let y be u(0). Let t be (-35)/y - -10*(-75)/(-216). Which is bigger: t or 1?
t
Let f(n) = n**3 + 8*n**2 + 13*n + 2. Let y be f(-6). Let i be ((-74)/y)/((-2604)/(-24)). Let t = i + 8/31. Is t equal to 0?
False
Let o = 16092 - 16097. Is o bigger than 0.0805?
False
Let m = 37861 - 37861. Let c = 4862/129035 + 8/985. Which is smaller: c or m?
m
Let y = 40.568 + -6.868. Let f = 1.3 + -1.3. Which is greater: f or y?
y
Let r(l) = l**3 + 32*l**2 + 4*l + 125. Let t be r(-32). Let g be (80/(-200))/(12/45*t). Which is smaller: g or 24?
g
Let j be 2/((135/(-3))/1). Let x = -81 - -101. Let m = -21 + x. Which is smaller: j or m?
m
Let j be 4/16 - (-31)/4. Suppose 3*r = 2*v - j - 5, 10 = -2*r. Let m = -17/341 - -10/31. Which is smaller: v or m?
v
Let p(l) = 122*l + 1298. Let y be p(-13). Is y != -2/17?
True
Suppose -4*u = 13 - 5, -5*a - 3*u + 14 = 0. Let p(m) = -a + 2*m - m - m**2 - 10*m. Let r be p(-5). Which is bigger: 14 or r?
r
Let t = 79 - 112. Let c(n) = n**3 - 2*n**2 - 7*n + 12. Let d be c(5). Let y = d + -54. Which is greater: y or t?
y
Let g = 0.412 - -2.588. Let n be (-20 + 8)*(-2)/3. Let r = -2 - n. Is r at most as big as g?
True
Let l(q) = -3*q**3 - 19*q**2 - 58*q - 339. Let b be l(-6). Let g be (-436)/16 - (-2)/(-4). Is g less than b?
True
Let o(q) = 166*q + 8. Let z be o(1). Let a = z - 174. Is -1/17 less than a?
True
Let k be -1 + 0 + (-5)/(-7). Suppose a + 123 - 11 = -5*n, 4*a = -4*n - 128. Is n smaller than k?
True
Let x = -37 + 21. Let o be 279/(-12) + (-10)/(-40). Let w(l) = -l**2 - 22*l + 9. Let r be w(o). Which is greater: x or r?
r
Let i = -10.01 + 1.976. Let s = 0.23 + -0.196. Let o = i + s. Which is bigger: 1 or o?
1
Let k(w) = -4*w**2 + 179. Let l(u) = -11*u**2 + u + 536. Let p(z) = 8*k(z) - 3*l(z). Let h be p(-16). Does 130 = h?
False
Let a = 3799/55 + -234/11. Let v = -5955 + 5955.1. Is a >= v?
True
Suppose 726*h + 626 = 724*h. Let s = h + 317. Which is greater: s or -48?
s
Let h = -4.75 + 77.55. Let i = h - 71. Which is greater: i or 0?
i
Let x(p) = -325*p + 634. Let j be x(-14). Is 5184 less than j?
False
Let a = 5636 + -5580. Let x be (-2)/3*(75/35)/5. Which is smaller: x or a?
x
Let n = 80.85 + -80.85. Let d = -0.02 - -0.08. Let r = d + 10.94. Do r and n have the same value?
False
Let u be ((-34)/(-5950))/(32/(-12)). Which is smaller: u or -1?
-1
Suppose 0 = -5*q + m - 47, 0 = 2*q - 4*m + 7 + 1. Let x = q - -1. Let f(o) = -o**3 - 9*o**2 + 4*o + 98. Let l be f(-8). Which is bigger: l or x?
l
Let y = -20 - -27. Suppose -4*v + 25 - 13 = 0. Suppose -r - v = s, r + y = s - 4*s. Is -3/5 less than or equal to r?
False
Let l be ((-1)/(-2))/((-13)/(-338)). Suppose -11*a + 7*a = 0. Suppose t = a, 3*w - t - 42 = t. Which is bigger: w or l?
w
Let v = 100 + -100. Suppose v*n - 8*n + 16 = 0. Let r = 210 + -2280/11. Which is smaller: n or r?
n
Let q(r) = 241 - 9*r + 15*r + 3*r**3 - 243. Let h be q(4). Is h at most as big as 214?
True
Suppose -4*j + 5*h + 1 - 9 = 0, -24 = -4*j - 3*h. Suppose 0*y + y + j*o = -14, 24 = -y - 5*o. Which is smaller: 50 or y?
y
Let f = -108 - -755/7. Let b(j) = j**3 - 8*j**2 + 9*j - 22. Let p be b(7). Let k = p + 4. Is k at most as big as f?
True
Let n = -360/13 + 364667/13169. Do n and 0 have the same value?
False
Suppose 0 = -3*w - d + 90, 0 = 4*d + 2 + 10. Suppose 2*f + 2*x - 3*x = 15, 4*f = 3*x + w. Is 8 not equal to f?
True
Suppose 3*c + 17 - 2 = -3*q, -3*q - c - 5 = 0. Suppose y + 0*x + 6 = 4*x, -y - 3 = -3*x. Let d be y/160*(-36)/81. Which is smaller: q or d?
d
Let s be ((-176)/24)/(-11) - 14/3. Let c be s/(-18) - (0 - (-2362)/18). Which is smaller: c or -132?
-132
Let s = 2799.98 + -2800. Which is smaller: s or 196?
s
Suppose 140*v + 10160 + 112060 = 0. Which is smaller: v or -872?
v
Let r be (-110340801682)/(-852) + 3 + 1. Let a = -129507828 + r. Let p = -955/6 + a. Is 0 > p?
False
Let o = -11598/13 - -16712848/18733. Is o greater than 0.2?
False
Suppose 0*p - 5*q = -2*p + 114, -2*p = 4*q - 78. Suppose 2*m + p = -57. Let v = m - -44. Which is smaller: -10 or v?
-10
Let z(d) = -d**3 + 24*d**2 - 43*d + 32. Let b be z(22). Let x = b - -102. Which is greater: 2/7 or x?
x
Let s be (0 - (-81)/6)/(1/2). Suppose s + 3 = -5*t. Let d = t + 15. Is d > 3?
True
Let w = 3446 - 3171. Is w bigger than 270?
True
Let x(g) = -149*g - 266. Let h be x(-16). Let f = h + -417244/197. Which is smaller: f or 1