u?
False
Let n(v) = -68*v**2 + 5*v - 93. Let b be n(-5). Is -1818 bigger than b?
False
Suppose 358*k = -38*k + 58608. Which is bigger: k or 138?
k
Let a(x) be the first derivative of -3*x**2 - 22*x - 10. Let d be a(-4). Suppose -i = -d*i - 0*i. Which is bigger: i or 1?
1
Let m = 2 - 2.09. Let x = -3.91 + m. Let t = 0.24509 - -0.05491. Is x bigger than t?
False
Let p = -79 + 79. Suppose 134 = 4*k + 5*m, 3*k - 3*m + 8*m - 103 = p. Let x = -57/2 + k. Which is bigger: 3 or x?
3
Let q = 3.3615 + 0.0485. Let g = q + -0.41. Which is greater: -16 or g?
g
Let k = 187 + -186.947. Let w = k + 0.147. Let d = -2351/6 - -391. Is w not equal to d?
True
Suppose -z = -3*z + 12*z. Suppose z = -b - 4 + 6. Suppose 0*g + 3*p = -4*g + 87, -82 = -4*g + 2*p. Which is bigger: g or b?
g
Let x = 5998 + -5997. Is x equal to -0.3343?
False
Let z be 203/(-58)*2/(-7). Which is greater: 68/219 or z?
z
Suppose 8 = -4*d - 2*h - 0*h, -h = -4*d + 4. Let t(j) = j**3 + 20*j**2 - 7*j - 52. Let y be t(-21). Let r = 7267/21 + y. Is d smaller than r?
True
Let o be (-1 + (-30)/(-18))/(1/15). Let y be 3/6*53 + 15/o. Which is smaller: y or 29?
y
Let z be ((-6)/(-18))/((-3)/369). Let j = z + 68. Let b be (-45)/j + 4/6. Which is smaller: 1 or b?
b
Let w = -48867/29 + 1685. Suppose -3*a + 3 = -0*a. Suppose 2*q = q - a. Which is bigger: q or w?
w
Let n be 636832/1369550 - (-3)/(-7). Let d = -2/559 - n. Which is smaller: d or 1/5?
d
Let v be ((-4)/(-14) + (-27513)/78435)*(-5)/1. Is 1 equal to v?
False
Let g = -50181.9 + 50182. Let h = -8757/23 - -381. Is h greater than g?
True
Suppose -2*n = -5*y - 41, 4*n - 26 = -14. Let l(j) = j**2 - 10*j - 142. Let p be l(y). Which is smaller: p or 6?
p
Let p = 215412 + -5382914/25. Which is greater: p or 96?
96
Let q be 12 - 11/((-6644)/(-7576)). Which is bigger: q or -2?
q
Suppose m - 74 = -2*n, -n + 30 = -2*m - 2. Suppose z + 6 = n. Let u be 6/(-5) + 6/z. Which is smaller: u or 3/32?
u
Suppose 6*v - 5*i - 96 = 2*v, -5*v = -4*i - 111. Suppose v*z - 12 = 140. Suppose -10*j + z*j - 136 = 0. Which is bigger: j or -67?
-67
Suppose 25*v + 2*z = 18*v - 1090, 0 = -2*v + 5*z - 278. Which is greater: -1855/12 or v?
v
Let u be 7781 + (16/(-64) - (-27)/(-4)). Which is smaller: u or 7775?
u
Suppose 1418*a = 1415*a + 15, 1327 = -b + 5*a. Which is smaller: b or -1304?
-1304
Let g be (2/20)/(4/(-38952)) + 12/15. Which is smaller: g or -972?
g
Suppose -3*w - 3 = 4*c, 4*c = 5*w - 85 + 58. Suppose -5*u + 3 = -k - 9*u, 83 = -5*k - w*u. Is -96/5 >= k?
False
Let o(x) = -x**3 - 2*x**2 + 9*x + 26. Let l be o(-2). Let u be l/56 - (-354)/21. Which is smaller: 116/7 or u?
116/7
Let j(v) = -v**2 + v + 12. Let s be j(4). Let r be -2 + 33*(-5)/(-90). Which is smaller: r or s?
r
Suppose -4 = -2*c, -3 = q - 3*c - 1. Suppose -4*r - 255 = -v + 292, -2*v + 266 = -2*r. Let y = -137 - r. Is y >= q?
False
Let r(t) = 3*t**2 - 17*t - 27. Let g be r(15). Let p be g/66 + (-9)/(-6). Which is bigger: p or 6?
p
Suppose 107 = 93*g + 293. Which is greater: g or 361?
361
Suppose 3*x + 8*x = 6*x - 5. Which is smaller: x or 2/5111?
x
Let j = -20289 + 20287. Let s = 0.07 - -2.93. Which is greater: j or s?
s
Let i(x) = -x**3 + 3*x**2 + x + 2. Let y be i(3). Let g be ((-2684)/(-480) - y) + (-2)/15. Which is smaller: -1 or g?
-1
Let p = 0.296 - -132.704. Let l = p + -249. Let c = l - -74. Which is greater: -1 or c?
-1
Let h = 762 - 756. Let i be 3 + 89738/(-37345) - h/10. Which is bigger: i or 1?
1
Let h = 1/95 - -263/2090. Suppose -t = c - 8, 2*t - 5 = -1. Suppose -6*v + 0*v = -c. Which is smaller: h or v?
h
Let w be 21048/3906 + (-19)/((-3990)/20). Which is smaller: 6 or w?
w
Suppose 25*s - 23*s - 40 = 0. Let o be 56/s - ((-9)/(-15))/(-3). Suppose 80 = -13*m - o*m. Which is smaller: m or -66/13?
-66/13
Suppose -187*m - 476 = -752 - 659. Let u = 3692/549 + -51/61. Is u <= m?
False
Let b(p) = -p**3 + 5*p**2 - 46*p + 169. Let d be b(4). Are -1/5975 and d non-equal?
True
Let u be (-1*24/84)/((-3)/(252/1072)). Is 0 > u?
False
Let p(x) = x**2 - 3*x + 9. Let h be p(2). Suppose -3*a - 2 = -h*a + 3*s, -s = 4*a + 6. Which is smaller: a or 2/319?
a
Suppose 4*p + 36 = 3*m, 2*m - 21 - 4 = 3*p. Is -402/139 >= p?
True
Let l(u) be the first derivative of u**2/2 - 4*u + 10. Let a be l(3). Let i be ((-1)/(-2))/(((-33)/18)/11). Is i > a?
False
Let g = -0.2 - 0.8. Let v = 25569 + -25605. Which is bigger: v or g?
g
Let q(x) = 21*x**2 + 9*x. Let d be q(-4). Suppose -300 = -5*y - m + 2*m, d = 5*y + 4*m. Let r be 1/(-3) - (-440)/y. Is r <= 4?
False
Let h be 33*3 - (0 + -1). Let b be -1 + 18/10 - (-6448)/65. Are b and h non-equal?
False
Suppose -2*u + 4*u - 12 = 0. Suppose 8*z = 4*z + 40. Suppose z*c = u*c. Are 3/59 and c nonequal?
True
Let m = 431518/77 - 43322/7. Let x = m - -584. Suppose 2*y = -2*i - 4, 0 = -3*i - y + 6*y + 10. Does x = i?
False
Let a = -5.818 + 0.518. Let m = -79 - -70.3. Let b = a + m. Which is greater: -1/4 or b?
-1/4
Suppose -2*a - 24 + 21 = 5*o, -4*o - 4*a = 0. Is o >= -0.0139?
False
Let v be (-3)/(3/2)*(-66)/4. Suppose 2*r - 153 + v = 0. Let m be 3*16/r*(-1 - -3). Is 2 < m?
False
Let s = 1535/293043 - 2/713. Let u = -8233/5343 + s. Is -2 > u?
False
Let a be (15/(-590))/((-182)/88 + 2). Is a at most -1?
False
Let d(q) = -60*q**3 + 3*q**2 + 3*q + 29. Let m be d(3). Does m = -1557?
False
Let o be 10/(-20) + (-262)/4. Let u = 68 + o. Let k be 2/52*72/3. Which is bigger: k or u?
u
Let n(m) = m**2 + 10*m + 76. Let j be n(-16). Suppose -2*p - 4*w = -j, -7*p + 2*p + 475 = w. Is p < 96?
False
Let b = -1611.41 + -0.59. Let d = b - -1518.1. Let x = d - -94. Which is bigger: x or 17?
17
Let s(u) = -12*u - 68. Let l be s(-6). Suppose -6*g + 2*g - 5*k = -11, 21 = l*g - 5*k. Suppose -g*y - 7 = 5. Is y <= 3?
True
Suppose 0 = 5*i + q - 739 - 167, 930 = 5*i - 5*q. Let l = 144 - -37. Which is smaller: l or i?
l
Let f be (-1)/8 + (-6596)/(-544). Suppose -f = 12*t - 0. Which is bigger: t or -13/35?
-13/35
Let a = 746 + -747. Let k(r) = r**3 - 6*r**2 - 6*r + 11. Let m be k(7). Which is greater: a or m?
m
Suppose 0 = -12*o - o - 78. Let r(x) = 23*x + 70. Let i be r(o). Are i and 1/3 unequal?
True
Let s be 6 + -6 - (-2552)/(-20). Let b = 57990853/35 + -1656754. Let w = s + b. Which is smaller: w or 0?
w
Let v = -12395.84 - -12428. Is v not equal to 1/8?
True
Suppose 28*f - 31*f = 5*o + 1054, -3*o - 5*f = 626. Is -212 != o?
False
Suppose 827*t - 828*t + 5*z = 6, -2*t + 2 = 4*z. Is t equal to 4914?
False
Suppose 511225 = -16*o - 49*o. Which is smaller: o or -7863?
o
Suppose 4*y + 2*c - 1348 = 0, 3*y + 5*c = 926 + 106. Which is bigger: 342 or y?
342
Let o(f) = 3*f**2 - 115*f - 19. Let r be o(39). Which is greater: 4 or r?
r
Suppose -3*s - 6271 = 4*n, -188*s - 6269 = -185*s + 5*n. Is -2093 at most s?
True
Suppose -2*w - 1 + 6 = 3*r, 0 = 2*r - 2. Let b be ((-2)/(-4))/(w/((-496)/(-8))). Are b and 30 equal?
False
Let r = -3 - -9. Let t be (-3 + -17 + -4)*(-1 + -5). Suppose 5*d - 115 = -2*f, 0 = 3*f - r*d + 4*d - t. Is 50 >= f?
True
Let a = 15 + -25. Let g(k) be the third derivative of k**5/30 + 19*k**4/24 + k**3/2 - 211*k**2. Let x be g(a). Is 11 less than x?
True
Let s = 3517/4 + -869. Let w = 119/12 - s. Which is bigger: -7/15 or w?
w
Let h = 8981 + -1182. Does h = 7798?
False
Let i = -570 + 570.54. Let x = 0.7 - 1.44. Let m = i + x. Which is greater: -0.3 or m?
m
Let u be (15/(-5) - -19)*(-1531)/4. Which is smaller: u or -6123?
u
Suppose -2*b = -4*u - 3004, -4*u - 2063 = -4*b + 3933. Do 1492 and b have different values?
True
Let f = -698913/311785 + 285/127. Which is greater: f or -1?
f
Let s = 11231 - 10003. Is 4911/4 at least as big as s?
False
Let n = 12.91 - -712.09. Let s = 725.9 - n. Let w be ((-2)/4)/((-1)/1). Which is smaller: w or s?
w
Suppose -31*d - 2131 - 1403 = 0. Let f = d - -130. Is f at least 13?
True
Let n = 2145 + -27873/13. Is n not equal to -4/11?
True
Suppose -53 + 97 = 4*k. Suppose 7*d = k*d. Do -18/85 and d have different values?
True
Suppose -423*v = -104729 - 109309. Which is smaller: v or 508?
v
Let g(q) = -q**2 - 46*q + 228. Let f be g(-19). Which is bigger: 11 or f?
f
Let n = 16684 + -1017490/61. Which is greater: n or 5?
5
Let s(g) = -g**3 + 10*g**2 - 5*g + 7. Let z be s(8). Suppose z = 12*t - 13*t. Is -95 <= t?
True
Suppose -8*n + 48 = 8*n. Let v be 0 + n/6 - (-1020)/(-24). Is -42 smaller than v?