- 9. Which is smaller: c or r?
c
Let u be ((-15)/9)/((-7)/(-525)). Let r be 20/8*4/u. Is -1 at least r?
False
Suppose -3*i = 2*i - 2*u + 4, 3*i - 5*u = -10. Suppose -s + 2*o = 13, i*o + o = 5. Is s at least as big as -7/3?
False
Let t = -2027/715 + 7/65. Which is smaller: -4 or t?
-4
Let g be (-1)/(-6) + (-6 - 2075/30). Is -74 bigger than g?
True
Suppose d - o = -4, -3 + 22 = -d + 4*o. Is d at most -1/135?
False
Let h(x) be the third derivative of 3*x**5/5 + x**4/12 - 14*x**2. Let s be h(2). Let r be s/720 - 3/12. Does 1 = r?
False
Let m be ((-26)/24 + 1)*1953/210. Let j = 7/40 + m. Let c = 2.4 + -3. Is c > j?
False
Let b = -1655 + 14920/9. Which is greater: 4 or b?
4
Let h = -43 + 61. Let m = h - 17. Is -2/7 equal to m?
False
Let z = -64 - -80. Let r = 15.8 - z. Is -2/7 smaller than r?
True
Let r = -122 + 119. Is r less than -2?
True
Suppose 1343 = -10*t + 1373. Let o = 6 + -13. Which is greater: t or o?
t
Suppose 4*y + 655 = 659. Does 1/161 = y?
False
Let u be 2/4*(-32 + -16). Let x be u/16*(-8)/(-6). Which is bigger: -8 or x?
x
Let u(f) = -6*f - 3. Let r(j) = -j - 1. Let x(g) = 5*r(g) - u(g). Let y be x(10). Suppose 12 = 6*t - y*t. Is t greater than or equal to -6?
True
Let r = 2/6323 - -2756822/18969. Does 146 = r?
False
Let y = 128 - 44. Let g = y - 83.94. Is g at least 0?
True
Let a(t) = -t - 11. Let p be a(12). Let c(r) = r**3 - 8*r**2 - 21. Let h be c(8). Which is greater: p or h?
h
Let p(t) = -t**3 - 4*t**2 + t + 4. Let u be p(-4). Let z be (1 - (-32)/(-28)) + (-496)/(-1904). Which is bigger: z or u?
z
Suppose 23*m + 3*o = 21*m + 13, 2*m + o - 3 = 0. Let t be (8/(-5))/(69/15). Which is smaller: m or t?
m
Let m be (-94)/(-1363) + (-48)/(-145). Which is smaller: m or -1/492?
-1/492
Suppose 1 = -j - 11. Let n = -24 - j. Let h be (-1)/2 - 10/n. Is 10 greater than h?
True
Let m = 606 - 4863/8. Let j(r) = r + 10. Let n be j(-17). Let x be 10/(-2) - (n + 3). Which is smaller: m or x?
m
Let d = -43022/89525 + 2/3581. Which is smaller: 5 or d?
d
Let s = 2 - 19. Let z = -0.29966 + -0.00034. Which is smaller: s or z?
s
Suppose 3*t + 71 = 4*q - 0*t, t = -4*q + 51. Let m = -27 + q. Is m at most as big as -12?
True
Suppose n = 3*a - n - 18, 3*n = a - 13. Let t(k) = -3*k + 5. Let d be t(a). Suppose 5*q - 3 = c, 9*q = -4*c + 11*q - 30. Is c > d?
False
Let t = -58427/11 + 5305. Suppose 3*d = 7*b - 6*b, 7*d = -14. Which is greater: b or t?
b
Let l = -13 - 1. Let d = l + 16. Is 4/7 equal to d?
False
Suppose -204 = -6*w - 12. Suppose -19*d = -23*d + w. Let y = d + -14. Is y equal to -4?
False
Let u = 8 + 325. Is 334 bigger than u?
True
Suppose 3*s = -80 + 32. Let a be (5 - 0) + s/4. Which is greater: a or 1/42?
a
Let d(u) be the third derivative of u**5/60 + 2*u**4/3 - 7*u**3/3 + u**2. Let v = -1055 - -1038. Let j be d(v). Which is bigger: j or 0?
j
Suppose 0 = 2*m - 3*z - 20, 0*m + z + 11 = m. Let t = m + -7. Which is smaller: t or 9?
t
Let r be 0 - (-3 + 9 + 0). Let x be (-4)/3*r/(-5) + 2. Is x less than -2/3?
False
Let w = -10 - -18. Let r = 5 - w. Let z = -58 + 53. Are r and z nonequal?
True
Let o(k) = -61*k**2 + 12*k - 15. Let s be o(2). Is s at least as big as -238?
True
Suppose -5*m = -5, 0*o + m - 64 = -3*o. Let q be -3*(o/18 + -1). Suppose -4*r = z + 6, -2*r + 4*z + 1 = 13. Which is bigger: q or r?
q
Let i(q) = 30*q - 59. Let d be i(7). Which is smaller: 152 or d?
d
Let n be (-26)/(-24) + (-4)/6*2. Which is smaller: n or 36?
n
Let c(r) = -5*r - 4. Let v be c(-5). Let z be v/(-2) + (-1 - 0). Let y = z + 121/10. Do 1 and y have different values?
True
Let y be 1 + 0 + 2 + -1. Is y > 11/19?
True
Let f be (40/16)/(1/420). Does f = 1050?
True
Suppose 4*l - 6*q + 350 = -q, -3*q + 174 = -2*l. Is -89 <= l?
False
Let y be (95/20)/(2/8). Suppose 5*s - q - 1 = 0, 3*s + 6*q - 2*q - y = 0. Which is greater: 2/45 or s?
s
Let o(z) = 74*z**2 - 3*z - 1. Let n be o(-2). Let s = n + -5721/19. Let j = -1 + 1. Is s >= j?
False
Let l be (2/(-26))/(2/(-10)). Let s be (-146 + 146)/((-2)/(-2)). Is s greater than l?
False
Suppose 4*h - 3*t - 79 = 0, 5*t + 4 = -5*h + 59. Suppose -25 = -5*o, -o - h + 5 = -4*y. Which is greater: y or 5?
5
Let u = -482 - -356. Which is greater: u or -128?
u
Let x = -75874 + 377454/5. Let r = x + 386. Which is bigger: r or 4?
4
Let l = -257 + 257.2. Is -1 at least l?
False
Suppose -2*g + 7 = 3*r, -2*g + 3*r - 14 = -r. Let c be 499396/828 + 4/(-18). Let v = 603 - c. Which is smaller: v or g?
g
Let h be 2*(-3057)/2034 - -3. Which is greater: 1 or h?
1
Let k be (-6 - -37)*(-2)/(-24)*3. Which is bigger: k or 9?
9
Let z = 5 + -5. Let g = 207 - 20909/101. Is z greater than g?
True
Let u be 16/(-8)*1/2*-1364. Let r = 8165/6 - u. Which is smaller: r or -4?
-4
Suppose 4 + 140 = 3*h. Let f = h - 59. Is f > -12?
True
Let c be 10/(-25)*(-9)/(-4). Which is bigger: 1 or c?
1
Suppose 5*p = -1 - 4. Let l = 729.4 + -729. Which is bigger: l or p?
l
Suppose 2*r = 7*r - 60. Let x = 73 - 60. Which is smaller: x or r?
r
Suppose 0 = 7*p + 150 + 4. Let s(m) = -m**3 - 21*m**2 + 22*m + 1. Let d be s(p). Which is smaller: d or 4/45?
4/45
Let r(m) = m**2 - 22*m + 125. Let u be r(14). Which is bigger: u or 53/4?
53/4
Let t be (-3)/(-2)*(-48)/18. Let q = -3 - t. Is 2/51 smaller than q?
True
Let v be 12*(-3)/156*2/(-3). Let w = -1 - 0. Is v greater than or equal to w?
True
Let o be ((-645)/86)/(2/8) - 5. Which is smaller: o or -18?
o
Let p be 4/(-6)*9*-4. Suppose 3 = -9*r - p. Which is greater: r or -2?
-2
Let b(d) = -7*d - 27. Let z(v) = -3*v - 13. Let r(l) = -2*b(l) + 5*z(l). Let x be r(-10). Let t be 1 + 2 - 78/27. Is t at least as big as x?
True
Suppose -4975 = 43*m - 20068. Which is smaller: m or 352?
m
Let s be (-8)/(-3) + -1 + 94/(-94). Which is greater: -13 or s?
s
Let o be 174/756*-1 + (-16)/(-36). Suppose 4*c - 9 = 3*k + 2*c, 5*c - 16 = k. Are k and o unequal?
True
Let y(r) = 22*r**2 + 3*r - 2. Let v be y(1). Let n = -19 + v. Suppose -f = -n*z - 1 - 3, -5*z - 26 = -3*f. Is f < 13?
True
Let s be (383614/440)/(-53) + (-10)/8. Which is smaller: -19 or s?
-19
Let h be (1 + -4)/(117/(-507)). Which is bigger: 16 or h?
16
Suppose 3*w + 2*y = 37, 4*w + y - 46 = -y. Let s be 14/6*27/w. Which is smaller: s or 8?
s
Suppose -12 - 4 = 2*y. Let l(x) = -x - 7. Let f be l(y). Is -3/8 smaller than f?
True
Let t = -119 - -74. Let f be (-1)/((t/10)/(-3)). Which is smaller: f or 35?
f
Let a(i) be the second derivative of i**5/20 + 7*i**4/12 - 4*i**3/3 + 3*i**2/2 - 7*i. Let m be a(-8). Let o be 36/16 + (-1)/4. Which is greater: o or m?
m
Let u = -4 + 6. Suppose -29*z - 92 = -27*z. Let w = z - -46. Is w equal to u?
False
Let f = 0.19 + 0.21. Let i be 5/(-9) - (-1)/3. Which is smaller: f or i?
i
Let g = 995 + -820. Which is greater: g or 174?
g
Let b(h) = 2*h**3 - 10*h**2 - h + 3. Let x be b(5). Is -2 smaller than x?
False
Suppose -3*u - 3*n = -72 + 12, 3 = 3*n. Let x be (-1 + -2 + 2/(-5))*-5. Does x = u?
False
Let x(l) = l**3 - 5*l**2 + 4. Suppose 12 + 8 = 4*c. Let m be x(c). Let n(v) = 2*v**2 - 4*v + 5. Let s be n(2). Is s equal to m?
False
Suppose 3*r + 64 = 517. Are 0 and r unequal?
True
Let h = -2352 - -4489/2. Let u = h + 5387/50. Is 1 smaller than u?
False
Suppose 2*f + 8 = 4*t, -t = -6*f + 2*f - 44. Suppose 0 = 2*o - 5*n + 44, 4*o = -4*n + n - 36. Let y be o/8*f/189. Is -1 at most as big as y?
True
Let q be 0 - 2 - (-6 + 7). Which is greater: -18 or q?
q
Let v = 0.1049 - 0.2049. Are 140/3 and v equal?
False
Let i = 50 + -43. Let s be (-12)/(-10) + 5 + -6. Let z = -3/10 - s. Which is smaller: z or i?
z
Let s(w) = 3*w - 31. Let p be s(-40). Which is smaller: -150 or p?
p
Let t be -2 - ((-1376)/392)/2. Which is smaller: 1 or t?
t
Let n = -12 - -25. Let m = n + -20. Let z = m - -6. Which is greater: z or -5/6?
-5/6
Let u = -45.3762 + -0.0238. Let o = 45 + u. Let m = 2.3 - 0.3. Is m greater than or equal to o?
True
Let j = -98 + 67. Which is smaller: -63/2 or j?
-63/2
Let c(p) = p**2 - 13*p - 22. Let x be c(17). Let t = -37 + x. Is 11 bigger than t?
True
Let p = -207 - -207.1. Which is greater: p or -7/4?
p
Let l = -4/1489 - -1051270/13401. Is l smaller than 77?
False
Let s = -140 - -134. Is s less than or equal to 7?
True
Let w = 553 + -550. Is 48/11 less than w?
False
Suppose -2*h + 44 = 2*n, -n - n = -2*h - 56. Let t be 36/(-10) + -4 + 90/n. Which is greater: 8 or t?
8
Suppos