-38/781 + -3/71. Which is greater: k or o?
k
Let u(h) = -h**3 + 10*h**2 - 18*h + 6. Let p be u(7). Suppose -5*i + k + p = 0, 0*k - 3 = -3*i + 5*k. Let g be (-1)/(1/((-3)/i)). Which is greater: g or -3/20?
g
Let w = -15/2 + 13/10. Which is bigger: w or -1?
-1
Let f = -88 + 83. Let a be 5 - (-184)/(-40) - (-2)/f. Which is bigger: a or -0.5?
a
Suppose -2*h = -3*b - 605 + 132, -h - 5*b + 230 = 0. Do h and 235 have the same value?
True
Let y = 11.2 - 3.2. Let v = y + -8.01. Is -1 at most v?
True
Let a be 32 + 2 + -2 + 2. Let q = 53 - a. Which is smaller: 18 or q?
18
Suppose -4*d + 6 + 10 = 0. Suppose -2*b = -10, y + 3*b - 9 - 5 = 0. Which is bigger: y or d?
d
Let r be 1 + 0 + ((-6696)/6)/(-4). Suppose r = 3*j + 5*j. Which is bigger: 36 or j?
36
Let j be ((-3)/(-4))/((-3)/2). Let u = 0.167 + -0.137. Are u and j nonequal?
True
Let j(n) = n**3 - 5*n**2 + 2*n - 4. Let m = -5 - -10. Let y be j(m). Let f be (-2)/5 + 1672/(-220) - -14. Is f less than y?
False
Let z = 150 + -184. Which is bigger: z or -35?
z
Let b = -76 + 28. Let d = -3.5 + 3.6. Is b != d?
True
Let y be -2 - 0 - (30/8 + 1). Let o = 9 + y. Which is bigger: o or 3?
3
Let g(v) = v**3 - 7*v**2 - v - 9. Let d = 34 + -27. Let p be g(d). Is 1 less than or equal to p?
False
Let b be -42*((-46)/63 + (-8)/(-18)). Which is smaller: 160/13 or b?
b
Let r = 533 - 786. Do -252 and r have the same value?
False
Let w = -0.098 + 0.198. Do w and 7/16 have the same value?
False
Suppose -3*l - 2646 = 15*l. Which is bigger: l or -3?
-3
Let x = 103 - 145. Which is smaller: x or 1?
x
Let o(k) = k**3 - 23*k**2 + 7*k - 45. Let c be o(23). Is c greater than or equal to 117?
False
Let x = 15.1 + -20.1. Is 7 at most as big as x?
False
Let u(f) = f**2 - 13*f + 60. Let r be u(25). Let i = -2524/7 + r. Let j be 2 - 3*8/6. Which is bigger: i or j?
i
Let j(t) = -87*t**2 - 23*t - 2 - t**3 - 2*t + 98*t**2. Let k be j(8). Suppose -5*u - 38 = 12. Is k < u?
False
Let f(d) = -d**2 + 7*d - 6. Let k be f(6). Let n(w) = 10*w + 89. Let p be n(-9). Let i be p + 4 + -7 - 31/(-8). Which is smaller: k or i?
i
Suppose -6 = -3*v - y, -3*y + 5 = 4*v - 3. Which is smaller: 52 or v?
v
Let w = -285 - -290. Let b(l) = l**3 + 6*l**2 + 5*l + 3. Let n be b(-5). Suppose -13 - 5 = -n*r. Which is greater: w or r?
r
Let z(y) = 3*y + 1. Let l(b) = -b - 9. Let w be l(-6). Let o be z(w). Let j(u) = u**3 + 8*u**2 + u + 10. Let p be j(o). Do 2 and p have different values?
False
Suppose -40*m - 2862 = -58*m. Which is greater: m or 160?
160
Let r = -1039 + 1038. Is r greater than 1/851?
False
Let k = 114 + -56. Let j = k - 58.2. Which is smaller: -1.4 or j?
-1.4
Let f(k) = -k**2 + 7*k + 60. Let j be f(12). Let a be (0 - j) + 28/(-8932). Does a = 0?
False
Suppose -47*u = -29*u + 198. Let h = 0 + 0.2. Is u < h?
True
Suppose -808 - 1691 = 17*r. Is r at least as big as -589/4?
True
Let r(l) = l**3 - 19*l**2 + 21*l - 55. Let o be r(18). Is o greater than or equal to 2/533?
False
Let g = -16054/6019 + 24/463. Is g > -4?
True
Suppose -2*t - 4 = -2. Let o = t - -6. Suppose -o*s + 8 = -52. Is s equal to 12?
True
Let b(q) = -q**3 + 16*q**2 - 12*q + 1. Let j(y) = y**3 - 16*y**2 + 13*y - 1. Let m(h) = -2*b(h) - 3*j(h). Let x be m(15). Which is smaller: 2/9 or x?
2/9
Let g = -20 - -12. Let p be 4 + -1 - (-27)/g. Let z = -5/8 - p. Which is greater: 1 or z?
1
Suppose -3*c = 2*c + 6410. Let w be 0/9 + c/(-3376). Let z = -1/211 + w. Which is bigger: 1 or z?
1
Let m = -7.96 + 8. Let o = m - -0.03. Let h = -10.07 + o. Is h >= 0.1?
False
Let b be 68/(-30) - 2*-1. Let p be (0/(-4))/(16/2) - -1. Is p less than b?
False
Let k(q) = -2*q + 4. Let z(p) = p**3 + 7*p**2 - 7*p + 11. Let a be z(-8). Let b be k(a). Suppose 11*s = 6*s. Is b < s?
True
Suppose -23*v = -197 - 240. Which is greater: v or 13?
v
Let i be 14/35 + (-38)/95. Let k = -465/2 - -68357/294. Is i greater than or equal to k?
False
Let j be (13 - 14 - 1)/(-1731). Does -1 = j?
False
Suppose 2*j + 5*c = 30, 0 = -j + 2*j - 2*c + 3. Suppose 0*r = -j*r - 10. Is r < -1?
True
Let o = 38 + -19. Let l = -0.07 + 27.07. Let g = l - o. Which is greater: g or 2/3?
g
Suppose -2*g = -4, 2*g - 410 = -4*h + 7*g. Suppose 2*z = -z + h. Which is bigger: z or 34?
z
Let h be -1 + 60/88*2. Let q be 10 - 376/40 - (-8)/(-5). Is q less than h?
True
Suppose 22*m - 2806 = -m. Which is smaller: m or 123?
m
Let z = -1 + 1. Let w = z - -21. Let p = w - 21.05. Which is smaller: 2 or p?
p
Let i be -7 + -12*(-515)/20. Is i less than or equal to 299?
False
Let c = 0.083 - -20.917. Which is smaller: c or -0.2?
-0.2
Suppose -4*r = -3*x + 68, -5*x - 2*r = -3*r - 85. Let z be 292/x - (-2)/(-8). Is z > -3?
True
Let d be (4/4)/(2/(-6)). Let w = -2 - -6. Let m = d + w. Is 2 < m?
False
Let y = 14 + -11. Suppose -2*s - 21 = -y. Suppose -2*j = -6, -j = -2*r - 1 - 16. Is r > s?
True
Let y = -293 + 13184/45. Is y less than -1?
False
Suppose 0 = 5*c - 2*c - 9. Suppose -2 = -6*n + n - z, 3*n - 12 = c*z. Let t = 0 + 2/49. Which is bigger: t or n?
n
Let s(f) be the third derivative of -f**6/120 + f**5/60 - f**3/6 - 7*f**2. Let w be s(1). Is 3/23 less than w?
False
Let s be (-9*(-10)/90)/(2/(-58)). Which is smaller: s or 2?
s
Let z(b) = b**3 - b - 3. Let q be z(0). Let c be ((-10)/(-125))/((-54)/(-30) + -2). Which is bigger: c or q?
c
Let x(c) = -c**2 - 7*c - 8. Let b be x(-2). Suppose 0 = b*u - 0*u. Let j be 57/126 + 2/(-7). Is u at most j?
True
Let z = -1440 + 41756/29. Let i = 1.9 - 0.9. Is i bigger than z?
True
Suppose 10 = 3*z + 1. Let r = -83/28 - -29/4. Is z equal to r?
False
Let x be (-11)/22*(-9 + 1). Suppose 4*w + z + x*z - 106 = 0, -82 = -3*w - 5*z. Let y = 28 - w. Is 0 != y?
True
Let w(r) = 14*r + 10. Let k be w(-17). Let f be (4/1)/(6/347). Let g = k + f. Is g < 2?
False
Let w = -1 + 2. Let a be (7/(-14))/((-7)/(-196)). Which is smaller: w or a?
a
Let k = -6 - -4. Let o = k - -5. Suppose -32 + 37 = h. Are o and h nonequal?
True
Suppose -6 - 19 = -5*i + 4*p, -3*p = -i + 16. Is 1/23 smaller than i?
True
Suppose 10 = 5*q, 3*d = 2*d - q + 9. Suppose -23*c - 85 = 53. Let g = c + d. Is 1/2 <= g?
True
Let m(o) = -o**3 - 24*o**2 + 55*o + 55. Let s be m(-26). Do -24 and s have the same value?
False
Let m be 40/105 - (-4)/(-6). Let y = -14 + 33. Suppose 2 = 17*r - y*r. Which is greater: r or m?
m
Suppose 6*b - 3*b = 4*o - 3, 5*b = 3*o - 5. Is -10/121 greater than o?
False
Let k be ((-108)/(-28))/(-9) - 4509/(-84). Which is greater: 54 or k?
54
Let u = -15 - -14. Let s be (-4)/(-10) - (-11)/((-18260)/624). Which is smaller: s or u?
u
Suppose 2*q + 4 = 3*q. Suppose -34 + q = 5*r. Is r equal to 0?
False
Let m be 12/10 - 27/135. Let q be (-3)/(-12) - 698/8. Let n be (((-12)/q)/2)/2. Which is greater: n or m?
m
Suppose -2*o = -3*c + 250, -11*c + 6*c = o - 421. Is 85 greater than c?
True
Let q = -752 + 753. Which is bigger: q or 16/97?
q
Let j = -17112/1285 + 30/257. Which is smaller: -12 or j?
j
Let p = -3747/7 - -537. Let a = p - 272/77. Let v(h) = -h**3 - 9*h**2 - h - 12. Let m be v(-9). Which is bigger: m or a?
a
Suppose -2*b = -3*t - 6 - 5, 5*b - 20 = 5*t. Suppose 3*w - 16 = -w. Which is smaller: w or b?
b
Let d be ((-40)/12)/(2/(-3)). Suppose 0 = x - d. Suppose -4*i + u + 31 + 6 = 0, -i - 4*u = -x. Are i and 9 nonequal?
False
Suppose u = -7 + 5. Let o be u*1*(-25)/10. Suppose 2*x - q - 2*q = -10, q - o = x. Are -6 and x equal?
False
Let y = 319/380 + -17/20. Do y and -1 have different values?
True
Let z = 0.0182 - -0.0818. Let g = -35/2 + 17. Is z at most as big as g?
False
Let r be ((-72)/(-39) + -2)*(-1261)/194. Let b = -22194/11819 + 100/53. Is r not equal to b?
True
Suppose 18*d - 611 = 1333. Are 2 and d equal?
False
Suppose 98 = b - 0*b. Let s be 1552/(-56)*3/((-42)/49). Which is smaller: b or s?
s
Suppose 0 = r + r + 4. Let z = -1320 + 14496/11. Which is smaller: r or z?
z
Let j = -0.303 - -0.313. Which is smaller: -16 or j?
-16
Suppose 447 = -5*i + 182. Is -54 smaller than i?
True
Suppose -4*b = -1 + 9, -2*s - 3*b = -170. Is s at least as big as 88?
True
Let f = -385/3 - -3463/27. Which is greater: f or -0.03?
-0.03
Let c be 1*1/(-3) - (-3)/(-6). Which is greater: c or -2?
c
Let w(v) = v. Suppose 0*y = y - 2. Let h = 3 - y. Let b be w(h). Which is smaller: 3/11 or b?
3/11
Let i(y) = -2*y - 18. Let g be i(-13). Suppose -3*a - 25 = -g*a. Let n be (a/25)/((-8)