 Let h = 5275/4 - 1318. Which is smaller: h or c?
c
Let k(h) = -115*h - 2. Let w be k(0). Let u = 0 - -3. Let f = u + w. Is f < 8?
True
Let h = 1848.98 - 1849. Which is bigger: -39 or h?
h
Let b = -2089254/7 + 299394. Which is smaller: 928 or b?
928
Let z(p) = p**3 - 22*p**2 + 55*p + 39. Let t be z(19). Which is smaller: t or 3/14702?
3/14702
Let z be -1*(-2 + -5 + 2 - 4). Let p(o) = -8*o + 59. Let q be p(z). Is -17 equal to q?
False
Suppose 4*z + 2372 = -5*w + 2444, 5*z - 15 = 0. Which is greater: w or 36?
36
Suppose 0 = -k, -r - 2*k + 10 = 2*k. Suppose -t = -r*t. Suppose -3*x - 4 - 65 = t. Which is smaller: x or -25?
-25
Let q(y) = y**3 + 24*y**2 - 142*y - 1648. Let m be q(-27). Are 14/5755 and m non-equal?
True
Let r be 12*13/(-130) - (-1)/5. Let q = 29 + -31. Is q <= r?
True
Suppose 0 = -3*q + q - 122. Suppose 0 = k + y + 3*y + 133, 4*k + 5*y = -587. Let n be (-182)/3 + k/(-27) + -5. Which is bigger: n or q?
n
Let l = 100 + -96. Suppose 2*c + 2*i = 7*c - 486, 4*i = -l*c + 372. Is 96 at most c?
True
Let w be (-8)/(-64) - (-514)/(-16). Let a = -35 - w. Let m be 1/a*(-4 + -1). Which is greater: m or 2?
2
Let d = 2165 - 821. Let h be ((-27)/d)/(300/(-175)). Is h greater than -1?
True
Let k be 4 + -1 - 48/2. Suppose 0 = 65*s - 72*s - 140. Which is bigger: k or s?
s
Suppose 4*c - 1228 = g, 5*g + 1564 = -2*c - 4642. Is -1241 >= g?
False
Suppose -274 - 130 = 4*r. Let x = -12564 - -12461. Which is greater: x or r?
r
Let q be 160/(-1040) + (-15)/(-13). Which is greater: -2/2597 or q?
q
Let j = 814 - 798. Is 36 < j?
False
Let s = -824 + 736.6. Let f = 84.4 + s. Is 49 smaller than f?
False
Suppose -19*s + 19 = 53 - 15. Which is smaller: -1/4222 or s?
s
Let z(i) be the third derivative of 5/6*i**3 + 32*i**2 + 0*i + 1/4*i**4 + 0. Let g be z(-1). Do 1 and g have different values?
True
Let j(x) = 5 + 8*x - 4 + 4 - 1. Let s be j(6). Suppose -3*f - 224 = -4*n - 26, -5*f = n - 61. Is n smaller than s?
True
Let n = -2391.6 + 2310.6. Which is bigger: n or 6?
6
Let t = -3263 + 3263. Which is greater: t or 7/309?
7/309
Let r = -178786/83 - -2154. Let a be 12/(-225)*565/(-166). Let g = a + r. Which is bigger: 1 or g?
1
Suppose -211*q + 206*q + 698 = -3*c, 0 = -c - q - 230. Do c and -242 have different values?
True
Suppose 5*l - 13*j = -15*j - 1087, -2*l - 4*j = 422. Which is smaller: l or -1098/5?
-1098/5
Suppose -2*t - 5*q + 210 = -0*q, -5*t = q - 548. Let u = 152 - t. Which is greater: 169/4 or u?
169/4
Let i(d) = -1380021*d**3 - d - 4. Let a be i(-3). Let y = 3539872617/95 - a. Let m = -1251 + y. Which is smaller: 0 or m?
0
Suppose 172*r - 174*r = 678. Let h = 380 + r. Is h at least 212/5?
False
Let j be ((-43)/297)/(-1) - 2/10. Let l = -1/55 - j. Which is smaller: 0 or l?
0
Suppose 0 = -6*s + 58 - 46. Let j(u) = 54*u + 11. Let m be j(s). Let r = m - 56. Which is greater: 62 or r?
r
Let g(n) = -n**2 + 11*n - 15. Let z = 48 - 40. Let k be g(z). Let r = -16 + 26. Are r and k equal?
False
Let k = -15.2 - -12. Let u = k + 3. Let c = -25267.96 - -25268. Which is smaller: u or c?
u
Let b be -9 + -2 + (-79)/(-7) + 177/189. Let a = 0.9 - 0.87. Let f = -0.07 - a. Is b smaller than f?
False
Suppose 404*r = 341*r - 63. Which is greater: r or -306/5?
r
Let s be ((-9)/(-6))/(4*27/(-20808)). Is s equal to -289?
True
Let t = 3 - -17. Let u = 22 - t. Suppose 4*o = -517 + 549. Which is smaller: u or o?
u
Let v = -3.176 - -3309.176. Are v and 2 equal?
False
Let p = -0.04983 - -13.04983. Which is greater: -5.8 or p?
p
Let o = 413 + -348. Suppose 0 = 3*u + 2*u. Which is smaller: o or u?
u
Suppose -13*x = -17*x + 12. Let z be (128/24 + -2)/((-1)/x). Is z equal to -9?
False
Let s be -1 + 6 - (-54208)/(-266). Let w = -199 - s. Is w >= 0?
False
Let t = -7910 + 7910.56. Let h be (1 - 1) + (-12)/(-48). Which is bigger: t or h?
t
Suppose -3*m - 132 = 2*s - 115, -4*s + 21 = -5*m. Which is smaller: s or -41/158?
s
Suppose -338 = -19*n + 21*n. Let z = 93 + n. Let o = z + 378/5. Does o = -0.06?
False
Let a = -1009.87 + -84.13. Which is smaller: a or -14?
a
Let j = -455/101 + 3312653/735381. Which is smaller: 0 or j?
j
Suppose -9 = 3*w + 3*i, -5*w = -2*w + 5*i + 15. Let t be (-24 + 0)*((-29)/4 + w). Which is bigger: t or 175?
175
Let g = 18487 - 19363.96. Let f = g - -877. Is f at least as big as 8?
False
Let b = 715 + -151. Suppose 0*o - 4*o - b = 0. Let z = o + 3809/27. Which is smaller: z or -1?
-1
Let g be 1 - 32/20 - (-2544)/40. Suppose 5*l = 14*l - g. Is -19 > l?
False
Let q = 1268/1459 - -22221785/20426. Let x = q + -1089. Suppose -4*v - v = 5. Does x = v?
False
Let f be (-23)/((-2277)/36) - (-41728)/(-114268). Is 1 greater than or equal to f?
True
Let k = -15.38 + 0.38. Let z = -14.9 - k. Let l = 0.066 + 27.934. Which is bigger: l or z?
l
Let r be -6 + (4 - (-3 + 4)). Let a(m) = m**3 - 6*m**2 - 8*m + 8. Let x be a(7). Let b be (-4)/((-12)/r) - x. Is -5/8 != b?
True
Let k be 1/(-1) + (2 - 1) + 4. Suppose -k*o - 2*h + 30 = 0, 4*o - 10 = 3*o + 2*h. Let f be -2*((-28)/o)/7. Which is smaller: f or -1/4?
-1/4
Let y be 4/((-48)/9) - (-12439)/(-28). Let p = 514 + y. Which is greater: 206/3 or p?
p
Let d = 0.149 - -0.151. Let p = -396 - -421. Is p less than or equal to d?
False
Let b = 87 + -60. Suppose 3059 = 43*p + 90*p. Which is smaller: p or b?
p
Let i be -2*(((-66)/(-32))/(-11))/(30/(-20)). Which is smaller: i or -1036?
-1036
Let b = -0.3 + 0.2. Let t = 868.9 + -811. Let o = t - 61.9. Is o greater than or equal to b?
False
Suppose 5*i = 5, -4*i = 4*w - 2*i - 70. Let x(v) = -2*v + 4. Let s be x(0). Suppose -2*z + s = -4. Which is smaller: z or w?
z
Suppose 3*q = -3*q + 78. Let r be 1/(-4) - (111/(-12) + 1). Suppose -5*l - 2*u + 61 = 7, r = 4*u. Which is smaller: l or q?
l
Suppose h + 2*h + k = 224, 0 = -2*h + 2*k + 160. Let f = h + -534/7. Let u = 3 + -3.35. Does u = f?
False
Let h = -454.7 - -456. Let o = -7 + 1. Is h less than o?
False
Let j = 23.4 + -23.548. Is 2/13 at most j?
False
Let c = 246 - 245.863. Let r = -0.093 - c. Let v be (0 - -1)*(-6)/(-24). Is v greater than r?
True
Suppose 1751 = z - 12*q + 10*q, 0 = 3*z + q - 5267. Suppose z = 10*p + 29*p. Suppose -2*b + 4 + 90 = 0. Which is bigger: p or b?
b
Let n be 117/(-63) - 1/(7/(-6)). Which is greater: n or -928?
n
Let f = 32020 - 32624. Which is smaller: f or 11?
f
Let f = 86 - -14. Suppose -4*p + f = p. Suppose -5*w - 5 = -c, 5*w + p = 3*c + c. Which is smaller: w or -7/8?
-7/8
Let l be -1*(-20)/(-15)*(-1023)/2. Which is smaller: l or 2044/3?
2044/3
Let g be -5 - (3 + 1)*(-182)/52. Suppose -24*h + g = -39. Is h less than 19?
True
Let s = -225 - -222. Let f be -3*(4/(-3) + 0) - 4. Which is greater: s or f?
f
Let g be 3 + (-17)/(119/630) + -8. Which is smaller: g or 6?
g
Let s be 75/((-16500)/(-40)) + (-1784)/253 + 1. Which is greater: s or -7?
s
Let m be (-4 - 260/850)/(24/(-400)). Which is smaller: m or 73?
m
Let f(b) = -37*b - 4*b**2 - 18 + 23*b - 3*b**2 + 5*b**2. Let q be f(-5). Let s be (q - 0) + -2 - (-2)/(-61). Which is smaller: -0.1 or s?
-0.1
Let s be 94/(-8) + 44/16 + -3. Let l be (18/s + 2)*24/92. Let q(g) = g - 1. Let t be q(0). Which is smaller: t or l?
t
Let u = 365.9 - 367.9. Is 3133 < u?
False
Let r be 4 + -8 + 7 + (1 - -1). Let l be r/(-1 + -4) - -16. Suppose 10*n - 135 = l*n. Is -28 equal to n?
False
Suppose 3*h - 6*r = -7*r + 21, -2*h = -4*r. Let x be (h/55)/(-8 - (-2529)/315). Are 5 and x non-equal?
True
Let p = 3 - 2.2. Let y = 0.2 + p. Let a = -0.051927 + 0.061927. Which is greater: a or y?
y
Let s be (1 - 0)/((-3)/(-21)). Let h be (0 + (-85)/(-51))*(4 - 1). Suppose 0 = 2*o + 2*o - f - s, 0 = -o - h*f - 14. Which is smaller: o or -3/14?
-3/14
Let n = 0 - -0.26. Let g = n - 0.63. Let h = g - -0.37. Is 0.2 at most as big as h?
False
Suppose 4*v + 16 = -2*l, 2*l + 11 + 7 = -2*v. Let j be (-16)/(-20)*3/(-4)*l. Which is greater: -5 or j?
j
Let m be ((-68 - -70) + (0 - (-4)/(-2)))/(-1). Which is smaller: m or -55/61?
-55/61
Let j(w) = -10*w**2 + 1038*w + 209. Let z be j(104). Which is bigger: z or 1/3248?
z
Let g = -15093 + 437887/29. Is 6 equal to g?
False
Let p(y) = y - 2. Let i be p(7). Suppose -2*j + 5*d = 29 - 10, -i*j + 20 = d. Let x be 4 + -4 + j/27. Is -0.2 > x?
False
Let b be (-6 - 10)*(-10)/8. Suppose 6 = 3*t, 62 = 3*v + 2*t + 2*t. Suppose v*r = b*r + 2. Is 16 smaller than r?
False
Let z = 99 + -98.