- 1. Let i be d(-3). Suppose 0 = -5*m - 2*m + 112. Suppose -48 = 5*a - 2*l, -4*a - 6*l = -2*l + m. Are i and a equal?
False
Let v = 272 - 401. Let q = v - -129.08. Is q at least as big as 1?
False
Let m(q) = q**3 + 22*q**2 - 23*q - 1. Let b be (-234)/10 + (-4)/(-10) + 0. Let c be m(b). Which is smaller: c or -3/31?
c
Let s(v) = -9*v + 1. Let o be s(-1). Suppose 0 = 2*h - o, -4*y + 5*h - 23 = -2*y. Let t = -2 - -5/3. Which is greater: t or y?
y
Suppose -1 = -p + 2. Suppose d - 15 = 5*a, -p*d + 7*d - 4*a - 28 = 0. Which is smaller: 7 or d?
d
Let y = -3 - 0. Let o(j) = -j**3 + 8*j**2 + 3*j - 16. Let z be o(8). Let q = -11 + z. Does y = q?
True
Let u = 247 + -246.7. Let b(h) = h + 7. Let a be b(-6). Let t = 1 - a. Do t and u have the same value?
False
Let h(m) = 8*m**2 + 2*m + 1. Let n be h(-1). Let k be -4*2/(-8)*7. Suppose 5*t - 4*t = k. Is n at least t?
True
Let h = 81 - 81. Is -45 at least as big as h?
False
Let j be 10 - (-11)/((-110)/100). Is -31 less than j?
True
Let f = -0.23 - -18.23. Let r = 18.45 - f. Let j = r + 18.55. Are -1/3 and j equal?
False
Let t be 4/2*(29 + -23). Suppose -32*b - t = -33*b. Which is smaller: b or 13?
b
Let z = -2.54 - -0.04. Let n = 2.43 + z. Let o = 1/15 - -4/15. Which is smaller: o or n?
n
Let a(s) = -s**2 + 1. Let d(m) = 7*m**2 - 3*m - 4. Let p(i) = -6*a(i) - d(i). Let n be p(2). Are n and 5/6 equal?
False
Let g = 1578 + -1562. Is g at least as big as 34?
False
Let d = -2/11787 + 129775/695433. Let g = 2269/12803 - d. Which is smaller: 0 or g?
g
Let q(t) = 2*t - 31. Let g be q(17). Let n be 2 + (g - (-188)/(-28)). Are n and -0.1 non-equal?
True
Let v = -16 + 17. Suppose -v = -2*x + 3. Suppose x - 4 = -2*u. Is 7/8 at most u?
True
Suppose 3 = 2*l + 1. Let u be 8/12 + (-16)/(-12). Let g be (16/(-52))/(3/((-9)/u)). Which is greater: g or l?
l
Let d be 42/15 - (-39)/(-13). Do -0.3 and d have the same value?
False
Let q = 12073/157118 - -1/12086. Let f be (4/(-1))/(-1 + 0). Let h = 7/2 - f. Is h at least as big as q?
False
Let r = 9340/3 + -3078. Which is smaller: r or 35?
35
Let t = -277 - -193. Let g be (4/3)/(t/(-63)). Let n be (-5)/7 + 2/(-7). Is n equal to g?
False
Suppose d + 3*l + 13 = -16, 2*d + 13 = 3*l. Is d greater than -14?
False
Suppose 0 = 5*a - 4*a. Suppose -22*i + 17*i + 20 = a. Let n be i - 7 - (25 - 2). Which is bigger: 1 or n?
1
Let z(i) = i**3 + 4*i**2. Let c be (-20)/8*22/(-5). Suppose 8*q + c = -21. Let n be z(q). Is -1/5 greater than or equal to n?
False
Let t = -1/196 + 395/588. Is 2 at least t?
True
Let m(i) = -2*i**3 + 12*i**2 - 5*i - 9. Let t be m(6). Is -38 >= t?
True
Let y be 3/(-5) + 730/50. Suppose 8*j = 14 - y. Let p be 1/4 - 34/72. Which is smaller: j or p?
p
Let b be ((-12)/(-9))/(-2*1). Let z = 1.93 + -1.7. Let q = z - 0.13. Is b less than q?
True
Let h be (-18)/(-43 + -11) - 2/6. Which is smaller: 5/4 or h?
h
Let g = -75 + 293/4. Suppose 107*t - 57*t - 60*t - 20 = 0. Is g greater than or equal to t?
True
Let x(m) = -m - 1. Let j be x(-13). Let v = j + -12. Which is bigger: -4/5 or v?
v
Let v = 1 + 0. Suppose 2*y + 5 - v = 0. Let m be y - 0/(3 - 0). Which is smaller: m or 0?
m
Let p = 94 - 321. Which is smaller: -226 or p?
p
Let c be 3*(14/(-3) + 0). Let t = -25 + 9. Which is smaller: c or t?
t
Let l be (-3)/(4 + (-130)/(-12)). Let q = 487/2848 + l. Let g = -2 - -1. Which is bigger: q or g?
q
Suppose 25*k - 383 = 42. Which is bigger: k or 0?
k
Let n = -82 - -81.64. Let p = n - -4.36. Which is smaller: -12 or p?
-12
Let n(g) = -24*g**3 - g**2 + g + 1. Let m be n(-1). Let o be 21/14 - 22/(-4). Suppose 2*p - 5 = 5*q, 0 = 2*q - o*p + 2*p + m. Which is greater: 1/5 or q?
q
Let f = -202 + 203. Which is smaller: f or 30/13?
f
Let h = 365.1 + -365. Is h at least 1/19?
True
Let f = -44.92 - -44. Let j = f + 1.2. Let d = 0.02 + j. Do d and 1/6 have the same value?
False
Let j = 9 + -13. Let i = 1/1350 - 271/1350. Is i equal to j?
False
Let n be 255/68 + (-3)/4. Let m be (64/(-72))/(2/n). Let d(r) = -r. Let f be d(0). Which is smaller: m or f?
m
Let p(z) = -z**2 - 2*z + 49. Let t be p(6). Does -4/21 = t?
False
Suppose -n - 3*r = -12, 0*n - 5*r = -2*n - 31. Let f(l) = l**3 + 8*l**2 - l - 6. Let u be f(-8). Let t be (1/(-4))/(u/12). Is n at most t?
True
Let h be (-7 - 290/(-40)) + 177/4. Which is smaller: h or 45?
h
Let z = -50 + 50. Let n be ((-174)/45)/((-2742)/93). Let o = n - -1/457. Which is greater: z or o?
o
Let i be ((-1)/(-4))/(17/(-2958)). Let h = i - -42. Is 0.1 at least h?
True
Let d(g) be the second derivative of g**5/20 - 11*g**4/12 + 5*g**3/2 - 4*g**2 - 16*g. Let x be d(10). Does 43 = x?
False
Let h be 1*(-1 - -5*2/9). Let z be (-59)/(-280) - 1/(-5). Let w = 1/8 - z. Is h bigger than w?
True
Suppose 0 = 3*g - 5*b - 18, -4*g + 0 - 2 = 2*b. Suppose 0 = -0*c + 11*c + 55. Let h be -2 - g/c*4. Is h less than or equal to 0?
True
Let a(r) = -r**3 + 3*r**2 + 2*r - 98. Let q be a(0). Which is greater: q or -97?
-97
Let b be 2/(-7) + 1104/4991. Suppose -4*y = -3*y + 2. Let m be 1 + y + (2 - 2). Does b = m?
False
Let c be (-78)/(-4)*4/3. Let q = c - 27. Let i be (q - 0)/(8 - 7). Which is greater: i or 2/43?
2/43
Let j be (-285)/9*(-1 - -4). Let d = 81 + j. Is d less than or equal to -16?
False
Let s(m) = -25*m**3 - 6*m + 6. Let o be s(2). Is -205 greater than o?
True
Let z = 20 - 28. Let l = 1.6 + 7.4. Let u = z + l. Which is smaller: 0 or u?
0
Let y = -86 + 172. Let g = -256/3 + y. Let v(m) = -m**2 + 15*m - 25. Let t be v(13). Is g at least t?
False
Let p = 14 + -165. Let r = p - -1199/8. Which is smaller: 0 or r?
r
Let c(a) = a**3 + 8*a**2 - a + 14. Let o be c(-8). Suppose 0 = 17*h - o*h + 25. Which is smaller: h or 0.5?
0.5
Suppose 193 = -3*h + 5*o + 52, 36 = -h - 2*o. Let u = h + 41. Let f = 269 - 2149/8. Is f at least as big as u?
True
Let u(l) = l**2 - 13*l - 25. Let y be u(14). Which is greater: -13 or y?
y
Let m = -8 + 2. Suppose 2*w - 6 = -2. Suppose -3*p - 32 = w*p + d, d = p + 10. Is m less than p?
False
Let s = -379.5 - -379. Are -0.4 and s non-equal?
True
Let k be ((-33)/88)/(42/(-8)). Suppose 0 = -5*m + 3*i - 5*i + 11, 0 = 3*m - 4*i + 9. Is m greater than or equal to k?
True
Suppose -a + 36 = 4*q + a, 0 = -2*q - 2*a + 18. Suppose d = 10*d + q. Is d <= -3?
False
Let b be ((-9)/(-6) + -2)*2. Let v be 284/760 - 4/10. Are b and v nonequal?
True
Let n(m) = -m**3 - 4*m**2 + 13*m + 2. Let q be n(-6). Let d be (0/(0 + -1))/(-3). Let a = -5 - d. Are q and a nonequal?
True
Suppose 56*g - 49*g = 0. Let a be (-20)/(-9)*2/4. Is a < g?
False
Let a = -0.572 + 0.772. Which is greater: a or 341?
341
Let h(l) = -2*l + 3. Let s be h(3). Suppose 2*u - 26 = -5*d - 2*u, 5*d - 2 = 2*u. Let o = d + s. Which is bigger: 4 or o?
4
Let l be 1 + -2*(-79)/(-162). Let k be 2/(-7) - (-23)/7. Let t be k*(3 - 2) + -2. Which is smaller: l or t?
l
Let m be (-14)/10 - 4/(-10). Let x(n) = -n**3 - n**2 + 2*n + 1. Let k be x(m). Let y be ((-4)/(-14))/((-18)/((17 - 0) + -3)). Which is smaller: k or y?
k
Let c be (-641)/14 + 500/(-200). Let j be (-2)/(-8) + 386/(-8). Let q = j - c. Which is bigger: q or 1?
1
Let k(y) = 4*y**2 + y + 3. Let l be k(5). Let g be (l/(-90))/((-3)/(-10)). Is g equal to -4?
True
Suppose -20*f = -22*f. Which is smaller: f or -3/92?
-3/92
Suppose 835*x - 841*x = 18. Let m be 1/(-4) + (-43)/4. Does m = x?
False
Let y(h) = -h**3 - 3*h**2 + 5*h + 5. Let t be y(-4). Let k = 31 - 31.036. Let a = -0.264 + k. Is t less than a?
False
Suppose -3*s - 4 = -4*s. Let h(m) = m**3 + 5*m**2 - 5*m + 8. Let j be h(-6). Suppose j*l + 5*g = 4 + 7, 2*l - 10 = -s*g. Are 4 and l equal?
False
Let q(u) = -4*u + 8. Let y be q(4). Let f be 8/(-10)*20/y. Which is greater: 3 or f?
3
Suppose 5*r + 4*q = -513, -r - q - 204 = r. Which is bigger: -102 or r?
r
Let j be -2 - (2 + 5*-2). Suppose 5*x + 3 = -r - 3, -3*r + 58 = -4*x. Suppose -r*n + 30 = -9*n. Are j and n equal?
True
Let j = -990 - -1015. Which is smaller: j or 36?
j
Suppose -5*x = 7 - 37. Suppose -x = 3*o + 21. Let h be (-132)/o - 2/3. Is 14 at least h?
True
Let p = 4.11 - 0.11. Let z = 17.8 + -18.8. Which is smaller: z or p?
z
Let b(a) = a**2 + 5*a + 7. Let f be b(-4). Suppose -2 = k + 3*k + x, 0 = -f*x + 6. Is k greater than or equal to -1/256?
False
Let d be (-1)/(-2)*(2 - 2). Suppose 4*u = -4 - d. Let n be (6/10)/(6/(-4)). Is u smaller than n?
True
Let g b