83/54 + 331/6. Is k at most h?
False
Suppose -9*v = n - 12*v + 15, 5*n - 4*v = -20. Let r be 2/(-12)*(-4)/17. Is r at most as big as n?
False
Let o(u) = u**3 - 7*u**2 - 17*u - 9. Let j be o(9). Suppose j = 5*v - 13*v. Is 2/3 > v?
True
Let i = -21 - -25. Let h be i*(-2 + 14/8). Which is smaller: 1/28 or h?
h
Let n(k) = -29*k + 161. Let m be n(5). Is 17 smaller than m?
False
Let n = -62 - -54. Let h be (120/32)/(6/n - -1). Is 15 less than or equal to h?
True
Let m = -3/278994037 - 4282068804939/677556947. Let t = m + 6320. Let r = t + -2/51. Is 1 at most as big as r?
False
Let a be (-25*1)/1*1. Suppose 2*q + 40 = -4*h, 2*q + 44 = 39*h - 41*h. Which is greater: q or a?
q
Let g = 114995117/42588 + -1578183/338. Let c = -1969 - g. Is -1 smaller than c?
True
Let d = 84 + -66. Which is smaller: d or 23?
d
Let y(w) = -w + 6. Let t be y(13). Let l be t/(-35) - (-208)/10. Which is smaller: 20 or l?
20
Let h = 35 - 37. Let n be (-27)/5*1 - h. Which is bigger: -2 or n?
-2
Let d = -636 - -634. Do 0.227 and d have the same value?
False
Let q(t) = 2*t - 12. Let s be q(8). Let k be (-6)/24 + (-19)/s. Let a(f) = -f**2 - 6*f - 1. Let o be a(k). Is 5 > o?
True
Let h(i) = 32*i - 379. Let m be h(12). Let o be (0 - 2)*(-5)/2. Is o < m?
False
Suppose -2*p - 2*p + 5 = -n, -p - 15 = 3*n. Is n < -19?
False
Let h = -2159/6 + 360. Which is smaller: h or -0.07?
-0.07
Suppose -15 = 24*u - 29*u. Let p = 16 + -11. Let d = p - 3. Which is greater: u or d?
u
Let g be -7*(1 + 2/(-1)). Suppose 3*n + 8 = -g. Let p be (-1)/(-4) + n/10. Is 1/3 < p?
False
Suppose -52 = -2*l - 0*l. Let p be (-5)/11*l/(-195). Let i be 1/4 + (-5)/20. Is i smaller than p?
True
Let l = -2057 + 2259. Do l and -4 have different values?
True
Let w = 372 + -387.1. Let q = w - -16. Let o = q + 0.1. Which is bigger: -1 or o?
o
Let t be (-1880)/(-3535) + 16/(-28). Which is bigger: t or 0?
0
Let i(b) = b**3 + 7*b**2 + 7*b + 8. Let k be i(-6). Suppose -5*r = -3*f - 1, 1 = -k*r + 3*f - 4. Which is greater: r or 0?
r
Let m = -296 + 290.3. Is m <= -1?
True
Let m be (-81)/(-45)*20/138. Suppose 7 = -t - 3*v, 2*v + 2*v + 8 = 0. Which is bigger: t or m?
m
Let z = -46255 + 46235.069. Let v = z - 0.069. Which is smaller: v or 0?
v
Let p be (3/4)/((-15)/10). Let g = 30.022 - 30. Let m = 0.042 - g. Are p and m unequal?
True
Let j(g) = -20*g. Let i = 6 - 5. Let o be j(i). Let x = o - -28. Is x < 8?
False
Suppose -81 = 4*p - 13. Let a(m) = -16*m**2 - 47*m - 49. Let s be a(-1). Does p = s?
False
Suppose -v = -3*n + v + 5, -5*n - 5*v = -50. Let k = -13.35 - -13.23. Is k less than n?
True
Suppose 60 = 3*h - n, h + n - 6 - 14 = 0. Suppose 0 = h*o - 14*o + 198. Which is bigger: o or -34?
o
Let b(s) = -5*s - 52 - 2*s + 2*s + 2. Let g be b(-10). Is g less than 2/3?
True
Suppose -3*w + 4*r - 82 = 0, 2*w - 3*r = -3*w - 155. Let z be w/(-56)*4 + 1. Which is greater: 3 or z?
z
Let f be 1/((-1)/(-4 - 0)). Let o be ((-6)/f)/(9/(-6)). Let h be (-32)/(-20) - 1 - o. Is h equal to 1?
False
Let v = -4 + 5. Let j be 5 + (1 - 2) - (-58245)/(-14520). Which is smaller: v or j?
j
Let g be 1/((4/(-92))/1). Let k = 23 + g. Is 0 greater than k?
False
Suppose -3*f + 10 = -14. Let n be 12/f*(-2)/6. Suppose 7*c = 4*c + d - 3, 0 = -2*c + 2*d - 6. Do n and c have the same value?
False
Suppose 10*i = 146 + 144. Suppose -2*z - 3*x = -56, -4*z + 3*x + 68 = -44. Which is bigger: i or z?
i
Let h = 1574 - 6293/4. Which is smaller: h or 106?
h
Let k be -1 + -2 - (6 + 1). Let m be (-4)/k + 4/(-10). Suppose m = -7*j + 2*j + 5*a, -4*j + 4 = -5*a. Which is greater: j or -2?
-2
Let t be (-5 - (-746)/152)*-2. Is t greater than 0?
True
Let h = 21 + -36. Let p = h - -15. Is -6 greater than p?
False
Let h = 339 + -339.1. Which is smaller: h or -40?
-40
Let d be ((-216)/(-60))/(((-8)/(-15))/4). Let n be d/(-15) + 2 - 129/(-5). Is n < 27?
True
Let z(p) = p**3 - 19*p + 2. Let n be z(14). Let k = n + -37186/15. Is 2 not equal to k?
True
Let r = 23123/115340 + 3/1460. Which is smaller: -1 or r?
-1
Let h = 19 - 20. Are h and -15/14 unequal?
True
Suppose 0 = 19*w - 229 + 20. Which is greater: 1 or w?
w
Suppose 0 = q + 18 - 23. Which is smaller: q or 15/4?
15/4
Let o = 15 + -14. Let i = 73 + -67. Is o != i?
True
Let r = -23 + 25. Suppose -9 + r = -w. Let o be 6/4*2/w. Which is greater: o or 2?
2
Let a = 0.201 + -81.201. Let y = a + 68.8. Let r = y - -12. Which is smaller: r or -3/7?
-3/7
Let u = -3538 - -265346/75. Which is smaller: -1 or u?
-1
Suppose d - 1 = -6. Let t = d - 10. Is -1 not equal to t?
True
Let y(a) = -a**2 - 5*a + 1. Suppose -3*i + i - 10 = 0. Let b be y(i). Let q be (-6*(-9)/(-468))/(-3). Which is smaller: b or q?
q
Let r = 98/3 - 33. Suppose -3*s + 42 = z, 3*z - 62 = -5*s + 4*z. Suppose -s*t + 24 = -17*t. Are r and t unequal?
True
Let n = 1 - -13. Let w be 3/(48/n + -3). Suppose -s - 5 + 13 = 0. Which is smaller: s or w?
w
Let p(f) = 4*f**2 + 3*f**2 - 6*f**2 + 2*f. Let x be p(-2). Suppose 7*u - 2*u + 80 = 5*l, 2*u - 25 = -l. Which is greater: x or l?
l
Let r be (-5)/10 + 6874/660 + -3. Let k = 17/33 - r. Which is greater: -5 or k?
-5
Let q = 1685 - 1722. Is -15 bigger than q?
True
Suppose -44 + 38 = 4*v - 2*t, -5*v + t - 3 = 0. Let m be 2*(-26)/(-60) + -1. Is v not equal to m?
True
Let m = 75 - 75.3. Which is smaller: m or 2/7?
m
Suppose -5*f - 6 + 16 = 0. Let n(p) = 3*p - 19. Let h be n(7). Suppose 0 = d - 5*b + h, -6*d + 2*d = f*b - 14. Is d equal to 3?
True
Let p = -2/547 + 4386/2735. Is p greater than 0?
True
Let v = -3399 + 8346. Suppose 0 = 5*y + v - 1347. Let g be (-4)/10 + 32/y. Which is smaller: g or -1?
-1
Let f = 638 - 627. Let d = 29 - 41. Let a = d + f. Which is smaller: 0.15 or a?
a
Let l = 1876 + -1734. Is l < 139?
False
Let s = -40.9493 + -0.0507. Are s and 0.3 unequal?
True
Suppose 2*x + 247 = -2*n + 253, -5*x = -2*n - 8. Is x < 16?
True
Let z = -28 - -23. Let k(u) = u**3 + 4*u**2 - 7*u - 2. Let x be k(z). Are 0 and x non-equal?
True
Let x(u) = 2*u - 34. Let l be x(-19). Let p = 66 + l. Is -3 at least p?
True
Let d = -12329/132189 + 31/417. Which is greater: 0 or d?
0
Suppose -3*j + 6 = -3*m, 5*j + 928 - 929 = 2*m. Let x be (-76)/6*(-75)/2576. Let g = -1/161 - x. Are g and j equal?
False
Suppose -m + 1 = -4. Let r(d) = 7*d - 7. Let k(x) = -6*x + 6. Let o(p) = 6*k(p) + 5*r(p). Let n be o(-2). Which is smaller: n or m?
n
Suppose 0 = 17*s + 4*s - 63. Let c be -5 - 3 - 2 - 0. Let f be (-24)/14 - c/(-35). Which is bigger: s or f?
s
Let d = 0.013 - -4.887. Let i = d + -5. Let p = i - -0.1. Which is greater: 1/3 or p?
1/3
Suppose 0 = -i + 4*j - 32, 68 = -i - 3*i + 4*j. Let a(f) = f**2 + 12*f. Let x be a(i). Suppose x = 2*d - 4, 4*k = -0*d + 3*d + 26. Which is smaller: 2 or k?
2
Let d be 22/(-20) + (-1)/(-2). Let l(z) = z**3 - 6*z**2 - 5*z + 6. Let w be l(7). Let o be w/(-50) - 6/(-15). Is d not equal to o?
True
Suppose -14*h + 10*h = 0. Suppose -25 = 5*b - h*b. Suppose -4*i - 15 = 9. Is i greater than or equal to b?
False
Let v be (-6)/18*(-192)/1. Let u = -60 + v. Do u and 5/2 have the same value?
False
Let s = -687/5 - -136. Suppose 0 = -p - 1 + 5. Suppose n - 10 = 2*u - 9, p*n = -u + 4. Is u greater than s?
True
Let l = 30 + -31. Let a be (3 - 17/5)/l. Which is bigger: -2/29 or a?
a
Let t(i) be the second derivative of 7*i + 1/20*i**5 + 0 + 0*i**3 - 1/3*i**4 + i**2. Let b be t(2). Which is greater: b or -3?
-3
Suppose d - 46 = 24*d. Is -1/71 bigger than d?
True
Let u = -11 + 15. Suppose 0 = -4*v - 19 + 43. Let g be v*(2 + -4)/u. Is g less than -2?
True
Let g = 172 - 165. Suppose -16 = 4*v, c - 5*c = -3*v - 68. Let z be 4/c - 2/g. Is z at least as big as -1/4?
True
Let w = -2983/3 - -998. Are w and -9 equal?
False
Let t = -85537/15577 + 203/37. Which is smaller: t or 0?
t
Suppose -10*i + 14*i - 8 = 0. Let h be (-21 - -3)/((-3)/i). Let z(w) = -w**2 + 12*w - 2. Let g be z(h). Are g and -4 non-equal?
True
Let p = 1738/5 - 11621/35. Which is smaller: 15 or p?
15
Let y = 5027/15 - 335. Let l(c) = c**3 + 8*c**2 - 10*c - 7. Let g be l(-9). Suppose 0*p = g*p + 3*f - 15, 0 = -p - 4*f + 20. Which is bigger: p or y?
y
Suppose 2*p = 2*g + 4, 0 = 3*g - g + 4. Suppose 5*i = -3*c - 4 - 5, -5*i = p. Let m = 9 + -11. Are m and c nonequal?
True
Let y = 31.7 + 0.3. Let j = y - 42. Is j greater than -4?
False
Suppose -y = -2*y. Suppose -2*i + y*i - 2 = 2*u, 2*u + 