 1/35?
True
Let k = 81/4 + -485/24. Do 0 and k have different values?
True
Suppose -11*p - 147 - 260 = 0. Is -73/2 smaller than p?
False
Suppose 36*y = 11*y + 575. Which is smaller: y or 18?
18
Let r(n) = n**3 - 12*n**2 + 22*n - 15. Let d be r(10). Let u be (510/135)/((-4)/(-6)). Which is greater: d or u?
u
Let d = 169/942 - 2/157. Let h(z) be the second derivative of z**3/6 - 3*z**2 + 2*z. Let b be h(5). Is b != d?
True
Suppose -3*y = -0*y - 3*q + 6, -3*q + 21 = 2*y. Suppose 4*v = 5*b - 30, -y*v - b = b + 34. Let w be (-12)/10*v/3. Which is greater: w or 1/4?
w
Suppose 4*x + 3 + 5 = 0, x + 2 = 4*b. Which is smaller: b or -14/31?
-14/31
Let l = -8 - -34. Let w be 8/(-24) + l/6. Let t be (w/(-78))/((-2)/6). Which is smaller: 0.2 or t?
t
Suppose l = -4, 3*l = -5*a - 364 + 27. Let i be a/(-20) + -1*3. Is i < 3?
True
Let s = -9/50 - -377/150. Let n(u) = u**2 + 5*u - 1. Let i(r) = -r + 1. Let g(f) = i(f) - n(f). Let o be g(-6). Do s and o have different values?
True
Let w be (1 + 0/(-1))*(-32 - -6). Let k = w - -26. Which is greater: -2/69 or k?
k
Let a be (-2)/(-7) + 99/21. Suppose -2*s + 13 = -2*c + 3, -4*s + 2 = -c. Let p be (-3)/a - c/10. Which is smaller: 2 or p?
p
Suppose 0 = -27*w - 100 + 397. Is w bigger than 13?
False
Let x = -491 + 492.3. Which is smaller: x or 2/23?
2/23
Suppose -13 + 41 = -s. Let w be 266/s + 2/4. Which is smaller: w or -7?
w
Suppose -5*w + 2 = 17. Let z(n) = -n**2 + 2322 - n - 2322. Let a be z(-2). Is a greater than or equal to w?
True
Let n(p) = 2*p**2 + p - 1. Let f be n(1). Let d be (-4)/(-6)*f/(-16)*-4. Which is greater: -6 or d?
d
Let s be 48/84 - 3/(-7). Let k = 87602/1071 + -736/9. Is s at most as big as k?
False
Let r = 2.54 - 2.24. Which is greater: r or -1/2?
r
Suppose 55 = -58*r - 61. Which is smaller: r or -10?
-10
Let r be (1 + 3 + 17/(-3))*-3. Let w(u) = -u**2 + 9*u + 5. Let t be w(r). Which is bigger: 23 or t?
t
Let y = -2/267 + -17351/534. Let j = -32 - y. Which is smaller: 0.17 or j?
0.17
Let m = -0.3 + -0.7. Let w = 553 - 2767/5. Is m less than w?
True
Let s(p) be the third derivative of p**4/24 + 5*p**2. Let g be s(3). Let a be 50/(-56) + g/(-12). Is a > 0?
False
Let j(o) = 32*o + 9. Let q be j(8). Suppose 266 = i + q. Is 2/11 greater than i?
False
Let a be (-1147744)/(-4017349) + 8/(-28). Let t = 5404481869/20086745 - a. Let z = t + -269. Is z < 0.1?
True
Let j = -81958/1003 + 1392/17. Is -1 greater than j?
False
Suppose 3*s + 56 = -5*a, 2*s + 62 = -s - 2*a. Let f = -211 - -214. Let h be 1*f - (-121)/s. Which is greater: -4 or h?
h
Suppose 2*i = -f + 20, -i + 100 = 3*f + 2*f. Which is greater: f or 18?
f
Let g = 2044 - 2045. Is -9/280 at most as big as g?
False
Let c be (-7)/((-28)/(-8)) - 5. Let p = -32 - -18. Let l be 40/(-7) - (-4)/p. Which is smaller: c or l?
c
Let a be (3 - (-12)/4) + 7. Which is greater: a or 15?
15
Let p = -568 + 562. Let f = -13 - -12.3. Is f at least p?
True
Let q = -9 - -15. Suppose -2*r + i + q = 18, 5*i - 32 = 3*r. Let y be (9/8)/((-12)/r). Is 1 at most as big as y?
False
Let v be (-2)/6 - (-124)/12. Suppose -4*p - v = o, 4*o - 4 = 2*o - 2*p. Let f be o/(-10) + 8/20. Is 0 bigger than f?
True
Let a = 45 - 73. Let m = 27 + a. Is -4/23 equal to m?
False
Suppose -3 = -2*v + 9. Let m be (0 - 0) + 1*v. Suppose 4 = u, 3*y + 3*u - 4*u = 8. Which is smaller: y or m?
y
Let d be (-10)/(-15) + (14/6 - 1). Let k be (3/d)/(6/3). Which is bigger: -2 or k?
k
Let i = 354 - 338.1. Let t = 8 + -24. Let s = t + i. Which is bigger: s or 1?
1
Let c = 13 + -15.2. Let w = c + -11.8. Let o = w + 13. Which is greater: o or -18?
o
Suppose 0 = -0*k - 2*k - 6. Let c(i) = -4*i - 3*i**2 + 3*i**2 - i**2 + 0*i + 4. Let l be c(k). Is 5 less than or equal to l?
True
Let k = -57 + 12. Let y be (-19)/k - (-2)/(-9). Let h be (-15)/9 - 6/(-3). Is h greater than or equal to y?
True
Let q = -38/7 - -36/7. Let i = -25/63 - q. Suppose 2*g + g = 4*t + 16, g + 20 = -5*t. Which is smaller: i or g?
i
Let f be (-41)/66 + 4/6. Let s = 34 - 29. Suppose s*v - 6*h = -4*h, v = h. Which is greater: v or f?
f
Let f = -0.75 - 0.25. Let y = 187.7 + -203.07. Let z = -0.37 - y. Which is smaller: z or f?
f
Let n = 0 - -1. Is 3/502 > n?
False
Let j = -8002 - -6137536/767. Are 0 and j non-equal?
True
Let c = 3 + -5. Let y = -802 - -802.2. Which is smaller: y or c?
c
Let z = -1694.11 - -1689. Is z at most as big as 0?
True
Let t be (-4)/30*(-9)/(-18)*-6. Are t and 54 equal?
False
Let u be (-7 - 311647/(-43589)) + 4/(-26). Is u >= 0?
False
Let h = 16480/10719 + 66/397. Which is smaller: h or 3?
h
Let u = 241/30 - 36/5. Which is smaller: u or -1?
-1
Let l = 425 + -426. Which is bigger: l or -503?
l
Suppose 2*h + 4*l = -18, -3*h - 5*l + 7*l = -13. Suppose 3*q = -4*m - 4, 28 = -q + 5*q - 3*m. Suppose q*k - 2*a - h = -a, 0 = 3*k - a. Is k less than 1?
False
Let k = -5.104 - -0.104. Is -1.4 != k?
True
Let f be (-6)/9 - (-1)/(-3). Let l = 7559 - 204091/27. Do f and l have different values?
True
Let t(w) = -w**3 + 3*w**2 + 2*w - 3. Let q be t(3). Suppose -1 - 14 = -q*d. Let v be (-3 + 1)*1/d. Does v = 0?
False
Let p(f) = -4*f - 1. Let v be p(-1). Let h be 5/(-15)*26 + v. Which is bigger: h or -5?
-5
Suppose 21*i + 4 = 25. Which is bigger: i or -2/169?
i
Let a = -3631/69 + 158/3. Suppose 4*m - 13 = -5. Suppose m*j + d = 6*j - 5, -2*d = 2. Which is bigger: j or a?
j
Let d = 290 + -253. Is 37 at most as big as d?
True
Let x = 8.94 + 2.06. Is 2/13 > x?
False
Let p be (-34)/(-85) - 34/10. Let w(v) = 2*v**3 + 11*v**2 + 6*v + 1. Let s be w(-5). Which is bigger: s or p?
p
Let v(n) = 3*n + 6. Let g = 6 + -2. Let p be v(g). Let w be 38/p + 8/(-4). Is -1 < w?
True
Suppose -74 = -4*p + 26. Let x be ((-15)/p)/(14/(-10)). Suppose -2*j - 3 = -k - 2*k, -2*k + 2 = -5*j. Is x greater than j?
True
Let l = -52 - -69. Suppose -2*w + 5*p - 5 = -0*w, -4*w - 45 = -3*p. Let k = w + l. Is 1 bigger than k?
False
Let f = -2977/7 + 425. Which is bigger: 59.6 or f?
59.6
Let r = 0.978 - 0.308. Is r at least 1/2?
True
Let y = -0.1768 + -0.0232. Which is smaller: y or 2/13?
y
Let j = -30 + 33. Is j at least 5?
False
Let l = 0 - 2. Let b(p) = 2*p**2 + 11*p - 66. Let n be b(-9). Do n and l have the same value?
False
Let g be (-77)/(-21) + (-1480)/(-30). Is 588/11 > g?
True
Suppose -5*s + 949*l - 950*l + 35 = 0, 3*s + 4*l = 4. Suppose 20 = -0*i + 2*i. Which is greater: i or s?
i
Let n = 80 - 113. Let s = -32.9 - n. Let g = 8.8 + -1.8. Do g and s have the same value?
False
Let n = -26 - -22. Let m(f) = -2*f**2 - f + 1. Let y be m(-2). Is n != y?
True
Suppose -27*b + 33*b = 6. Do b and 3/71 have different values?
True
Suppose 6*g = -2*g + 24. Suppose 5*v + 49 - 119 = 0. Suppose -5*f = -g*w - v, 2*f + w - 8 = 2. Is 5 > f?
True
Let m = 145 + -257. Let x = m + 341/3. Let a be 0 + 0 - (4 + -7). Which is smaller: x or a?
x
Suppose -2*c = 5*q - 15, -c - 2*q = -7*q + 15. Let v(k) = 5*k - 10. Let r be v(3). Let d be (-6 + (-45)/(-6))*r/(-12). Is c less than or equal to d?
False
Let v be (2/6)/(5 - (-6944)/(-1386)). Let w be 94/14 - 4/(-14). Let n be (-4)/w + v/77. Which is smaller: n or -2/9?
n
Let u be 90/(-36)*(-308)/5. Is 155 less than or equal to u?
False
Let h = 121 + -142. Which is greater: h or 4?
4
Let w = 82 - 83. Let u be (27 + 7)/((-6 - w)*-1). Which is smaller: 8 or u?
u
Let m = -1.3 - -10.3. Let g = -5.799 - -0.099. Let y = -5.7 - g. Is m > y?
True
Suppose 414 + 266 = -5*t + 4*g, 3*t + 408 = 4*g. Which is greater: -409/3 or t?
t
Suppose 2*m + 6 + 0 = 0. Let w(s) = s**2 - 3*s - 2. Let d be w(4). Is d bigger than m?
True
Let f = -0.51 + -14.49. Let m = 13 + f. Let u = 1 - 1.3. Which is smaller: u or m?
m
Let u be 1/((-4)/6 + 1). Suppose -3*g - 3*s + 18 = 0, 32*g + 2 = 29*g + s. Suppose -g = -m - u*f + 7, -4*f = -m - 27. Do m and -5 have different values?
True
Let l = -1.3 + 14.3. Let x = l - 11.5. Let s = x + 1.5. Is s greater than or equal to -2?
True
Let t be ((-154)/(-88))/(3/(-36)). Is -13 equal to t?
False
Let w = -7.48 - -1.08. Let h = -5.4 - w. Let r be ((-4)/6 - 1)*3. Which is bigger: h or r?
h
Let t = 17 + 85. Let d be (-4)/7*(-21)/t. Which is bigger: d or -2?
d
Let r = 20.1 + -19.1. Which is bigger: r or -206?
r
Suppose -3 = -4*b + 5. Suppose j - 3*j - b = 0. Suppose -8*y + y = 0. Do y and j have the same value?
False
Suppose -28*c - 8 = -24*c. Let w be 2 + (-