et l be n(u). Does l = 4?
True
Let y(h) = 7*h - 15 + 2*h**3 - h**3 + 2*h**3 + 7 - 4*h**3 - 4*h**2. Let c be y(-5). Which is greater: c or -23?
c
Let v be (3312/(-330) - -10)*-75. Let p(t) = -t + 4. Let o be p(1). Is o at least as big as v?
True
Let c = -4001 + 3973. Which is bigger: 0.02 or c?
0.02
Let c(o) = 5*o + 1. Let t be c(-3). Let d(l) = 6747*l + 16 - 6746*l + 0. Let r be d(t). Which is bigger: 0 or r?
r
Let u = 18 - 11. Suppose u*g = 5*g + 22. Let r = -280 - -291. Is g at most r?
True
Suppose -28*m + 9396 = 30*m. Let h be (-6*(-7)/21)/((-4)/m). Is -1 at most as big as h?
False
Suppose -91 = 2*u + 5*d, 0*u - 5*d - 139 = 3*u. Is -530/11 at most u?
True
Let b be 79/9 - (-16)/72. Suppose h - 42 = -h - 4*l, 2*l = h - b. Let v = -73/5 + h. Is v != 3/2?
True
Let k be (-2965)/55 + (-2)/22. Which is smaller: -59 or k?
-59
Let u = 213 + -460. Let d = -2248 - -2002. Which is smaller: d or u?
u
Let h be ((40/(-64))/5)/((-5)/(-40)). Which is smaller: h or 3/5824?
h
Let k = -127/417 + -4/139. Let u = 13745 + -13811.73. Let q = u - -67. Is k greater than q?
False
Suppose 0*d = -2*a + 2*d + 16, -d = -3*a + 32. Is -20 at least a?
False
Let x(k) = -k**3 - 47*k**2 - 165*k + 47. Let w be x(-43). Do w and -0.3 have different values?
True
Let d(c) = 9*c**2 - 3*c + 8. Let y be d(-5). Suppose 9*a = a + y. Let m = 88 - 57. Is m smaller than a?
False
Let o = -0.0245 - -42.1245. Let b = o + -36.1. Let c = -2562/13 - -197. Is c <= b?
True
Let z = -104.85 + 102.86. Is -2 != z?
True
Let h be 13/(-1) - 30247/(-1218). Let y be (-3)/(-2)*935/117. Let g = h - y. Which is greater: 0 or g?
0
Suppose u = 5, -2*a - u - 78 + 267 = 0. Suppose -52 = -9*n + a. Which is greater: 15 or n?
n
Let f be (304/(-3))/((-428)/(-25680)). Is -6079 at least as big as f?
True
Suppose -4*j = 2*v - 8, -40*j + 39*j - 5*v = 7. Let q be 77*(1 - j)/(-8). Which is greater: q or 18?
q
Suppose 0 = y, 4*u - y + 53 + 295 = 0. Let k = -75 - u. Suppose 17 = 5*d - 33. Is k > d?
True
Let l(y) = -y**2 + 23*y - 22. Let w be l(1). Let j be w/(-2) + 1 - 504/408. Are 0 and j non-equal?
True
Let m = -223/27 + -64259/108. Are m and -604 non-equal?
True
Let u = -75960371/46683 - -21153/13. Let b = -47192/3591 - u. Is b at most -12?
True
Let p = 2315/8 + -243179/840. Which is smaller: p or -1?
-1
Let f = -243 - -202. Let z = 91 - f. Is 132 bigger than z?
False
Let u be (40/(-6) - -6)*(-2)/10350. Is u > 0?
True
Let y = 5.723 + 735.277. Which is greater: y or 0.1?
y
Suppose -343 = -2*n - 339. Suppose -10*w + 15*w - 113 = n*l, -92 = 2*l + 2*w. Do -47 and l have the same value?
False
Let m = 6434 + -6502. Which is bigger: -1573/23 or m?
m
Let k be ((-3 - 110/(-35))*7)/((-5)/5). Which is smaller: -1/218 or k?
k
Suppose -5*i + 11 = -2*u, 39 = -0*u - 5*u + i. Let h be (2 + 28/u)*6. Let t be h/(-62)*(-32)/(-24). Which is greater: t or -1?
t
Let d be (-1)/(3/(-5))*6/5. Let s be ((-16 - -3)*d)/11. Is -3 greater than s?
False
Let t = -19723 + 19712. Which is smaller: -172 or t?
-172
Let j = -403 + 59. Let v = j + 301. Is v smaller than -41?
True
Let j(d) = d**3 + 31*d**2 - 386*d - 47. Let h be j(16). Which is greater: h or 5810?
5810
Let t = 922.94766 - -0.05234. Which is smaller: 0.1 or t?
0.1
Let v(x) = -x**2 + 4*x + 42. Let f be v(9). Let i be 8*(1/2 + -3 - f). Suppose 3*s = -o - 3*o - 4, -28 = -3*s + i*o. Does 2 = s?
False
Let s = 155 - 93. Let f = s + -79. Let d = f + 19. Is d >= -0.1?
True
Let t = -18 + 22. Suppose -t*y = -3*y - 200. Let z be (-4)/(y/(-55)) + 6/(-10). Are 2/39 and z equal?
False
Suppose 0 = 23*z - 27*z + 15*u + 11, 0 = u + 1. Which is smaller: z or -1/7524?
z
Let o be ((-51)/34)/(9/(-66)). Let u(s) = s**2 - 99. Let p be u(o). Let f be (-2)/1 - -2*13. Is f at most p?
False
Let f = -762 - -86. Let i be 4 + -11 - 4728/f. Is i less than 1?
True
Let s = -267 - -492. Suppose 2*b + 73 = 3*k, -5*b + k = 2*k + s. Suppose -404 + 52 = 8*q. Is b bigger than q?
False
Let a be 39717/(-86307) + (-48)/(-104). Which is smaller: 0 or a?
0
Suppose -39*q - 105*q - 5328 = 0. Suppose -3*l = 12*l + 675. Which is greater: q or l?
q
Let p be (52/9)/((-62)/279). Suppose -64 - 36 = -4*o - 5*g, 0 = 4*g. Let n = -1 - o. Is p at most n?
True
Let m = 7811 + -895. Which is bigger: 0.1 or m?
m
Let g be ((-2597)/159)/(3/9). Suppose 5*a + 2*t + 170 = 0, 2*a + 68 = -t - 2*t. Let y = g - a. Do -16 and y have the same value?
False
Let v(u) = 6*u + 15 - 41 - 101. Let b be v(35). Which is smaller: b or 81?
81
Let t(m) = -6*m + 6. Let s be t(-3). Let z be (s/4 - 9) + 1*30. Let f be z/24 - (-2 - (2 - 5)). Are f and -1/5 equal?
False
Let r(u) = u**3 + 7*u**2 - 17*u + 16. Let n be r(-9). Let p be 7 - ((-285)/105 + (-2)/n). Which is smaller: p or 11?
p
Let j = -24.976 + 25.076. Let a(g) = -3*g - 7. Let h be a(-6). Let l = h - 5. Is j bigger than l?
False
Let y = 4214 + -5330. Is y not equal to -1118?
True
Suppose 0*g - 4*g = 4, 4*z - 4*g = 4. Which is bigger: -124/315 or z?
z
Suppose 3*j + 2634 = 3*x - x, x - 1757 = 2*j. Let f = j - -51921/59. Let y(o) = -o**3 + 2*o + 1. Let s be y(-1). Which is smaller: s or f?
s
Let l(h) = h**3 - 11*h**2 + 17*h + 5. Let n(g) = -g**2 + 10*g - 15. Let m be n(4). Let x be l(m). Let d = 14 + -18. Is x at most as big as d?
True
Let y be (-203)/(-1218) + (-29)/30. Are -116 and y unequal?
True
Suppose -2*v + 297 = -5*v. Suppose -3681*l - 1205 = 12*x - 3676*l, 5*x + 499 = l. Which is smaller: v or x?
x
Let d = -5 + 19. Let b(w) = -w**3 + 14*w**2 - 2*w + 25. Let i be b(d). Let t be ((-75)/10)/(i/(-4)). Does t = -68/7?
False
Let y = -262 + 116. Let z be (-14)/63 - (y/(-72) + -2). Is 75 >= z?
True
Suppose -247*t + 108 = -256*t. Let j(u) = u**3 - 10*u**2 + 8*u - 5. Let f be j(9). Let k be 2/((-7)/(-14) - f/t). Which is greater: -1 or k?
-1
Suppose -h + 3 = 4*n - 5*n, -2*h - 2*n + 22 = 0. Suppose -8 = -4*p, -1 = -4*c + 5*p - h. Is -3/7 < c?
True
Suppose -16*l - 4*h + 5244 = -15*l, -l + 3*h = -5209. Is l bigger than 5226?
False
Let q = -3368/215 - 410/43. Let j = 4697/185 + q. Which is smaller: j or -1?
-1
Let n = -8 - -6. Let w = 60 - 1038. Let y = -977 - w. Is y greater than n?
True
Suppose 2 = r, 5*h + 858 = -4*r + 156. Which is smaller: -135 or h?
h
Suppose -87 = -4*f + 3*s, -2*f + 54 = 4*s - 2*s. Suppose f*x + 12 = 27*x. Suppose 24*p + x = 22*p. Which is smaller: p or -8/5?
p
Let o be ((27/(-21))/3)/(9/17310). Let y = o + 829. Which is smaller: y or 4?
4
Let r(l) = -l**3 + 14*l**2 - 6*l - 20. Let m be r(-1). Which is smaller: 3/548 or m?
3/548
Suppose 5*h - 11*b + 6*b - 10 = 0, 0 = -5*h - 4*b + 10. Suppose y = -h*m + 5, 0 = m + 3*y - y - 7. Let q be (-7)/(-28) - (-30)/(-152). Are m and q non-equal?
True
Let a = -2.4597 + 0.3797. Is a <= -0.08?
True
Suppose 5*g + 4*o = 8, 5*o - 10 = 4*g - 9*g. Suppose 5*a = 2*a - 6. Let s be g - (a - 0 - (0 + 0)). Which is greater: 1 or s?
s
Let q = 6387 + -6646. Which is smaller: q or -260?
-260
Let l = -1325.2 - -1325. Is l less than 308/5?
True
Let v = 4965 + -4964.94. Which is bigger: 0.168 or v?
0.168
Let t = -106 + 106. Suppose -15*f + 58 - 13 = t. Which is smaller: 51/13 or f?
f
Let h(r) = 5*r - 68. Let k be h(14). Suppose 0 = 3*z + 6, -7*s + k*z = -6*s - 4. Which is bigger: s or -10/61?
s
Let l = 4090 - 4093.59. Which is greater: 1/8 or l?
1/8
Let f = -1440 - -1437. Which is greater: 2866 or f?
2866
Let z = -4906933/165 - -29739. Is -7.3 at least z?
False
Let k(n) be the second derivative of -n**4/6 + 3*n**2/2 + 9*n. Let u be k(0). Suppose -5*r = 2*o + 5, r = u*r - o + 2. Is 0 less than or equal to r?
False
Suppose 3*p - 9 = -3*s, 3*s + 2*p + 12 = 18. Suppose 3*n = -3*w - 12, s = 4*w + n - 2 + 6. Which is smaller: 2/95 or w?
w
Let m = 5/132 + -29/396. Are 1 and m nonequal?
True
Suppose 5*k + 19 = 3*g + k, 0 = -4*g - 3*k + 17. Suppose 15*n = 10*n - g*l - 225, -5*n + 2*l = 218. Which is bigger: -47 or n?
n
Let v(b) = 2*b**2 - 9*b + 7. Let t be v(6). Suppose t*u = 26*u + w + 1, -4*u - 2 = 3*w. Is u < 5/57?
False
Suppose -40*j = -34*j - 12. Suppose -4*g - f = 141, -g = -j*g - 2*f - 44. Let h = -37 + 2. Is g greater than h?
True
Let g be (-2)/((-50)/(-275)) + 3411. Which is smaller: 3399 or g?
3399
Suppose -3*b + 11 = 56. Let k be b/10*2/(-3). Let c = -14097 + 98687/7. Which is greater: k or c?
c
Suppose 4*l = 0, 2*r - 6*r - 652 = 2*l. Let c = 150 + r. Are c and 10 unequal?
True
