+ 4*f, t*g = g + 5*f - 31. Let j be 2/(g/(-108)*(10 + 1)). Which is smaller: j or 4?
j
Suppose -26*p - 24848 = 12826. Which is smaller: p or -2899/2?
-2899/2
Suppose 29*x - 91*x + 18582 = -24*x. Which is smaller: x or 2/19?
2/19
Let h = -321.1 - -0.1. Let q = h + 322. Does -0.103 = q?
False
Let l(f) = 15*f + 480. Let x be l(-33). Which is smaller: x or 2?
x
Suppose 37 = 5*x - 4*v, 0 = -3*x - 0*x - 2*v + 9. Suppose x*i - 5*o = -20, 0*i - o + 10 = 5*i. Let f = 161314/13 + -12409. Which is smaller: i or f?
f
Let l be (-1232)/(-80) + (-6)/(-10) + 1. Which is bigger: -40 or l?
l
Let r(p) = -19*p + 99. Let h(a) = 124*a - 644. Let s(q) = 5*h(q) + 32*r(q). Let f be s(3). Is f at most as big as -9?
True
Let a = -116056/59 - -1967. Which is greater: 0.1 or a?
0.1
Let w = 202 - 204. Let m be 7/3 - w*3/9. Suppose 18 = 4*b - 2*x, -2*x = b - 7*x - 18. Do b and m have the same value?
True
Let u(f) be the third derivative of 1/4*f**4 + 12*f**2 - 11/3*f**3 + 0 + 0*f. Let x be u(8). Is x greater than 25?
True
Let a = 225 - 2023/9. Let u = -6826/3 - -2275. Do u and a have different values?
True
Let c be ((-2974)/(-3))/(36977*14/(-63)). Let i = -13/103 - c. Is 1 < i?
False
Let l = 19.7 + -58.7. Let f = l + 34. Is 0.07 < f?
False
Let g be (((-756480)/(-100))/(-16))/(3/(-10)). Does 1576 = g?
True
Let p = 3246 - 3204. Which is greater: p or 35?
p
Let h(a) = 97*a**3 + 27*a**2 - 19*a - 4. Let r be h(3). Which is smaller: -1 or r?
-1
Let r(w) = 3*w + 42. Suppose 14 = y + 5*s + 13, -4*y - 68 = -4*s. Let p be r(y). Is 1/783 <= p?
False
Let j = 13/106 + -8407/53. Let q = 194 - 358. Let u = q - j. Which is smaller: u or -6?
-6
Let i = -800 - -546. Let f = -256 - i. Is f smaller than 2/5?
True
Let q(f) = 2*f**2 + 19*f + 5. Let b be q(-4). Let i = b - -30. Suppose 2*m + 2*a + 22 = -m, 0 = 3*m - 5*a + 50. Which is bigger: i or m?
i
Suppose 3*h - 5*l - 47 = -6, 3*h - 4*l = 40. Let s be ((-54)/(-8))/((-18)/h) + 4. Is -1 equal to s?
False
Let w = 1.37 + -67.37. Let q = 30 + w. Let b = q + 38. Is -10/9 at least b?
False
Let l = -2.098 - -3.682. Is l at least -1?
True
Let o be ((-14)/98)/(-1 + (-902)/(-903)). Suppose 13 + 238 = 2*u - 5*k, -3*u = 2*k - 386. Which is greater: u or o?
o
Suppose -5*d + 6 = z - 7, -z - 4*d = -10. Suppose 2*r + 4*m + 16 = 8*m, 0 = 2*m - 4. Let w be ((-4)/(-12))/(r/36). Which is smaller: w or z?
w
Let j = 1852/3355 - 2/305. Let h(a) = -a**3 + 6*a**2 + 29*a - 17. Let t be h(9). Suppose -4*l + 7 = -x, -12*x + 7*x = -2*l - t. Which is smaller: j or x?
j
Let i(s) = -3*s**3 + 66*s + 580. Let t be i(-9). Is 2171 equal to t?
False
Let d = -95/14 + 13/2. Let l be (1 - (-1 - -6))/(16/(-136)). Suppose 3*g + 11 = 5*q, -g + 27 = -5*q + l. Which is greater: q or d?
q
Let q be (-56)/(-7) - (3 - -1) - 0. Suppose -4*r = q*c - 32, -4*c = -2*r - 7 + 5. Which is bigger: c or -118?
c
Let j be (-14)/(-91) - 1532/(-13). Suppose 0 = 2*p + 5*x - 125, -2*p + x = -1 - j. Is 57 less than p?
True
Let r = -0.29 - -2.29. Let m = 1053.2 - 1050. Which is greater: r or m?
m
Let p be (-216)/30*-3*(-5)/(-3). Suppose -3*b + 19 = 5*q + 88, 2*q + 4*b + p = 0. Is q at least -8?
False
Suppose -r - 1 = 3*s, 0 = 3*r - 2*s + 3*s - 5. Suppose -3*v = 4*k - 16, 2*v + r*v = 0. Suppose -10 = j + k*j, j = -4*l + 66. Is l < 18?
True
Let p = 237 - 240. Is 175.2 less than or equal to p?
False
Let q = -13627155617/3275916312 - 5/2498792. Let h = q - 3/437. Are h and -4 nonequal?
True
Let s be (7 - 2)*(2 - -1). Let u = s - 12. Let x be u/2*(-24)/60. Are x and 0.3 equal?
False
Let n = -778 - -1517/2. Let w be 3 - ((-140)/(-16) - 6). Is w bigger than n?
True
Let d = 488 + -977/2. Let k = -6.0979 - 0.0321. Let f = -0.13 - k. Is f at most d?
False
Let f(n) = 9*n - 64. Let u be f(10). Suppose 22*d + u = -18. Is d < 43?
True
Let v = 49 + 637. Let q = v - 588. Does 0 = q?
False
Suppose -109*o - 45193 = -10118 + 70982. Is -967 < o?
False
Suppose -b + 105 = -64. Suppose 3*f + 12634 = -4*x + 13126, x - 854 = -5*f. Are f and b equal?
False
Suppose 30*x - 549 - 1332 = 63*x. Which is smaller: x or -225/4?
x
Let a = 303 + -316.7. Let z = a - 46.3. Let r = 59.97 + z. Is r bigger than 0.4?
False
Let m = 1 + 9. Let q = m + -10. Let f = -4152 + 4160. Which is bigger: f or q?
f
Let c = 360 - 344.3. Let h = c - 15.9. Which is greater: 5 or h?
5
Let u = -18253/936 - -1/936. Let j(x) = -2*x + 10. Let r be j(4). Suppose 0 = -5*w + d - 96, w + r*w - 2*d + 52 = 0. Is w at most u?
True
Let s(m) = -2*m - 10. Let a be s(-10). Let c(n) = -n**3 + 22*n**2 + 19*n - 91. Let y be c(23). Let i = -174 - y. Which is bigger: i or a?
a
Suppose -727 = 8*k + 1153. Which is bigger: k or -240?
k
Let p = 213.036 - 0.036. Let y = 214 - p. Is y greater than 9.6?
False
Let z = -305/54 + 4/27. Let t = 919 - 924. Which is bigger: t or z?
t
Suppose -66 = -3*h - 21. Suppose h - 17 = -4*u + 2*j, 3 = -4*u - 3*j. Let y be (6/(-244))/((-3)/(-4)). Is u less than or equal to y?
False
Let b(v) be the second derivative of -v**5/20 + v**3/3 - v**2 + 19*v. Let g be b(1). Let m be 0/(2 - (g + 1)). Which is smaller: -3/8 or m?
-3/8
Let y be (-3)/(-3 + 0) - 1653340/1653366. Which is greater: 0 or y?
y
Suppose 2*t = -2*t + 16, -4*n + 17676 = -5*t. Which is bigger: 4425 or n?
4425
Let o = 385822/3339 + -1040/9. Suppose 0*i + 26 = 4*j - i, 2*i - 25 = -3*j. Suppose 2*b - j*b = 0. Do b and o have the same value?
False
Let m = -290 + 195. Let l = -3 - m. Let j = l - 80. Is 0.4 >= j?
False
Let n(k) = -2*k**2 + k + 1. Let w be n(2). Let t be (-6)/4 - (-15)/6. Let o be 5 + ((-108)/30 - t). Which is greater: o or w?
o
Let q be ((-9)/3)/(-12)*44/11*1. Which is greater: q or -9/61?
q
Suppose -16 = 11*o - 60. Suppose 5*b + 3*c - 15 = -2*c, 3*c - 10 = -o*b. Which is bigger: b or 1/262?
b
Suppose -18*x = 78*x. Which is greater: -18/545 or x?
x
Suppose 28 = -5*y + 7*y - 4*z, 0 = -4*y + 2*z + 74. Let w be (-7)/(-4) - (-5)/y. Suppose 3*d = w*d - 14. Which is smaller: d or -15?
-15
Let t = 1544 - 1521. Which is greater: 690/29 or t?
690/29
Let h be (15/(-18))/(5/2). Is -1941 less than or equal to h?
True
Let f = -1806.28 + 1805.9. Is f != -1/24?
True
Let c(p) = p**3 + 12*p**2 + p + 36. Let d be c(-12). Suppose 0 = 6*m - 30 + d. Is m equal to -6?
False
Let i = 32 - 11. Suppose -5*z = -3*b - 81, -4*z - 2*b + 73 + 5 = 0. Which is greater: z or i?
i
Let v = -37.02 + 37.3. Let j = -128.72 - v. Is 1 bigger than j?
True
Suppose -3*d - 4*c = -56, -5*c - 6 = -4*d + 17. Let a(z) = -z**2 + 14*z - 23. Let f be a(d). Which is greater: 25/3 or f?
25/3
Let d = -4789.946 + 4787. Is -0.2 <= d?
False
Let l = -12.06 - -0.06. Let f = l - -11.9. Let a = 291 - 308. Which is smaller: f or a?
a
Let i = -481 + 481. Is 2318 at least i?
True
Suppose 0 = 126*m + 129 + 25 - 28. Is m at least 3434?
False
Let v be (1112/12)/((-1 - (-111)/(-54)) + 3). Is -1665 smaller than v?
False
Let g(l) = 2*l - 6. Let o = 20 + -13. Let t be g(o). Let a = 12237 - 12229. Does a = t?
True
Let p = 5.1 - 5. Suppose 39*q = -480 + 3951. Which is smaller: p or q?
p
Let z(x) = 3. Let r(k) = k - 7. Let a(q) = 2*r(q) + 5*z(q). Let c(p) = -p - 2. Let y(g) = a(g) + c(g). Let l be y(1). Is -3/25 >= l?
False
Let d(l) = -l**3 - 64*l**2 + 166*l - 156. Let u be d(-64). Is u bigger than -10779?
False
Suppose 0 = -26*t + 22*t - 3*x - 10, 0 = -3*t + x - 1. Which is smaller: 436 or t?
t
Let f = 30437 + -30437. Is f smaller than 1/5110?
True
Let t be -27*5/585 + 4050/4706. Which is greater: t or 2?
2
Let s be ((8/(-56))/((-28)/(-112)))/((-2)/7). Let r = -6 + -124. Are s and r unequal?
True
Let q = -113 - -60. Let g = -32 - q. Let k be g - ((-2 - -3 - -3) + -1). Is k <= 18?
True
Let d be (-528)/36 - -3*(-4)/(-18). Let p be d/(-18) - (-24)/108. Is 1/238 > p?
False
Let w = 475978/79 + -6025. Which is smaller: 0 or w?
0
Let j = 61604 + -61607. Suppose 5*q - 20 = -2*i, -8*q - 3*i = -3*q - 25. Which is smaller: q or j?
j
Suppose -3*j = 243 + 150. Let r(q) = q**3 - 101*q**2 + 201*q - 428. Let v be r(99). Is j less than v?
False
Let a = 859/2 + -5593/13. Which is smaller: a or -2?
-2
Suppose 6*p - 3*p + 3 = -c, 2*c = 3*p + 21. Let h = 7701/1070 - -3/1070. Which is greater: c or h?
h
Suppose -1997 = 16*a - 2013. Let x = 107/6 + -18. Which is smaller: a or x?
x
Let l be (-1592)/(-6) - (-2520)/1512. Is l at least as big as 271?
False
Let b = 22317 + -24655. Whi