ue
Let x = 3733132/11 + -339085. Let v be (9 - (0 + 11)) + -290. Let d = x + v. Which is smaller: d or -2?
-2
Let a = -7387 - -5537. Is a <= -1851?
False
Suppose -31*i - 1057 = 1005 - 791. Is -44 less than i?
True
Let s(v) = 41*v - 6493. Let r be s(79). Is -3255 smaller than r?
True
Let u = -7.34 - 16.26. Which is smaller: u or -1?
u
Let y = -11.9 + 1.9. Let b = 2252 - 1328. Let w = b + -927. Which is bigger: y or w?
w
Suppose u - 2495 - 2665 = -5*r, 2091 = 2*r - 5*u. Are 1033 and r non-equal?
False
Let f = 473.5 - 462.67. Which is greater: 0.3 or f?
f
Suppose -5*i + 0*i + 7 = 2*g, 5*i - 3 = 2*g. Let t be ((-1)/(-20))/((315/(-24))/15). Which is smaller: t or i?
t
Let b = -5265 - -5266. Which is smaller: b or 2/5121?
2/5121
Let u = -162 + 137. Let t be u/(-125) - (-338)/10. Which is bigger: 35 or t?
35
Let r(n) be the third derivative of n**5/60 + 11*n**4/24 - n**3/6 - 22*n**2. Let s be r(-12). Suppose -7*g + g + 54 = 0. Is s > g?
True
Suppose -5*t = -3*z, -2*t = -z - 4*z. Suppose 85 = 2*x - 5. Let r be 567/x - (-2)/5. Is r greater than or equal to t?
True
Suppose -26*d = -66*d - 1800. Do d and -4 have the same value?
False
Let b(p) = 8*p - 80. Let g be b(-13). Let s be (g/(-56) + -7)/(-1 + -1). Which is smaller: 1 or s?
1
Let o = 2125/226 + -1133685/452. Is -2498 at least as big as o?
True
Let n be (56/30)/((-15)/1050)*-51. Are n and 6664 nonequal?
False
Let p = 27 + -33. Let o = p + 8. Let w be ((-112)/52)/4 - (-2)/o. Which is smaller: w or 1?
w
Suppose t = 5*u + 4*t - 2, -5*t = -2*u - 24. Let c be (u/((-8)/(-2)))/(138/8). Let i = c + -65/138. Is 0.42 not equal to i?
True
Let v = -2.979 + 2.9. Is 0.1 equal to v?
False
Suppose 3*g = -0*g + 15. Let f(k) = -k**2 + 6*k + 1. Let j be f(g). Suppose 5*b + w - 36 = 0, 0 = -1211*w + 1215*w + 16. Is j < b?
True
Let h = -12.7534 - 0.5466. Let d = 0.22 - 0.02. Is d less than or equal to h?
False
Let m(q) = -1458*q**2 + 4*q - 5. Let a be m(1). Let p = 2068 + a. Let d be (p/(-102) + 6)/((-2)/(-6)). Is -1 <= d?
True
Suppose 3*o + 12*o - 420 = 0. Let u be 3/(-12) - 1337/o. Is u at most -49?
False
Let n be ((-18)/(-4))/((-31)/(-434)). Let d be (-7)/n*2*(-9)/186. Are d and 1 nonequal?
True
Let y(i) = 3*i**2 - 23*i + 90. Let w be y(8). Which is greater: w or 91?
w
Let v = 6.6 + 397.4. Let z = v + -413. Are 3/2 and z nonequal?
True
Let q = -45694/65 + 6941/10. Which is bigger: -8 or q?
-8
Let t = 729 - 525. Let u = -204.1 + t. Is u >= 23?
False
Let u = -4.3 + 240.3. Let d = 235.73 - u. Is d greater than -0.6?
True
Let d = -92 + 92.204. Let a = -0.016 - d. Let r = a - -1.22. Which is smaller: r or 2/55?
2/55
Suppose 0 = 5*p + 354*v - 356*v + 3825, 1511 = -2*p - 3*v. Is -760 at most as big as p?
False
Let h be 707 + (-3 - (-4)/2). Let q be 228/(-56)*(-1852)/h. Let c = q + 12/353. Is 10 bigger than c?
False
Let y(u) = -10*u - 4. Let p be y(-1). Let w be ((-111)/p)/(65/(-26)). Is w greater than or equal to 8?
False
Suppose -22 = -5*c - i - 3*i, -i + 3 = 0. Suppose 2*z + 290 = -2*d - 2*d, c*d + 141 = 3*z. Is d at least -69?
False
Let i = 43 + -38. Suppose 0*r = -i*r + 325. Let y = 42 - r. Which is greater: y or -24?
y
Suppose -99 = 50*i - 39*i. Let s be ((-364)/16 - -5) + (-6)/(-8). Is i at most s?
False
Let j = -0.93 - -60.93. Let b = -75 - j. Let m = b - -134.9. Which is greater: 52/3 or m?
52/3
Suppose 5*v - 5*i + 8*i = -280, i = 0. Let n be 20/(-8)*v/1015. Is n smaller than 0.1?
False
Let s = -57 - -57. Let v(d) = d**2 - 3*d + 7. Let u be v(s). Let n be (u/(-7))/(-8 + -2 + 0). Which is smaller: 0 or n?
0
Suppose -16*t = -10*t - 42. Suppose t*v + 10 = 24. Let g be 1/5*30/4. Which is bigger: g or v?
v
Let o = 11557/38 + -304. Let b = 41/266 + o. Let l be 2 - (-15)/(-11) - 1. Is b less than l?
False
Let m = 2169.12172 - 0.12172. Which is bigger: 3 or m?
m
Suppose -22*h + 19*h - 1890 = 0. Let f = h + 632. Which is smaller: 0 or f?
0
Let y be (-868)/(-306) - (2 + (-1 - -2)). Let n = y - 1/17. Let v = 0 - 0. Are v and n non-equal?
True
Let p = -1237 + 788. Is -449 at most as big as p?
True
Let j = -83713 + 2508647/30. Let f = -689/6 - j. Which is bigger: -24 or f?
f
Let v = -0.3 - -0.306. Let b = -16249 - -16250. Is b less than v?
False
Let g = -179 - -351. Let o = 183.3 - g. Let s = -11 + o. Is -3/5 at most s?
True
Let c = 114.0113 - 0.0113. Is c at most as big as 13?
False
Suppose -52*j + 3921 - 23369 = 0. Which is greater: j or -380?
j
Let w(g) = 7*g**3 + 22*g**2 + 4*g + 3. Suppose v + 11 = 2*n, 2*n - 5*n = 4*v. Let m be w(v). Is m less than or equal to 0.051?
True
Suppose 4*v = 20*v - 752. Let t = v + -91. Suppose 2*n + 137 = -3*k, 0 = 5*k + 3*n + 142 + 85. Is k greater than or equal to t?
True
Let z = 20375 - 20403.48. Which is smaller: z or 0?
z
Suppose -3*h + 3*j + 36 = 0, 5*h + j = 52 - 10. Is 100 at most h?
False
Let s(x) be the third derivative of x**5/60 + 17*x**4/12 + 11*x**3 + 41*x**2. Let y be s(-32). Is 5 at most as big as y?
False
Let w = -247 + 246.6. Let h = 26037/17 + -1531. Is w at least as big as h?
False
Let v be ((-69)/7)/3 + (-92)/(-28) + -3. Which is greater: -3/2 or v?
-3/2
Suppose 2*q + 20 = -5*u, -q - u = 1 + 3. Suppose -16 = 4*w, x - 2*x + 4*w + 17 = q. Which is smaller: x or -1/473?
-1/473
Let u be (160/5)/(1 + -2). Let f be (u/(-36))/4 - (-14)/(-144). Let l = 1/8 + f. Is l at most -0.2?
False
Let d = 3736 - 3798. Which is smaller: -75 or d?
-75
Suppose -k + 4*n = 4*k - 208, 0 = n + 2. Let j be (k/(-26) - -2)/1. Let h = -2671 + 2669. Which is smaller: h or j?
h
Let s = -4975 + 8721. Do 3745 and s have the same value?
False
Suppose 0 = -19*s - 8*s - 108. Let g(f) = -f**3 - 5*f**2 + 2*f + 7. Let m be g(s). Are -73/4 and m unequal?
True
Let a be (1/2)/((-4)/(-240)). Suppose -j - 61 = 4*j - 3*v, -4*v + a = -2*j. Let l = 31/11 - 965/77. Which is smaller: j or l?
j
Let a = 2570 - 156771/61. Which is smaller: -23 or a?
-23
Suppose -2*v + v - 1 = n, -v = -n + 5. Suppose n*c - 190 = -8. Let x = -274/3 + c. Which is bigger: x or 14/3?
14/3
Let a(u) = u - 4. Let q(l) = -l + 4. Let s(p) = -5*a(p) - 6*q(p). Let k be s(0). Let n(i) = -21*i**2 + 478*i + 112. Let g be n(23). Which is smaller: k or g?
k
Let y = 2368.2 + -2203.2. Are y and 12/11 nonequal?
True
Suppose 8*f - 414 = -78. Let x be (-18)/f + (-269)/(-7). Let g be (133/x)/(1/2). Which is smaller: 4 or g?
4
Let l be (-15257)/(-99) - -5 - (9 + 3 + -3). Is l > 150?
True
Let z = -6807 - -122471/18. Is -2 equal to z?
False
Suppose -3 = -x - 1. Let v = 9985 + -69784/7. Let k = 403/21 - v. Which is bigger: x or k?
k
Suppose -11*a - 7878 = -54*a + 17*a. Do 2124/7 and a have the same value?
False
Let z(h) = 4*h**3 + 4*h**2 + 11*h + 55. Let x be z(-6). Which is bigger: -729 or x?
-729
Suppose 95 - 3844 = 12*v + 247. Is v greater than 3?
False
Suppose -25 = -5*t, 3*j = 7*t - 5*t + 9671. Which is bigger: 3228 or j?
3228
Let i(x) = -7*x**3 + 5*x**2 - 13*x - 3. Let u be i(-6). Let z be 102/(-969) + 167/u. Is z at most as big as 0?
True
Let t = -3392 + 3413. Is t > 0.1?
True
Let u be (16/(-24))/(14/8841). Let p = -502 - u. Is p at least -82?
True
Let u(y) = -39*y + 374. Let a(h) = 17*h + 112. Let s be a(-6). Let v be u(s). Are -14 and v non-equal?
True
Let g = -6 + 10. Let q be 8/g + 1 + 36. Let v(x) = -76*x - 341. Let s be v(-5). Is s > q?
False
Suppose 37*p - 4394 = 50*p. Is -333 less than p?
False
Let k be 1 - 0 - 34/(-12)*-15. Let n = k + 42. Suppose -38 = 4*i - 42. Is i >= n?
True
Let u(a) be the third derivative of a**4/24 - 4*a**3/3 - 4*a**2. Suppose -3*l = -3*g - 30, -10 = -4*l - 0*g - 2*g. Let v be u(l). Which is greater: v or -6?
v
Let x = 294 + -289. Suppose -x*z + 30 = 5*f, 4*z + 18 = 8*z - 2*f. Which is bigger: z or 31/5?
31/5
Suppose -63 + 31 = -4*m, -x + 5*m + 8694 = 0. Is x bigger than 8734?
False
Let u(k) be the third derivative of -5*k**4/12 + 5*k**3 + k**2 + 2. Let b be u(3). Which is greater: -8/31 or b?
b
Let m(f) be the first derivative of 5*f**4/4 + f**3/3 + f**2/2 - f - 15. Let q be m(-3). Let l be (3*(-4)/15)/((-4)/q). Is -25 > l?
True
Let c = 293 + -204. Let v = 90 - c. Is 30 > v?
True
Let h(b) be the second derivative of -b**5/20 + b**4 - 14*b**3/3 + 5*b**2 - 20*b + 5. Let r be h(9). Is -5/237 <= r?
True
Let w(s) = 8*s**2 + 8*s - 15. Let t be w(-8). Suppose -t + 523 = 9*l. Are l and 67/6 unequal?
True
Let z be 11/3 + -4 - (-25)/3