 58?
58
Let m be (-2)/(30/9 - 4). Let u = 11 - m. Let v(h) = -2*h + 13. Let j be v(u). Is -4 < j?
True
Let h(t) = t + 2. Let g be h(0). Suppose j + g = 3. Is 0.9 < j?
True
Let a(p) = -p**2 + 7*p + 22. Let k be a(9). Suppose 4 - 4 = -k*n. Is 1/18 < n?
False
Let v = -121099 + 1212311/10. Let i = v + -132. Which is smaller: i or -1/2?
-1/2
Suppose 5*v - 1708 = 1437. Which is bigger: v or 630?
630
Let l be (6/4)/(2/(-4)). Let i = l + 7. Suppose -3*y + 7*y - i = 0. Does y = -2/13?
False
Suppose 15*i - 17*i - 730 = 0. Let g be i/(-65) + (2/2 - 4). Do g and 4 have different values?
True
Let u = 11/19 + 2/95. Let o = 6 - 4. Is u < o?
True
Let b be 8/6*(-1890)/(-80) + 6. Let j = 134 + -96. Is j != b?
True
Suppose -2*l + 9 = -5. Suppose 0 = -3*u - 26 - l. Which is greater: u or -9?
-9
Let s = 3 - 8.2. Let p = s - -5.3. Is 1.5 < p?
False
Suppose -l + 12 = 2*l. Suppose -3*q + l*q + 8 = -b, -q + 3*b = 0. Is q <= -10?
False
Let v(g) = 27*g - 12. Let x be v(-5). Let k = -1619/11 - x. Which is smaller: k or 0.3?
k
Let a = -145 + 148. Let g(b) = 8*b**2 + 3*b + 26. Let o(z) = -3*z**2 - z - 9. Let w(x) = 4*g(x) + 11*o(x). Let k be w(a). Which is greater: k or -4/5?
-4/5
Let s(u) be the third derivative of -u**6/120 + 7*u**5/60 - u**4/4 + u**3/6 - 25*u**2. Let i be s(6). Is i not equal to 2/83?
True
Let z be ((-16)/(-48))/((-4)/12). Which is greater: z or -25/64?
-25/64
Let p(b) = -b**3 - 9*b**2 - 15*b - 62. Let r be p(-8). Which is smaller: 4 or r?
r
Let r be (-8)/4 - -4 - 1. Let s = 1 + 3. Let h be (-260)/25 + s/10. Which is bigger: h or r?
r
Let b be ((-6)/202)/((-4545)/(-202)). Are b and 1 non-equal?
True
Let q(l) = 2*l**2 + 1. Let o be q(-1). Suppose -49 - o = 4*t. Let x = t - -9. Are -3 and x unequal?
True
Let j = -21.3 - 0.7. Let f = -21 - j. Suppose -10 = -s + 4. Which is bigger: s or f?
s
Let b be ((-54)/(-31))/((20/3412)/5). Let y = b - 1486. Is 1 > y?
True
Let a = 3.85 - 5. Let k = -0.25 + a. Let h = -1.44 - k. Which is bigger: 2 or h?
2
Let x = 5.5 + -5.2. Let p = -0.34 + 0.3. Which is smaller: x or p?
p
Let v be (-3 - (-991)/329)/(12/14). Is 1 < v?
False
Let o = 17.87 + -18. Let r = o + 0.08. Let b = r - 0.05. Is b greater than 2?
False
Suppose -2*d + 16 = 2*d. Suppose 2*i - 4*j + 4 = 0, d*i - j + 0 = -1. Suppose -x = -i*x + 5. Which is smaller: x or 0?
x
Let p(n) = 23*n + 259. Let r be p(-11). Suppose 4*k - 8 = 24. Is r > k?
False
Let q(v) = v**3 + 8*v**2 - 21*v - 4. Let l be q(-10). Suppose -c - l = -7*c. Which is greater: c or -3/7?
c
Let w = -674/91 + 54/7. Let t(v) = v**2 + 3*v - 5. Let s be t(2). Let b(x) = x - 5. Let g be b(s). Which is smaller: g or w?
g
Let k = -21 + 20.99. Let i = 0.09 - k. Let x = -0.9 + i. Is 0.1 equal to x?
False
Let j = 8.95 + -1.95. Let g = 8 + -2. Let s = j - g. Is 1 smaller than s?
False
Let q = -100 - -5. Let l = -93 - q. Is 6 <= l?
False
Let n = 0.01 + 1.99. Let a = n + -2.1. Let m = -1436/7 - -205. Which is smaller: a or m?
m
Let d be (-3*1)/(79/76 + -1). Let t = 8130/107 + d. Is t <= -1?
False
Let b = -2345 - -21107/9. Let h = -1.3 - -0.3. Which is greater: b or h?
b
Let j(o) = 2*o**2 - o + 24. Let z be j(0). Let h = z + -41. Let i = -16 - h. Is i less than or equal to -2/7?
False
Let m = 3.9 - 4. Let u be (10/4)/(6/(-12)). Does u = m?
False
Let g = -19 - -14. Let p be ((-4)/10)/(1/g). Suppose 0*x - p = -2*x. Is 1/6 at most x?
True
Let v = -32 + 28. Let t = v - -3.84. Is t < 1/3?
True
Let x = -5 + 13. Let j be 29/x + (-3 + -4 - -4). Is j less than 2?
True
Suppose u - 4*p - 6 = 4, -2*p = 5*u - 6. Suppose -2*s + 0*s - u = 0. Is s >= -2/27?
False
Suppose 2 + 4 = 2*o. Suppose -8 = 5*n - o. Let h = 3405 - 3407. Is n <= h?
False
Suppose -h = 3*u - 39, -h - 41 = -3*u - 2. Which is greater: 40/3 or u?
40/3
Let t(r) = r - 13. Let s be t(13). Let f = 2 + s. Suppose -f*o + a = 7, 4*o + 17 = -2*a + 5*a. Is o greater than -3/5?
False
Suppose 11*j = -0 - 22. Is j at least as big as 76?
False
Let r = -78 - -78. Which is greater: 6/59 or r?
6/59
Let d = -32 + 31. Let j be -10*(4 + -4 + d). Which is smaller: 54/5 or j?
j
Let b = 10.47 + -7.47. Let v = 0 - 0. Let u be v/(0/2 - -1). Which is bigger: b or u?
b
Suppose k - 5*b - 40 = 0, -2*k + 2*b - 26 = -74. Which is greater: -6 or k?
k
Let b = 105701609/3347 + -31581. Are 1 and b equal?
False
Let p(s) = -s + 5. Let m be p(5). Suppose m = 2*l - r + 3 - 1, 2*r - 4 = 5*l. Let i = -39 + 313/8. Is l != i?
True
Let v = 102.103 + -0.103. Is 2/3 at most v?
True
Let m(p) = -5*p**3 - 20*p**2 - p - 5. Let s be m(-4). Do s and 3/487 have the same value?
False
Suppose 8 - 47 = 3*c. Let h = -7 - c. Let v be (-5)/(10/h)*3. Which is smaller: -8 or v?
v
Let v be 2*6/(-8)*(-20)/6. Let o(s) = 3*s + 3*s - s**2 - 2*s + 3. Let i be o(v). Which is greater: -3 or i?
i
Suppose 0 = -11*f + 14812 - 3658. Let k = 11208/11 - f. Which is smaller: 4 or k?
4
Let h = 1 - 2. Let w = 36.2 - 35. Let v = w - 1.3. Which is bigger: h or v?
v
Let b be 8/(-20) - (-158)/(-5). Let j = -560 - -529. Does b = j?
False
Suppose -4*c = -5*a + 17, -4*a = 9*c - 5*c + 8. Let d(s) = -4*s - 2. Let p be d(-2). Let j = c + p. Which is bigger: 0.2 or j?
j
Let n be (-1)/(-2)*(-2 + 2). Suppose 5*q - 90 = -n. Let a = -28 + q. Is a != -10?
False
Let d(t) = -t**3 + t**2 + t - 32. Let h be (0 + 2 - 2)/1. Let a be d(h). Is -32 at most a?
True
Let s = 10 + -7. Suppose -4*a + 5*y + 12 = -a, -y = s*a - 12. Suppose 20 + 7 = 9*d. Is d smaller than a?
True
Suppose -4*w + 772 = -5*y, 5*y = -w + 155 + 63. Which is smaller: 201 or w?
w
Let k(q) = 2*q**3 - 2*q**2 - 2. Let u be k(2). Let j be u/18 - 34/(-6). Suppose 0 = 5*r - 66 + j. Which is greater: r or 13?
13
Suppose 2*x - 8 = 0, -4*x = s + 22 - 5. Let b be s/4*1/3. Which is smaller: -3 or b?
-3
Suppose 2*r + i = -16, -4*i + 31 = -2*r + 5. Let m be 2 + (2 - (-42)/r). Suppose 3*c - 2 = -32. Is c <= m?
True
Suppose 0 = 2*y - 23 - 21. Let d be 0 - (0 - 0) - (-1 + -20). Is y <= d?
False
Let j = 138 - 97. Let g = -83/2 + j. Are 12 and g unequal?
True
Suppose 0 = 5*m + 15, -5*t + 11*m - 214 = 9*m. Is t < -54?
False
Let y = -896 + 2698/3. Let z = 0 + 2. Is z bigger than y?
False
Let r = 19.86 - -2.54. Let l = 0.48 - 23.48. Let u = r + l. Which is smaller: 0 or u?
u
Let n be (8 - 1)/(21/3). Are n and 1/619 equal?
False
Suppose 2*s = -3*k + 6*s - 50, 0 = -3*k - 5*s - 59. Let a be (62/12)/(k/(-160)). Let t = a + -46. Is t less than -1?
False
Suppose 4*b - 775 = 5*z, 575 = 3*b - 2*z - 3*z. Does b = 1007/5?
False
Let j = -1822/55 + 360/11. Is j >= 598?
False
Let z(v) = -v + 8. Let d be z(-13). Let q = d + -18. Suppose -5*l - 68 = -4*b, q*b - 17 = 3*l + 25. Is l > -2/7?
False
Let d be (1 + -3 - 0)*13/(-26). Which is smaller: 9/16 or d?
9/16
Let x be 6/(-9) - 12/9. Let d = -5 - -1. Let i be d/(-20) - (-54)/(-70). Which is greater: x or i?
i
Let s = -661 + 662. Is 2/119 at least s?
False
Suppose 4 = 4*g - 16. Suppose -2*r = -7*r + g. Let t = -23648/43 - -550. Is t at most as big as r?
True
Suppose 5*n = d + 293, -10*n = -5*n + 5*d - 275. Which is bigger: 61 or n?
61
Let r be 2/8 + (-18)/8. Let l = 372 + -2612/7. Which is bigger: r or l?
l
Suppose 16*i + 2*u = 11*i - 165, 3*i - 3*u = -120. Is i less than or equal to -3?
True
Let f(b) = -5*b + 5. Let t be f(0). Let x(n) = -n + 4. Let c be x(t). Let q be -1 + 1 - (-2)/(-12). Are c and q non-equal?
True
Let n(s) = -s. Let d be n(-2). Suppose -2*j - d*j - 4 = 0. Let c = j + 2. Is c less than 1?
False
Let d be 4536/20 + (-8)/10. Let j = 119 - d. Is j >= -108?
True
Let k = 1 - 2. Let d be 3/(-6) + (-93)/918. Let a = 14/17 + d. Is a smaller than k?
False
Suppose -4*a - 18 = -3*o, -5*a = -0 + 15. Let k(n) = n + 2. Let h be k(o). Suppose -4 - 1 = -m. Is m != h?
True
Suppose -5*r + 95 = 2*b, 3*r = 7*b - 2*b - 160. Let a = -34 + b. Which is smaller: a or 3?
a
Suppose 5*z = 4*z - 21. Let k be 12/z - (-80)/(-28). Is -3 less than k?
False
Let o(m) = m**3 - 13*m**2 - 14*m - 2. Let r be o(14). Suppose -6*i + 2*i = -20. Suppose -h - 10 = 3*w, -i*w = -w - 4*h - 8. Is w != r?
False
Let n(p) = p**3 - p**2 + 2*p - 10. Let d be n(0). Let o = -9 + 1. Is d < o?
True
Let x be ((-26)/65)/((-4)/(-10)). Let g = -1783/10 + 178. Which is greater: g or x?
g
Let k be (-96)/770 - (-6)/42. Which is greater: k or 0?
k
Let b be (-3)/(36/1875) - 30/(-120). Which is smaller: b or -155?
b
Let u = -0.