). Which is smaller: x or 1/51?
1/51
Let p(o) = o + 17. Let r(d) = d + 16. Let i(k) = 5*p(k) - 6*r(k). Let j be i(-8). Which is smaller: -11/6 or j?
j
Let x be (-1674)/(-21) - (-4)/14. Is 81 < x?
False
Let i(d) = d**2 + 7*d + 1. Let n be i(-7). Suppose -690 + 162 = 4*c. Let a be 50/c + (-6)/(-18). Which is smaller: n or a?
a
Suppose -19 + 123 = 26*k. Which is smaller: k or 26/7?
26/7
Let v(y) = -y**2 - 31*y + 16. Let j be v(-8). Is j greater than 203?
False
Let m be 112/(-952) - (-6292)/17. Is 370 less than or equal to m?
True
Let h = 720 + -291. Which is bigger: 428 or h?
h
Suppose -294 + 408 = -6*z. Are -20 and z non-equal?
True
Let v(k) = k**3 - 1. Let t be v(0). Suppose 2*l - 2*m + 52 = m, 3*l + 112 = -4*m. Let w be 98/(-152) + (-24)/l. Is w greater than or equal to t?
True
Let z = 1590/7 + -46012/203. Which is smaller: z or 1?
z
Let d(b) = -17*b - 627. Let i be d(-33). Do i and -336/5 have different values?
True
Suppose -q - 3*v + 248 = 0, 5*q - v - 903 = 289. Is q at most 240?
True
Let q be 3*(-1)/2094*6. Which is greater: q or 1?
1
Let g(w) = -3*w**3 + 14*w**2 + 2*w - 1. Let x be g(6). Is x >= -134?
True
Let c = 25 + 17. Suppose 0 = -h + c - 50. Do -7 and h have the same value?
False
Let u = 5/7 + -3/14. Let b = 13 + -11.6. Let c = 1.4 - b. Does u = c?
False
Let q = 37/340 - -12/85. Which is smaller: q or -35?
-35
Let y = -2/375 + -71/750. Which is bigger: -1 or y?
y
Let l be (-1)/10*(-5)/2. Let w = 16.7 + -16. Let n = -0.6 + w. Do l and n have the same value?
False
Let l be (-195)/(-9) - (7 - (-19)/(-3)). Which is greater: l or 6?
l
Let d(n) = -16*n**2 - 135*n + 9. Let a be d(-8). Is 63 at least a?
False
Suppose 11 = 2*p + 7. Suppose -h = d, 3*d - 2 + 1 = -p*h. Is -2/123 smaller than h?
False
Suppose -4*u = 2*o + 20, 3*o + 10 = 3*u + 25. Let i = 217 + -2820/13. Which is smaller: i or o?
o
Suppose 2*y = -2*y + 32. Suppose 0 = 3*j - 5*b - 29 - y, 0 = -4*j + 2*b + 26. Let c be -3 - 4/16*j. Which is greater: c or -6?
c
Suppose -3*i = 2*k - 3*k - 54, 0 = 2*i + 4*k - 50. Which is bigger: 15 or i?
i
Let q be 32/75 - (-4)/(-6). Suppose 44 - 44 = 64*y. Which is smaller: y or q?
q
Let t be (3/5)/(7 - 25/4). Which is bigger: t or -0.2?
t
Let p = 544 - 21217/39. Let c be (1*2)/(-45 - -47). Which is smaller: c or p?
p
Let j(p) = p**2 - 5*p - 1. Let t be j(5). Let n = 24 - 649/27. Is t < n?
True
Suppose 5*u = -20, -4*c = 3*u - 9 - 11. Let i(x) = -4*x**2 + 5*x**2 - x**2 + x**2 - c*x + 10. Let h be i(6). Is 8 < h?
False
Suppose 0 = 6*d + 11*d. Which is smaller: d or 1/101?
d
Let o be 1/3 - (-10)/(-48). Let r(a) = -13*a**2 - a + 2. Let n be r(1). Let g be 2/(-4) + -2*3/n. Which is smaller: o or g?
g
Suppose -w - 32 = -4*b, b + 4*w - 57 = -66. Let f be (12/(-10))/((-12)/80). Is f at most b?
False
Let l = -50 - 37. Is -353/4 bigger than l?
False
Suppose -14*l + l = -78. Suppose 0*f + 12 = 2*f. Suppose -f*g + 20 = 3*j - 5*g, -j = -g. Do j and l have the same value?
False
Suppose -46*u = 29 + 17. Let j = -5 - -5. Which is greater: j or u?
j
Suppose 4*w + 40 + 28 = 0. Suppose 3*q + 4*o + 21 = 0, 0*q - q - 8 = o. Let k = q - w. Is k at least 6?
True
Suppose g - a + 3 - 1 = 0, -4*a = g - 23. Suppose -4*c - 50 = -g*b - 13, 2*b = -c + 10. Suppose 3*w - b*w = 24. Which is smaller: w or -7?
-7
Let r(g) = -2*g + 18. Let u be r(9). Suppose -5*j - 385 = 4*m, 2*m - m + 5*j + 85 = u. Let l = -1088/11 - m. Which is greater: l or 2?
2
Let z(p) = 39*p - 1743. Let j be z(45). Let f be -4*(15/(-2))/(-5). Which is smaller: f or j?
f
Let h(o) be the first derivative of o**2/2 - 7*o + 3. Let q be h(6). Let a be ((-2 - -2) + -2)/(-20 + 41). Which is bigger: a or q?
a
Suppose -18*u = -11*u - 105. Let z be ((-2)/u*3)/((-5)/50). Let x(y) = y**3 + 3*y**2. Let c be x(-3). Are z and c nonequal?
True
Let g = 2135/8 + -1488111/5576. Are g and 0 equal?
False
Let c = -2.74 - 0.16. Let h = c - -0.9. Let q = -5 + h. Is q less than or equal to 0.1?
True
Let f = 2/431 - 4324/3017. Is f at least as big as -1/2?
False
Let q = 49834892 - 5382031501/108. Let z = q - 1267. Which is smaller: 0 or z?
z
Let i be 15 + (-3 - 22/(-2)). Is 20 <= i?
True
Suppose 4 = -3*c + 10. Suppose -q = c*q - 6. Suppose q*u - 5 = 5. Is u at most 0.1?
False
Let p be (-5982)/3555 + (-4)/(-10). Let k = 4/79 - p. Let n = 124 - 123. Which is greater: k or n?
k
Let a = 502 - 464. Which is smaller: 45 or a?
a
Let p be ((27/(-21))/(-3))/(-1). Let u = -84 + 1766/21. Let c = u + p. Which is smaller: 0 or c?
c
Let c = 56156/781 + -790/11. Let p be (-688)/8520*6/1. Let k = p + c. Is k equal to 0.2?
False
Let b be 27 - (-6)/12*-6. Which is greater: 25 or b?
25
Let o be (-342)/(-84)*(-3)/(-639). Let w = 61484/5467 - o. Let d = 52/11 - w. Which is bigger: -7 or d?
d
Suppose t + 4*z = -323, 311 = -6*t + 5*t - z. Are -306 and t nonequal?
True
Suppose -63 = -4*c - j, 5 = -j + 8. Let n be (2*c/(-8))/((-15)/(-40)). Which is smaller: -13 or n?
-13
Suppose 0 = v + 2*u + 135, 34*v + 5*u - 279 = 36*v. Is v at least as big as -135?
False
Suppose 0 = 21*g - 11*g - 850. Let i = g + -40. Is 45 at least i?
True
Let n = 31 - 40. Let i be 8/(-12) + 13/15. Which is smaller: n or i?
n
Suppose -5*f = -b + 21, -3*b + 25 - 42 = 5*f. Which is smaller: b or -14/149?
-14/149
Let c(s) = -s**3 - 2*s**2 - 3*s - 2. Let w be c(-2). Suppose -26*m + 24*m + w = 0. Suppose -6 + 3 = -3*v. Which is bigger: m or v?
m
Let u = -48 + 18. Let d be -6*(-3)/u*-15. Suppose 7*v - 4*v + d = 0. Is -2 <= v?
False
Suppose -2 = 2*j, 18 + 20 = 5*x + 2*j. Let q(t) = 4*t - x - 6*t**3 - 3*t + 5*t**3. Let m be q(0). Is -1/3 != m?
True
Let i be (-18)/(-3) - (-22)/(-4). Which is smaller: i or 1?
i
Suppose 0 = -4*v + 4*f + 104, 2*v - 5*f - 30 - 22 = 0. Let d be (-260)/(-35)*(-98)/(-28). Are v and d non-equal?
False
Let v = 75/16 - 11041/2352. Let y = -97/147 + v. Is y != -2?
True
Suppose 5*b - 4 = 6. Suppose r + o = -b, -2*r + 4*o + 3 = -o. Let v = -11/10 - -1/2. Do v and r have different values?
True
Let w = -1283 + 1486. Which is smaller: 201 or w?
201
Let n = 4 + -4.02. Let h = -0.16 - -0.01. Let x = h - 0.85. Which is smaller: n or x?
x
Let z = 35.9 + 162.1. Which is greater: z or -2/5?
z
Let k = -32 - -13. Suppose 5*m - 70 = 3*l, -5*l + 7*l = 2*m - 44. Is l greater than k?
False
Let h = -0.39 + 0.52. Let x = 0.03 - h. Which is greater: 2 or x?
2
Let g = 8.2 - 13.2. Suppose -6*s = -5*s - 7. Let j = s - 8. Is j >= g?
True
Let a = 5991 + -3831. Which is smaller: a or 2159?
2159
Let j(m) = 7*m**3 - 6*m**2 + 5*m + 13. Let s(y) = -3*y**3 + 3*y**2 - 3*y - 6. Let a(w) = 2*j(w) + 5*s(w). Let t be a(3). Is t at most -20?
False
Let a = -27 - -46. Let g = -20 + a. Is -18 less than or equal to g?
True
Let o = 24 - 20. Let d be (-7)/(-2)*o/7. Suppose -3*f = -z + d, -4*f + 5*z - z = 16. Is f != -1/8?
True
Let n = 58 - 47.8. Let h = n + -12. Let y = -1.7 - h. Which is greater: y or 3?
3
Let i = -3 - 4. Let s(d) = d**2 + 8*d + 5. Let o be s(i). Suppose -230*w = -236*w - 30. Does w = o?
False
Let c(p) = -p**2 - 13*p + 8. Let u be c(-14). Is -3 at most u?
False
Suppose -2*r + 344 = -10*t + 8*t, -5*t = 5*r + 870. Is t >= -174?
True
Let n = 92864 + -648891/7. Let a = -165 + n. Which is smaller: a or 0.5?
a
Let l = -1 - -6. Suppose -l + 23 = 3*m. Let v be 12/15*(19 + m). Which is smaller: 19 or v?
19
Let g(k) = 2*k**2 - 4*k. Let r be (-8)/(-28) + 24/14. Let d be g(r). Suppose p + d*p = 0. Which is smaller: 3/16 or p?
p
Let c = 4.846 + -4.9. Let q = c - 1.946. Is q greater than 6?
False
Let a be -1 + 3 + ((-2264)/(-1130))/(-1). Which is smaller: 0 or a?
a
Let f = -70 + 69. Which is greater: f or 2/7?
2/7
Let t = 240 - -5. Is t > 245?
False
Suppose 30*h + 3410 = -7120. Is -352 not equal to h?
True
Suppose -3*n - 19 = -l, 5*l + n = 16 + 111. Let z be 3/21*l + -4. Is -1 >= z?
False
Let b be ((-2)/7)/((-84)/294). Which is smaller: 15/19 or b?
15/19
Let h = -2.16 - -0.06. Let a = -3.1 - h. Let m = a + 1.1. Which is bigger: m or 3/23?
3/23
Let h be (0/27)/(-1*1). Suppose -4*f = -3*w + 4, 4*w = -2*f - h - 2. Which is smaller: f or -1/19?
f
Let d = 79 - 19. Which is smaller: d or 61?
d
Let f(t) = -15*t**2 - 21*t - 52. Let w be f(-3). Do -126 and w have different values?
True
Suppose 0 = -18*g + 21*g + 69. Let y = g - -16. Suppose -2*f + 24 = -3*f + 5*v, 20 = 5*v. Which is smaller: f or y?
y
Let g(y) = -y**3 