is bigger: 1/122 or a?
1/122
Let q(b) = -2*b + 5. Let o(i) = -i - 2. Let p be o(-5). Let u be q(p). Which is bigger: -4 or u?
u
Let f(k) = 3*k - 16. Let r be f(-3). Let w = 15 - 10. Suppose -5*d = w + 15, 2*h = 2*d - 44. Which is smaller: r or h?
h
Let w(y) = y**2 + 3*y. Let m be w(-5). Suppose -4*u + 2*u - m = 0. Let t = -22/185 - 3/37. Which is greater: u or t?
t
Suppose -13 = h + 3*z + 8*z, 2*h - 1 = 5*z. Are h and -68/47 equal?
False
Suppose -2*p + 17 = a - 3*p, -2*a = -5*p - 46. Suppose a*b = 2*b + 66. Is b at most as big as 19/4?
False
Let q = 647 - 649. Is 26 greater than q?
True
Let u = -100 - -20. Let g = u - -120. Which is smaller: g or 41?
g
Suppose -4*j + 56 + 32 = 4*h, 0 = 4*j - 8. Is 21 > h?
True
Let c be ((-2185)/630)/19 - (54/(-21) + 2). Suppose -3*j + 0 = -3. Which is bigger: j or c?
j
Let g(q) = q**2 - 7*q - 30. Let r be g(10). Suppose 5*a + 0 = d + 38, r = -4*d - a - 215. Is -53 less than d?
False
Let k be ((-12)/42)/(1/(-161)). Which is smaller: -2 or k?
-2
Let n = 3 + -2. Let s = n - 1. Let k = -122 - -122.2. Which is bigger: k or s?
k
Let c = -13 + 6. Let l be 7/(c/(-3)) - 19. Are -16 and l non-equal?
False
Suppose 0 = -7*v + 8*v - 2. Suppose 0 = -3*o + o + c + 37, -v*o + 35 = c. Suppose 6*f - 96 + o = 0. Which is greater: 25/2 or f?
f
Let w(g) = -g - 1. Let p(m) = -1. Let o(z) = z**3 + 5*z**2 + 4*z + 1. Let x be o(-4). Let c(l) = x*w(l) - 6*p(l). Let u be c(5). Are u and 6/7 unequal?
True
Let g = 304 + -304.37. Do g and 0 have the same value?
False
Suppose 0 = 26*f - 12*f - 1554. Is 6 >= f?
False
Let a = -19/51 + 12/17. Which is smaller: -0.04 or a?
-0.04
Suppose t = 2*b - 8, 0 = -b - 2*b + 12. Suppose t*z = -r - 4*z - 15, -r = z + 21. Is -24 smaller than r?
True
Let a be ((-4)/(-18))/(-1 - 1). Suppose v = -4*z + 29, -v + 19 - 39 = -3*z. Which is greater: a or v?
v
Let l = -791.96 + 810. Let i = l - 0.04. Let r = i - 17.8. Is -0.3 at most r?
True
Let y = 222 - 223. Let w = -13.1 - -2.1. Which is greater: y or w?
y
Let g = 157 + -157.015. Which is greater: 3/8 or g?
3/8
Let u = -12.51 + 12.1. Let r = 16.41 + u. Which is smaller: 1/4 or r?
1/4
Let x = 10.45 + 0.55. Let j = x - 15. Which is greater: j or 1?
1
Let i = -792 - -522. Which is bigger: -271 or i?
i
Let v be (119/28 - 4) + (-51)/252. Is -1 at most as big as v?
True
Let t = 9 - 4. Suppose 2*z - 38 + 28 = 0. Is t <= z?
True
Suppose 4*x + 73 - 81 = 0. Suppose 0 = -2*h + b - 25, -x*b = 5*h - 31 + 107. Which is greater: h or -15?
h
Let l = -303 + 250. Do -55 and l have the same value?
False
Let h(w) = 13*w**2 - 145*w + 18. Let f be h(11). Suppose 0 = 2*a - 18 + 4. Suppose -16 = 4*r + 3*q - a, -3*q = r. Which is smaller: f or r?
f
Let i = -870 + 895. Is i != 24?
True
Let p = -72 + 141/2. Let n = -1691 - -1686. Which is greater: p or n?
p
Let u = 459 + -460. Which is smaller: u or 1/68?
u
Let r = -0.74 - -0.34. Let z = r - -0.3. Which is greater: z or 18?
18
Suppose -2*t + 536 = -5*p - 558, -2*t = -3*p - 658. Is p <= -216?
True
Let s be -2 + -3 - (0 - (6 + -2)). Is s >= -10/67?
False
Let w be 12/(-5) + 82/205 - -715. Is w not equal to 713?
False
Let w(j) be the second derivative of j**7/2520 + j**5/10 - 5*j**4/6 - 5*j. Let g(h) be the third derivative of w(h). Let o be g(0). Is 13 < o?
False
Suppose -14 + 14 = 5*d. Is -3 at least d?
False
Let u be (-4)/42*-1 - (-36)/108. Is u at least 4/27?
True
Let g = 53.02 - 53. Let n = 2.98 + g. Let i = -0.2 - -0.18. Which is smaller: i or n?
i
Suppose 0 = 3*c - 16 + 34. Let b be (c/5)/((-52)/60). Which is smaller: b or 2/7?
2/7
Let t(h) = -h**2 - h + 10. Let i be t(-3). Let m be (-28)/63*(-3)/i. Which is bigger: m or 0?
m
Suppose -2*d + 2 = 0, 0*t = -t + 3*d - 1. Suppose -19 - 15 = 2*s. Let q = s + 17. Which is bigger: q or t?
t
Let b = 2 + 121. Let m = b + -124. Which is greater: m or 1.3?
1.3
Let p = 53 - 32. Let u = 23 - p. Let w = u + 3. Which is smaller: -2/7 or w?
-2/7
Let k(z) be the third derivative of -z**6/120 + 2*z**5/5 - 11*z**4/12 - 13*z**3/6 - 26*z**2. Let s be k(23). Which is bigger: 1 or s?
s
Let w = -38.84 - -39. Let p = -272.3 + 272. Which is smaller: w or p?
p
Suppose 394 - 418 = -12*w. Let u be 156/10 - 4/(-10). Suppose d + u = -w. Which is greater: -17 or d?
-17
Let l = 1/356 - -703/3204. Let a = -2057 - -2016. Is l less than or equal to a?
False
Suppose -61 = -4*g + 3*g. Let v = g + -307/5. Let z = 27.1 + -27. Which is smaller: z or v?
v
Let p(y) = 5*y + 2. Let f(w) = -4*w - 3. Let d(s) = -3*f(s) - 2*p(s). Let h be d(-4). Suppose 0 = -4*o + 5*j - 31, 6 = -3*o - j - j. Is h > o?
True
Let n be 3344/21216 + (-2 - (-44)/24). Do n and 0 have the same value?
False
Suppose 0 = 4*j - 2*m - 16, -5*j + 7*m = 5*m - 20. Let b be j/7*(7/(-10))/(-1). Is b at least -6?
True
Let y = 1 + -12. Let l = y + 10. Let b = 13 - 4. Which is greater: b or l?
b
Let c(z) = 2*z - 19. Suppose 0 = -5*s - 2 + 52. Let q be c(s). Is 1 greater than q?
False
Suppose 19 + 17 = 3*v. Suppose 63*y = 82*y + 209. Let b = v + y. Which is greater: -2/17 or b?
b
Let j be 3/4 - 5/(-60)*747. Does j = 64?
False
Let p = -0.1 - -0.1. Which is bigger: 234 or p?
234
Let q(p) = -11*p**2 + 6*p - 5. Let d(r) = -r**2. Let w(i) = 3*d(i) - q(i). Let s be w(3). Which is greater: s or 60?
60
Suppose 0 = -156*c + 178*c + 308. Is c >= -29?
True
Let g = 125 + -371/3. Let f = 7 + -4. Suppose 10 = 2*n + 3*j, 4*n - 3*j = -1 + f. Which is smaller: n or g?
g
Let d = 35/62 - 2/31. Let l be 18/(-99) + 1153/(-11). Let a = l - -527/5. Which is smaller: a or d?
a
Let f be (-9)/(-3) - (-133828)/(-17668). Let n = 2/631 + f. Which is smaller: n or -6?
-6
Let w(u) = -u - 4. Let s be w(-4). Let m(x) = 10*x - 3 - 9*x**2 + 0 - 1 + s*x + x**3. Let v be m(8). Is 12 > v?
False
Let u(v) = -v**2 + 2*v + 2. Let l be u(7). Let t = 71 + l. Suppose -2*s - t = 3*o - o, 12 = -4*o. Is s greater than -1?
False
Let v = 118/11 + 202/55. Suppose b = -5*h + 19, -28*b = -25*b - 2*h - 40. Is v bigger than b?
True
Let l be (76*3/(-48))/2. Is -4 < l?
True
Suppose 19*c = 24*c + 245. Does -50 = c?
False
Let y = -17.98 + 21. Let z = -0.02 + y. Is z equal to 0.04?
False
Let o(f) = f**3 + 8*f**2 + 9*f + 39. Let b be o(-10). Which is bigger: -250 or b?
-250
Let x = 1754 + -1754. Which is greater: x or -17/71?
x
Suppose -4*z + 629 = -2*c + 3*c, 3*z + c = 473. Are 153 and z non-equal?
True
Suppose -3*p + 108 = q, -9 = -6*q + 3*q. Let i be (-154)/p - 6/10. Which is smaller: i or -2?
i
Let w be 6/(-9)*18/(-28). Let g = 32 - 30. Suppose p + g*p - 12 = -5*f, 5*f - 20 = 5*p. Are p and w nonequal?
True
Let z = 313 - 319. Is -45/7 less than z?
True
Suppose 4*c = g - 2 - 1, 0 = -5*g - 3*c - 77. Let h = 18 + g. Is 5 at most h?
True
Let x(z) = -z**3 - 2*z**2 - 2*z - 2. Let i be x(-2). Let h be i/5*(3 + -2). Let v(q) = -q**3 + 45*q**2 - 6*q + 270. Let m be v(45). Which is smaller: h or m?
m
Let i = -3 + 2.99. Let b = 1769 - 1766. Is b greater than i?
True
Let s be -3 - (-2 - (3 + -3)) - 0. Suppose 81 + 18 = -d. Let q be 4/18 + 31/d. Is q less than or equal to s?
False
Suppose -4*f + 54 = 2*s, f = -4*s + s + 71. Let j be ((-272)/s)/(-4) + -3. Is 0 at most j?
False
Suppose p = 76*p - 2250. Is p greater than -0.16?
True
Let l(f) be the first derivative of -f**3/3 + 4*f**2 - 7*f - 4. Let n be l(7). Let m = 126/1469 + -1/113. Is n < m?
True
Suppose -26*o - 279 = -71. Is 53 at most o?
False
Suppose -2*j + 64 = -96. Let f be j/(-66) + (-4)/(-6) - 0. Is -1 smaller than f?
True
Let i = -79 - -123. Let d be 1/3 - i/78. Is d equal to 1?
False
Let q be 2/8 - 35/(-4). Suppose -2*n = 2*o + 22, o + 4*o + 2*n = -52. Let p = 20 + o. Is q at least p?
False
Let l = -443 + 11521/26. Let o be -5 + 2/(-2) + (-19)/(-3). Is l less than o?
True
Suppose 0 = 4*q - 48 - 16. Let a be (168/35)/(5/25) - 6. Which is smaller: a or q?
q
Suppose -9*g - 2*b = -12*g - 1065, -4*g + 2*b - 1422 = 0. Which is smaller: g or -356?
g
Let u = -7686 - -7690. Suppose 5*t - 4*x - 20 = 0, -3*t - 6*x + 2*x = -44. Suppose 2*j + t = -4*l, 0*l + 4*l + 28 = 3*j. Is j < u?
False
Let g(a) = a**3 + 11*a**2 - 1. Let i be g(-11). Which is smaller: i or 9/101?
i
Let f be -15 + 3 - (-2 + 2). Let u = 13 + f. Does u = -2/53?
False
Suppose 0 = 5*c - 2*s - 10 + 2, 3*s + 12 = -2*c. Let n(k) = -6*k + 47. Let j be n(7). Let o be (-1)/j + (-299)/455. Which is bigger: c or o?
c
Let w = -21 - 