- 1 = h*t, 5*t + y = -17. Is 13 at least t?
True
Let s be 336/10*(-1 + 190/215). Is s at most as big as -4?
False
Let j be (-4)/(-56) - (-96540)/56. Is 1730 >= j?
True
Let w(c) = -4*c**2 - 2*c**3 + 2*c**3 + 4 - c**3 - 6*c + 2*c**2. Let l be w(-3). Suppose -l*x = -29*x. Which is bigger: x or 4/5?
4/5
Let z(x) = x**3 + 7*x**2 - 2. Let l be z(-5). Suppose -2*q = 0, -68 - 34 = -2*s - q. Which is bigger: s or l?
s
Let h = 8928 - 11531. Which is bigger: h or 3?
3
Let q be (-12 - 1148/(-84))*-7635. Is -12724 smaller than q?
False
Let b = -212 - -127. Let p be (-1 - -5)/((-68)/b). Suppose p*s + 16 = 11. Which is greater: s or -2/21?
-2/21
Suppose 5*d = -4*l + 20, -d + 4 = -3*l - l. Let h be 13 + (1 - (2 + l)). Let b be 3 - (28/h + 1). Which is bigger: -2/17 or b?
-2/17
Suppose 0 = -2*f + 3 + 17. Let k = -238 + 274. Let j be (-478)/(-45) - (40/k)/5. Which is smaller: j or f?
f
Let i be ((-1 - -3) + -1)/(-98 + 6642)*6. Which is smaller: 1 or i?
i
Suppose -1940*f + 1945*f + 5*m = 1965, m = -5*f + 1949. Which is smaller: f or 393?
f
Let r be (-49)/5 - (-2)/(-10). Let d be ((-6)/r)/(7/35). Suppose -30 = d*m + 3*m. Is -7/2 < m?
False
Suppose -264 = -0*b - 3*b. Let k(f) = f**3 - 3*f**2 - 40. Let g be k(8). Suppose -b*r = -92*r + g. Is r at least 69?
True
Let h be 6/4*2864*40/96. Is 1789 < h?
True
Let h = -10/45633 - 2639815/1734054. Let q = 9/38 + h. Let m = -6 + 5. Which is smaller: q or m?
q
Let l = -25 - -10. Let d(y) = -191*y**2 + y + 2. Let a be d(-1). Let g be 4 - (a/(-45))/1. Is g <= l?
False
Let h = 0.04 + -0.14. Suppose 0 = 5*m + c + 754 - 1010, -3*m + 3*c = -132. Which is bigger: h or m?
m
Suppose 0*x = -2*x + 16*x. Suppose x*f - 9*f = -162. Let c(s) = 2*s + 7. Let q be c(5). Which is greater: q or f?
f
Suppose 3473 + 15793 = 13*u. Is u equal to 1480?
False
Let q be (-38)/(-6) - (-3)/(-9). Let y be -5 - (-5 - 2) - 1/(-1). Suppose -q*o + o = w, -y*w + 12 = 3*o. Which is bigger: 3/23 or o?
3/23
Suppose -5*j = 3*z + 1 - 15, 5*j - 4*z - 28 = 0. Suppose -r = -j - 10. Let d(y) = -3*y + 36. Let m be d(r). Is m greater than or equal to -0.1?
False
Suppose -8476 + 7982 = -13*i. Which is greater: 28 or i?
i
Let g = -364 - -380. Suppose -2*f = 4*t + 14, t + 5*f + g = 2*f. Is -1 <= t?
True
Let l = 40216489/1103 + -36461. Is l < -1?
False
Suppose 0 = -4*y + 9*y. Suppose 5*r = w - y*r - 4, 0 = -2*r. Suppose -26 = w*q - 5*l, -6 = 4*l - 7*l. Are q and -16 equal?
False
Let m = -15666.377 - -15874.4. Let u = 207 - m. Let z = 0.023 + u. Is -19 at most z?
True
Suppose -9*u - 153 + 490 + 1822 = -730. Let x = -110 - -430. Is x at most u?
True
Let u = 21 - 91. Let y = u + 40. Let n be ((-207)/12)/(y/16). Which is greater: n or 10?
10
Let z = -95 + 40. Let w be 7/(-5) + (-22)/z. Let k = -1457/910 - -21/13. Which is bigger: k or w?
k
Let z = 269.91 + -271.09. Are z and -15 equal?
False
Suppose s - 13*u - 29 = -9*u, -3*s - u = -61. Suppose 9*t + s = 12. Which is smaller: t or -30/19?
-30/19
Suppose 5*v - 3*r + 42 = 0, 0 = -2*v - 5*r - 2 + 10. Let x be 3336/(-644) - -5 - v/(-14). Is 0 at least x?
True
Let z = 24.878 - 24.778. Are z and 1/45178 non-equal?
True
Suppose c = 5*b - 28 + 324, 476 = -8*b + 2*c. Which is bigger: b or -85?
b
Let n be 4327/(-665) + ((-5)/(-5) - -4). Let h = n + 27/19. Let t = -1 + 1.1. Which is bigger: h or t?
t
Suppose 4*z - 4*t = 8*z - 5616, 5616 = 4*z + 2*t. Let d be (-12)/(-20) - z/340. Which is greater: d or -3?
-3
Let w(i) = -i**2 - 8*i + 35. Let h(v) = -v**3 + 8*v**2 - 6*v - 17. Let g be h(7). Let d be w(g). Let y be ((-12)/d)/((-14)/1). Is -1 != y?
True
Let n(v) = -v**3 + 38*v**2 + 201*v - 8711. Let i be n(37). Let y = 64 - -32. Which is greater: y or i?
y
Let k = 571 + -571. Which is smaller: -13/63 or k?
-13/63
Let j(a) = 27*a. Let o be j(-1). Let h be (-2 + -1)/(-30 - o). Which is smaller: 2/1257 or h?
2/1257
Let t = -211.27 - -191.27. Which is greater: -0.0367 or t?
-0.0367
Suppose 0 = 3*o - 4*r + 27, 979*o + 2*r - 9 = 976*o. Are -13/544 and o unequal?
True
Let x = -4639 - -4639.03. Is x at least 44?
False
Suppose 6*k + 558 + 1680 = 0. Let g = -367 - k. Are g and -1 equal?
False
Let w(d) = 35*d - 130. Let l be w(3). Let o = -193/45 - 6254/315. Is l at most as big as o?
True
Let x = -14884 - -768. Is -1 at most as big as x?
False
Let h = 49 + -26. Suppose 110975 = 9*f + 110795. Which is smaller: f or h?
f
Let h = -1834 - -1849. Let u = -20 + 20. Which is smaller: u or h?
u
Let w = -448 - -398. Is w smaller than 0?
True
Let r = -3 + 9. Let d be (-20)/12*3*r. Suppose -79*y + 76*y - 69 = 4*n, -5*y - 4*n = 131. Do d and y have different values?
True
Suppose -5*f = -638 + 103. Let x = 30874 + -30765. Which is smaller: f or x?
f
Let g(j) = -2*j**3 - 12*j**2 - 4*j + 4. Let l be g(-5). Let m be ((-2)/(-236))/((-13)/l). Is 0.1 equal to m?
False
Let a = 458.36 - 7.36. Which is bigger: 0.1 or a?
a
Let f be (-5 - 304)*(-3)/9. Suppose 478 = -101*h + f*h. Is h != 238?
True
Suppose 4*l - m = 5 - 160, -3*m = -3*l - 123. Let j = l - -35. Let v = 1/93 - 281/186. Is j > v?
False
Suppose -2*q + 9*b - 10*b = -200, 5*b = 2*q - 200. Is q less than 127?
True
Suppose -4*q = -5*l + 175, 2*l = -9 - 1. Let k(u) be the second derivative of -u**4/6 + u**3/6 - 13*u**2/2 - 54*u. Let f be k(-4). Is q smaller than f?
True
Let g be (-2)/13 - ((-173620)/(-52) - 7). Is -3331 less than or equal to g?
False
Suppose 24 = -12*k + 144. Let i be (-2 + (-16)/(-12))/(k/435). Which is greater: i or -31?
i
Suppose -7889 = 4*k - 233*q + 238*q, -2*k = 5*q + 3947. Which is bigger: -1966 or k?
-1966
Let b = -0.598 - -1.898. Is b > 2/835?
True
Let y be -1*(-3)/(-7) - (2 + -1). Let b = 13 - 11. Suppose 5 = -5*r + 2*w - 5, -w = r + b. Which is smaller: r or y?
r
Let u be 1/2 + 161/56 + 63/(-168). Which is greater: u or -6?
u
Suppose -2*q = -6*q - 20, 0 = x - 5*q - 28. Suppose u = 4*o - 3*o - x, 0 = 2*u - o + 10. Which is greater: u or -6?
-6
Let w be -5 + 176/(-77) - 6/(30/(-25)). Which is smaller: 44 or w?
w
Let p = -482895073/8011 - -60279. Which is smaller: p or 1?
p
Let v = -5.278 - -5.3. Let j = -0.38 + 0.18. Which is smaller: v or j?
j
Let b = 37.255 + -38. Let z = b + 0.76. Is z bigger than -1?
True
Let l = 23.4689 - 0.8689. Which is bigger: l or -14/3?
l
Let d(o) = o**3 - 8*o**2 - 16*o + 74. Let j be d(9). Suppose j = -13*q - 2. Which is bigger: -2/705 or q?
-2/705
Let c = -33720 + 33721. Let l be 3/(-20)*3/(-81). Which is bigger: c or l?
c
Let a be 27/(-6)*8/(-12). Suppose 3*s + a = -0*s. Let d be 600/(-1953) - (-6)/21. Is d at most as big as s?
False
Let h be 0 - 1 - (-90)/15. Suppose -h*t + 9*t = 48. Suppose d - t = 4. Which is smaller: 17 or d?
d
Let p be (6 + -3)*(-4)/6. Let l be (-16)/(-9) + (-3 - p). Let v(d) = -3*d**2 + 121*d - 39. Let f be v(40). Is f != l?
True
Let v = 9107 - 8947. Which is smaller: 155 or v?
155
Let b(p) = -p**3 - 5*p**2 + p + 6. Let t be b(-5). Suppose 3*f - 113 = 679. Let o = f - 27983/106. Which is smaller: o or t?
o
Let x = 10507/642 - 7/214. Suppose -3*k - 5*a = -41, 5*a = -5*k + 55 + 20. Which is smaller: x or k?
x
Let h = 1780/9 - 198. Let w = -0.057 + -8.243. Let n = w + 8.2. Which is bigger: n or h?
n
Suppose 4*g + 5*i = -13, 6 = 5*g - 8*g - 3*i. Suppose 2*m = 3*k + 11, -m - 9 = g*k - 1. Which is bigger: m or 1/81?
m
Suppose -c + 2 = o, o + 5*c - 1 - 5 = 0. Which is smaller: -6048 or o?
-6048
Let v = -231 + 85. Let u = -146.1 - v. Is u at least 35?
False
Let u be ((-9770)/1)/(8679/(-1243) + 4). Let k = -3276 + u. Is -1 less than or equal to k?
True
Let b = -269 - -272. Suppose -3*j + u + 712 = 3*u, b*j - 702 = 3*u. Which is smaller: 234 or j?
234
Let p be (-4)/(-10)*5 - (-65399)/(-32691). Which is bigger: p or 0?
0
Suppose -2*t = t - l - 37, -4*t = -5*l - 64. Let r(y) = y**3 + 2*y**2 + 5*y - 4. Let c be r(-4). Let k = 68 + c. Are k and t non-equal?
True
Let i be (-2 - (-32074)/16040)*(240/36)/(-20). Which is bigger: i or -1?
i
Let c = -450 + 451. Let z be ((-264)/77)/(((-19)/7)/c). Which is smaller: 1/2 or z?
1/2
Suppose 4*z + 2*z - 24 = 0. Suppose 2*m = -3*i - z, 4*m - 5*i = -i - 8. Let f(x) = -4*x - 8. Let h be f(m). Is 17 equal to h?
False
Suppose -89*d = -46611 + 3446. Which is smaller: d or 486?
d
Let p = -15352.7 + 15342.7399. Let k = -0.0399 + p. Which is smaller: -0.3 or k?
k
Let l = -174 + 118. Let r be ((-10)/35)/((-4)/(l/6)). Let q =