e x(-5). Let o be q(d). Which is smaller: o or 24?
o
Let v = -0.05266 + 0.01266. Which is smaller: -14/13 or v?
-14/13
Let z(r) = -r + 1. Let f = 2 - 31. Let d = f + 35. Let u be z(d). Which is smaller: -6 or u?
-6
Let z = 82 - -22. Let v be (-6*(-21)/(-72))/(6/(-352)). Do z and v have the same value?
False
Let p be -4*(15/(-6))/(-5). Let r be (p - -2)/((-1 - 0)*-2). Suppose r*u - 4 = -4*u. Which is smaller: 16/7 or u?
u
Let a = -55.8 - -1.8. Let f = 82 + a. Is -1 greater than f?
False
Suppose -7*a - 121 + 51 = 0. Let r be 12/(-720)*a*(-102)/8. Which is smaller: r or -1?
r
Let w = 0.711 - -0.289. Which is smaller: w or 95?
w
Let s = -59515 - -59518. Let i be 1/(-1 - 17/(-13)). Which is smaller: i or s?
s
Let s(l) = -19*l - 3. Let x be s(-3). Suppose 0 = -8*g + 32 + 8. Let o be 1 + 0 - -13*(g - 1). Are x and o equal?
False
Let r(o) = -o**3 + 6*o**2 - 9*o - 1. Let l be r(3). Which is bigger: l or -2/13271?
-2/13271
Let c = -343 + 4458/13. Let h be (-338)/(-91) - 2/(-7). Suppose -4*i - 4 = h*d, -5*i = 6*d - 4*d + 8. Which is greater: d or c?
d
Let f = 629 - 627. Let y = -0.05 - -0.06. Which is smaller: f or y?
y
Suppose 232 = -2*c - 4. Let v = 217/6469 - 34386031/291105. Let n = c - v. Is 1 greater than or equal to n?
True
Let b = 82.96 + -64.96. Do -68 and b have the same value?
False
Let o be (-1)/((-5)/(-138)) - (-36)/60. Let y be (o/(-6) - 3)/(3/(-20)). Let l be (-9)/(-15) - 524/y. Is l greater than or equal to 53?
True
Suppose 0 = -b - 4*c + 97 - 125, -2*c - 14 = 3*b. Let d be -3*((-4)/(-5) + -1). Which is bigger: b or d?
d
Let x(q) = -2*q**3 - 32*q**2 - 11*q + 6. Let y be x(-16). Let c be -2 + -3 + 1 + (178 - -10). Which is smaller: c or y?
y
Let b be (-7 - 4) + 4160/(-60). Which is smaller: b or -79?
b
Suppose 165*i + 134*i + 144*i = 129*i. Is -2/21037 at least i?
False
Let v be 2/(-161)*9/(-6). Let g be (40/15)/(-4) + (-10768)/9660. Let u = v - g. Which is bigger: 1 or u?
u
Suppose 5*o - 23*i = -25*i + 11874, 5*o + 4*i - 11868 = 0. Which is smaller: 2374 or o?
2374
Let m = 1477 + -1476.076. Are 0.3 and m non-equal?
True
Suppose 4*n = -2*v + 38, 22 = -4*n + 5*v + 53. Suppose -39 = n*o - 22*o. Which is smaller: 0.2 or o?
0.2
Let v(m) = 2*m**3 - 48*m**2 + 190*m - 60. Let y be v(19). Which is smaller: y or -4?
y
Let t = 33.49 + -36.04. Is t greater than or equal to 0.06?
False
Suppose 275 = 19*s + 104. Suppose 3*n - 4*g - 2 = 0, 0 = n - s*g + 7*g. Are 28/9 and n unequal?
True
Let z = -31 + 33. Let g be (27/(-24))/(3/z). Is g bigger than 3/7?
False
Let p = 35 + -49. Let t be 14/(-4)*12/p. Suppose 0 = 3*d - t. Which is greater: d or 4?
4
Let a = -952 + 676. Let d = a - -225. Is -351/7 smaller than d?
False
Suppose 0 = -n + 3*a - 0 + 9, n + 3*a + 3 = 0. Suppose 0 = n*y - 5*l - 437 + 1396, 4*l = -2*y - 676. Is y bigger than -329?
True
Let t(s) = 8*s**2 + 48*s - 81. Let q be t(-6). Which is bigger: 31 or q?
31
Let l be 3 - 9 - -62*199/1614. Let g = l - -6/269. Let v = -0.3 - -0.28. Which is smaller: g or v?
v
Let i be (13 - -2) + 16/(-8). Let q = 7361 + -7348. Is q equal to i?
True
Let o be (1 + (-27)/15)/(2/25). Let t be o/12 - (-11)/(-22). Let f be (-3)/6*(1 - -1). Which is greater: t or f?
f
Let r be (-3)/(-2)*16/(-24). Let s be ((r - 1) + -3)*231/55. Let x = -22 - s. Is -5/12 >= x?
True
Let v(c) = 4*c + 14. Let t be v(13). Let n = -84 + t. Let r be -6*n/3 + 2 + 0. Which is greater: r or 39?
39
Suppose 101*v - 1965 = -1864. Let j be ((-238)/(-234) + -1)/(-4). Do v and j have different values?
True
Let r = -1/326555 + 665631/4088795155. Do r and 1 have the same value?
False
Suppose 3*l = -4*f + 21, -5*l + 2*f - 21 + 4 = 0. Which is smaller: -3/497 or l?
l
Suppose -5*v + 81 = 5*a + 96, 0 = -5*a - 10. Let b be 202/216 + (-2)/2. Which is greater: b or v?
b
Let k(d) = d**2 + 20*d - 18. Let r be k(-20). Let c = r - -107/6. Let i = -42 + 41. Are i and c equal?
False
Let p = 2.802 + -2.802. Is p greater than or equal to -3201?
True
Let j(s) = s**3 - 11*s**2 - 6*s. Let k be j(11). Let o be 8/60*k/8. Let u = o - -57/70. Are -3 and u equal?
False
Let t(j) = -196*j + 4123. Let u be t(21). Is 8 at most as big as u?
False
Let b = 16 + -29. Suppose 0 = 5*g - 3*g. Suppose -k - 4*n - 23 = g, 3*k - 2*n + 3*n = -47. Which is bigger: b or k?
b
Let d = 3074.2 - 3070.213. Which is smaller: 4 or d?
d
Let v = -110461 + 2982803/27. Is v at most -2/7?
False
Let d = 975/7 + -139. Let v = -1063 + 1062.9572. Let x = v + -5.9572. Is d smaller than x?
False
Suppose 0 = 5*o - 11 + 6. Suppose -l - 4*d = 11 + 8, -l = -5*d - 17. Let a(w) = w**3 + 3*w**2 - w + 4. Let p be a(l). Is o less than or equal to p?
True
Let h be 1168/(-32)*(-120)/(-55). Is 0.1 bigger than h?
True
Let j(i) = -i**3 + 20*i**2 - 3*i + 502. Let p be j(21). Which is smaller: -22/19 or p?
p
Suppose -12 = 4*o + a - 2*a, -3*o = -2*a + 4. Let i be (-8 - o - -4)/1. Let w be -19 + 17 - -6*(-1 + i). Is w less than -43/5?
False
Let x(k) be the third derivative of k**6/120 - 3*k**5/20 - 5*k**4/6 - 7*k**3/6 - 47*k**2 - 1. Let g be x(11). Is g < 14?
False
Let b be ((-51)/(-442))/(81/(-351)). Let f = 259 + -265.03. Let m = f - -0.03. Which is smaller: b or m?
m
Suppose 12*x - 7*x = -5*l - 25, -12 = -4*l. Which is bigger: -15 or x?
x
Let p = 3075.9 + -3076. Is p smaller than -19.66?
False
Let p be (108/90)/((-4)/(-10)). Suppose -4 = -x, 2*c - p*x + 44 = -2*c. Let k be -14*((-4)/c + 0). Is k at most -8?
False
Let j = 15476 - 15476. Which is smaller: 1/26800 or j?
j
Let x be (-936)/(-6)*12/8. Let r be ((-1651)/x + 7)/((-1)/291). Which is smaller: 17 or r?
r
Let o be -6 - (-4 + 6 - -21). Let d be 111/(2 - (-2)/(-4)). Let y = -103 + d. Is y at most as big as o?
True
Suppose 5*z - 20 = 0, -15 - 11 = -5*b - 4*z. Suppose -3*r = 4*s - 37, 2*s + 4 + b = 2*r. Suppose -3*k + 104 = -r*k. Is k at least -26?
True
Suppose -2*k + 5*a = 722, 5*k = -a + 751 - 2583. Is -351 at most k?
False
Suppose -4*b - p + 393 = 0, 3*p = -2*b + 95 + 104. Let c = 53 - b. Suppose 2*v = j - 90, -3*j - 2 = 2*v + 80. Is v smaller than c?
False
Let h = 140 - 6466. Does h = -6327?
False
Let a be (10 + -2 - 4) + -207. Which is bigger: a or -199?
-199
Let h(g) = 40*g + 12*g - 49*g - 125. Let b be h(42). Which is greater: b or -1/75?
b
Let z(n) = -n**2 - 3*n - 64. Let q be z(7). Is q bigger than -6?
False
Let i = -648 + 608.3. Let o = -378.3 + i. Is -1/3 != o?
True
Let z(f) = -7*f + 2*f**2 + 7*f + 12*f - 3 - 3*f**2. Let q be z(12). Is q greater than or equal to 0.014?
False
Suppose 0 = 14*j + 1 - 1. Suppose j = 33*l - 30*l - 3. Is l < -13?
False
Let h be 7 - 36/(-6) - -2. Suppose -h = 8*a - 11*a, 5*r - 15 = -4*a. Which is smaller: 35 or r?
r
Let u = 4016 - 4014. Is u greater than or equal to -318?
True
Let a = 12 + -8. Let w be 100 + -86 + 262/(-26). Which is bigger: a or w?
a
Let c = -147957 - -687852089/4649. Which is greater: -1 or c?
c
Suppose -25 = -5*d + 3*z, 3*d - 65 = -2*d - 5*z. Suppose -d = 31*i - 32*i. Let l be (i/(-44))/(7/(-77)). Which is smaller: 3/5 or l?
3/5
Let z be 8/((-48)/(-18)) + 176 + -1. Suppose z = 5*q - 32. Let l = -40 + q. Is l less than 1?
False
Suppose 4*d = t - 28, -4*t - 4*d + 977 = 1045. Which is smaller: -265 or t?
-265
Let x = -2/606511 + 6276175838/3032555. Let z = -2076 + x. Are z and 0.1 nonequal?
True
Let b be 5/7 + (-259080)/(-23800). Which is smaller: b or -2/11?
-2/11
Suppose -z = -6, -6*i + 148*z + 1458 = 145*z. Which is bigger: i or 73?
i
Suppose -74*a = 59*a - 21*a + 46592. Are -416 and a nonequal?
False
Let d be (-36)/8*5622/15 + 27/45. Which is greater: d or -1687?
d
Let g be (-345)/25*(-1)/(-6)*-10. Are 20 and g equal?
False
Let o(d) = d**3 + 8*d**2 + 19*d - 2. Let v be o(-5). Let a be ((-3)/2)/((-6)/(-88)). Do a and v have different values?
False
Let p be (-14)/10 - -1 - 54/(-10). Let r be 25/p - -33*1. Let v = r + -35. Which is smaller: 30/7 or v?
v
Let n(u) = -2*u**3 - 14*u**2 + 23*u + 16. Suppose -5*y = -15, -3*j + j = -5*y + 31. Let f be n(j). Which is smaller: -38 or f?
f
Let n be -3 + 1 - 23/7. Suppose 100*f - 224*f = 620. Which is bigger: n or f?
f
Suppose 0 = 3*k + 15, 1573 + 219 = 4*b + 4*k. Suppose -454*t + 71 = -b*t. Which is smaller: t or 70?
70
Let d = -126.5 - -126.4. Which is bigger: -0.812 or d?
d
Let m be (-7)/(-7) + (-12)/(-3). Suppose 0*v = -s - v + 5, 0 = -3*s - v + m. Let y = s - 10. Which is 