 l = 7.79 - 14.82. Let w = l - f. Is 2 <= w?
False
Let d be (47/(-1410))/(1/(-117)). Let b be (-96)/(-18) + (-2)/6. Is d less than b?
True
Let m = -912/7 - -37336/287. Is -5 greater than or equal to m?
False
Suppose 14 + 0 = 5*n - 4*y, -4*n + 10 = -3*y. Let f(r) = 4*r + 1. Let p be f(-1). Let z = 0 + p. Is z < n?
True
Let v(h) = h**2 + 41*h - 22. Let t be v(-29). Let m = 266 + t. Which is smaller: m or -102?
m
Let h = -2531 - -5063/2. Which is greater: h or -16/31?
h
Let j = 87 - 210. Let z = j - -130. Which is smaller: z or 0.05?
0.05
Let k = -258 + 257.9541. Which is smaller: k or 2?
k
Let h(o) = -15*o**2 - 220*o + 29. Let y be h(-15). Is -33 at least y?
True
Suppose 11*c + 15*c + 34 - 190 = 0. Let x(s) = s + 14. Let j be x(-9). Suppose -y - 10 = -3*f, -2*f - f = -4*y + j. Which is bigger: c or f?
c
Suppose 11 = 5*i + u, -1 - 11 = 3*u. Suppose 3*l - 140 = -q, -5*q - i = -2*q. Let z = l - 61. Is -15 != z?
True
Let y = 0.61 + -0.705. Let d = -82.095 - y. Let k = d + 62. Which is smaller: -0.2 or k?
k
Let h be 38/(-8) - -2 - 8/32. Let q be (2 - 6/h) + -6. Let s be -5*(4/(-6) + 1). Which is greater: q or s?
s
Let h(w) = -w**2 - 4*w + 6. Let f be h(-4). Let n be ((-156)/(-18))/((-2)/f). Let d be 92/9 - n/(-117). Is d >= 60/7?
True
Suppose 5*m = b + 255, -5*b = 5*m + 98 - 383. Let x(w) = -w**2 - 6*w + 16. Let d be x(-8). Suppose 4*o + 5*z = 87 + 111, d = 5*o + 3*z - 254. Is o less than m?
False
Let q = -25.855 - 0.145. Let t = q + 26.1. Is t equal to -23?
False
Let k = 585 + -1015. Which is greater: -1289/3 or k?
-1289/3
Let y = 147.5 - 150.6. Which is smaller: y or -28?
-28
Let x = -354 + 353.731. Let j = 3.569 + x. Which is smaller: j or -5?
-5
Let t be 98/3 - 16/24. Suppose t = 4*s + 4*a, s + 0*s - 2*a - 17 = 0. Suppose 5*p + 2*b = -8, -4*b - s - 5 = 3*p. Which is bigger: p or -9/13?
p
Let u = -888 + 89692/101. Let c = 1.5 - 1.4. Is u equal to c?
False
Let y = -5.356 - -0.056. Let m = y - 5.7. Let i = m - -9. Which is smaller: i or 10?
i
Let r = -202 + 203. Let b be (1 - 1)*11/(-44) + r. Is 2/1103 smaller than b?
True
Let j be 225/750*10/6. Which is smaller: j or -0.0121?
-0.0121
Let x = -20.33 - -3.33. Which is bigger: -110 or x?
x
Let o(j) = -249*j - 1492. Let a be o(-11). Which is greater: a or -0.1?
a
Let h = -8101/18 + 56339/126. Which is smaller: h or -4?
-4
Let j(d) = -330*d + 13606. Let f be j(41). Let a be (142/(-8))/((-3)/12). Which is bigger: a or f?
f
Let d be (-15)/(-18)*(-8)/(-250). Let w = 245 - 228. Suppose 6 = -w*k - 11. Which is smaller: k or d?
k
Let q = 0.76 - 0.899. Let y = q - -0.15. Let t = y - 1.011. Is t less than -34?
False
Suppose 108 + 217 = 5*h. Let s(i) = 9629*i - 134741. Let x be s(14). Is h greater than x?
False
Let n = 1156 + -3785. Is n bigger than -2629?
False
Let l be ((4 - 7) + 1)*-5. Let g be (l - 408/40) + 128/690. Is 1 > g?
True
Let w = -0.17126 - -0.37126. Which is bigger: w or -0.07224?
w
Let n = 4154.413 + -4150. Let y = n - -0.587. Are y and 3/17 equal?
False
Suppose 4*d - 2*d + 280 = 4*n, 81 = n + 5*d. Let c be ((-9)/27)/(1/138)*(-9)/6. Is c greater than n?
False
Let z = -646 + 587.7. Let p = -57 - z. Which is smaller: p or -7?
-7
Let n = 27.5 - 148.5. Let x = n + 120.9. Is -1 bigger than x?
False
Let h = 237.44 + -413.44. Is -0.4 >= h?
True
Suppose -x = -4*n - 1 - 221, 0 = 4*x - 3*n - 940. Let d be (-68)/x*7/47. Is d less than -1?
False
Let o be 1 + -885 + 2*(-60)/40. Is -888 < o?
True
Let t = 12 + -3. Suppose 0 = 25*q + t*q + 6052. Which is smaller: -177 or q?
q
Suppose 0 = -3*o + 2*o + 4. Suppose 5*q - 5*h + 20 = 0, 4*h - 16 = -7*q + 5*q. Suppose -6*g - 17 + 23 = q. Which is greater: o or g?
o
Let f = 33 - 61. Let k be (-15)/(2/3*42/f). Let p be ((-34)/k - -2)/((-2)/(-5)). Are -1.1 and p non-equal?
True
Suppose -20 = -36*h + 1276. Suppose h*b + 15 = 41*b. Let v(n) = n + 5. Let w be v(4). Is w bigger than b?
True
Let i = -79051888/136663 - 214/8039. Are i and -577 nonequal?
True
Let o be (0/2)/((-33)/(-11)). Suppose -z = -o*z + z. Let t be (7 + -8)*1/38. Are z and t unequal?
True
Suppose 3*m - 126 = -2*z, 5*m - 4*m = 0. Suppose -135*v = -132*v - z. Suppose v + 11 = -2*k + 4*g, -20 = 2*k - g. Is -13 less than k?
True
Let f = -728969/165 - -13247/3. Are f and -1 unequal?
True
Suppose 2*t - 14 = 4*j - 40, -5*j + 40 = -5*t. Suppose z = 2*z - j*z. Let k be 3*(-2)/3 + (-224)/(-118). Which is greater: k or z?
z
Let r be ((-4301)/(-68) + 28)/((-1)/12). Is -1096 bigger than r?
False
Let g = 4910 + -5977. Which is greater: g or -2/5?
-2/5
Let g = -107 + 101. Let w = -773/118 - -3/59. Is g > w?
True
Suppose -2*w - 5328 = -6*b, -13286 = 5*w - b + 3*b. Is -2658 > w?
False
Let v = 98 + -159. Let i = 42 + v. Let l = i + 18.9. Which is bigger: -23 or l?
l
Suppose 2*x + 2*x - 5*s = -571, -2*x - 289 = s. Let w be -157 + (-15)/30*-26. Is w bigger than x?
False
Let q = -631 + 522.2. Let d = q + 109. Which is smaller: d or -247?
-247
Suppose 0*b - 406 = 2*i + b, 0 = 3*i - 5*b + 622. Let r(k) = -k**3 + 2*k**2 + 5*k + 8. Let t be r(7). Is t less than i?
False
Let g(h) = -2*h - 8. Let l be g(-9). Suppose 15*r - l*r = 20. Is r less than 50/13?
False
Let h = -0.19728 + 406.45728. Let o = h + -411. Let b = o + 5.4. Which is bigger: 0.1 or b?
b
Let n = 3565 - 6283. Let u = 18986/7 + n. Is u at most as big as -6?
False
Let t = -19 - -20. Let n be 1380/21 + (18/14 - t). Let b be 2*(55/n - 2/6). Which is smaller: 1/6 or b?
1/6
Let c = -1 - 8. Suppose 535*u - 1120 = 527*u. Suppose 46*v - u = -554. Is c > v?
False
Let u be 84/2*(225/(-30) - -8). Let g be u/49 + (-4)/140. Is 52 not equal to g?
True
Let z be (-7820)/(-510)*(-322)/8. Which is greater: z or -617?
-617
Let q be 19*-9*(-3 + 2). Let w = -236 + 315. Suppose w - q = -2*u. Which is bigger: -1 or u?
u
Let r be (-16291)/21732 + 170/(-136) - -2. Which is smaller: 1 or r?
r
Let w = -83834 - -490009728/5845. Is -1 less than w?
True
Let b = 0.1114 + 0.2886. Suppose -4*a + 3*a = 0. Suppose -2*h = q, 8 = 4*q - a. Which is bigger: h or b?
b
Suppose -77*w - 329 - 309 = -396*w. Let t = 4 + -1. Let p be ((-140)/(-273))/(w/t). Which is smaller: p or 0?
0
Let h(f) be the third derivative of f**5/60 + 19*f**4/24 + 9*f**3/2 - 15*f**2 + f. Let m be h(-18). Is 11 greater than m?
True
Let o be 8697/(-669) - (-5782)/(-22). Is o greater than or equal to -277?
True
Let v be ((-920)/138)/(4/(-486)). Let l = -749 + v. Which is bigger: l or 65?
65
Suppose 0 = -2*t + 27*t - 50. Suppose -2*o = 11 - 3, 74 = -t*a - 3*o. Is -32 != a?
True
Let x(r) = 7*r**3 - 2*r**2 - 3*r + 2. Let l be x(2). Suppose 2*m - 16 = l. Let y be ((-2)/(-6))/((5/m)/1). Is y > 0?
True
Let z(s) = 531*s + 220. Let x be z(-2). Let f be ((-638)/(-3))/(175/(-693)). Let p = f - x. Which is bigger: p or -1?
p
Let w(n) = -10305*n + 969. Let u be w(-2). Which is greater: u or 21580?
21580
Suppose -40*r + 3 = -37*r, 2*r = -4*w + 9046. Let z be ((-4)/24)/(w/(-68)). Is 0 smaller than z?
True
Suppose -22*h - 6 = -27*h - 3*g, 5*h + 2*g - 4 = 0. Let r = 68 + -131. Are h and r unequal?
True
Let a be 4 - (-102)/(-27) - (-572214)/(-864). Let p = -662 - a. Which is smaller: -6 or p?
-6
Let r = -225 - -226. Let l = -3.2 - -2. Let u = r + l. Which is bigger: -1 or u?
u
Suppose -2*c + 2 + 18 = -4*u, u = -c - 2. Let b be (-3)/(-3) - 4/u. Suppose -4*s = -b*s - 5*f - 10, -5*s - 4*f = 41. Is s at least -5?
True
Let m(d) = 44 - 9 + 3*d + 13. Suppose 2593 = -5*t + 2513. Let z be m(t). Is -1/97 >= z?
False
Let r(b) = -20*b**2 + 46 + 3*b - 80 + 30. Let v be r(1). Is v not equal to -21?
False
Let a = 2922 + -2922. Which is greater: a or 28/257?
28/257
Suppose 4*a + 0*a = 0. Let n be -2*4/16*a. Is n > 11?
False
Let v = -1024329 - -5160792/5. Let q = -10608833/1355 + v. Let l = 24434/14905 - q. Which is bigger: 2 or l?
2
Suppose 0 = 2*j + 94 - 8. Let a = 58 + j. Suppose v - 17 = -5*k + 16, -5*v + a = 0. Which is bigger: -1 or k?
k
Let s = 0.41 - 0.93. Let z = s - -0.32. Let x = -70 + 78. Is z at most as big as x?
True
Let m(c) = -2*c**3 + 48*c**2 - 2*c + 208. Let f be m(24). Is 171 greater than f?
True
Let m = 112230 + -3591999/32. Let y = m + 20. Is -1 bigger than y?
False
Let u be ((-674)/(-21905))/((-1513)/5). Which is greater: -1 or u?
u
Suppose -m - h + 734 = 3*m, m - 2*h - 188 = 0. Suppose 3*g + m = -41. Is -76 greater than g?
False
Let b = 4107 - 410