
Suppose -574 = 5*i - 2*a - 121, 3*i + 5*a = -309. Is -119 <= i?
True
Let r(x) = -28 + 14*x - 8*x - 4*x. Let f be r(15). Suppose -5 = d - 8*m + 3*m, 0 = -d + f*m - 2. Is d less than or equal to 2/5?
True
Suppose -10243*f + 10262*f + 570 = -855. Which is smaller: f or -65?
f
Let f = 90 - 90.0596. Let v = -0.1404 + f. Which is bigger: v or -29/5?
v
Let v = -1.022 + 19.742. Let r = v - -0.28. Which is smaller: r or -1/17?
-1/17
Let o be (-4 + 32880/7450)*(-5)/(-2). Which is smaller: 0 or o?
0
Let v = -36123 + 36074.56. Do -0.1 and v have the same value?
False
Let i = -88 + 139. Let n = i + -75. Which is smaller: -1/4 or n?
n
Suppose 5*t = 3*s + 16 + 4, 4*t = 4. Let u(x) = 5*x**2 + 12*x - 11. Let j be u(s). Let n = j - 54. Is -4/3 less than n?
True
Let m = -6 + 8. Let b be 2/4*-5 + m. Let t = 1268 - 1269. Which is bigger: t or b?
b
Let o be ((-6)/2)/(6/(-25 + 1)). Let k(d) = 2*d - 1 + o + 4. Let u be k(-11). Are u and 0.5 nonequal?
True
Let y be 6/(-9) - 1/3. Let b be 203288/(-19488) + 11 - (0 - 12/(-21)). Are y and b non-equal?
True
Suppose 8*q - 475 = 3*q. Suppose q*u - 94*u = 20. Which is greater: u or -9?
u
Suppose 36*f = 149*f - 166449. Which is smaller: f or 1474?
f
Let n = 276 - 580. Let t = -304 - n. Is -0.8 at least t?
False
Suppose 4*b = 4*g - 251 - 5, 4*g = 3*b + 259. Suppose 3*j + 56 = -g. Is j greater than or equal to -39?
False
Let c(y) = 61*y - 292. Let t be c(3). Is t not equal to -986/9?
True
Let c(u) = -17*u + 309. Let l be c(32). Is l smaller than -232?
True
Let i(m) be the first derivative of 71*m**2 - 30*m - 163. Let b be i(1). Is 109 at most b?
True
Let u = 46 + -40. Let a(x) = x**2 + 12*x + 12. Let f be a(-14). Let w be 32/f*(-40)/(-7). Which is smaller: w or u?
w
Let v be (0 - (4 - -94))*-4. Suppose -4*i - 2*p = -v, i - 6*p = -3*p + 112. Which is smaller: 101 or i?
i
Let u = 9131.97 + -9135. Which is smaller: 2 or u?
u
Let d be 97 - (1 - (-162)/(-180))*7*10. Let g be ((-6)/2)/(6/(-184)). Is d at most as big as g?
True
Let m be (35/7 + -4)*0/1. Which is greater: m or 11/1029?
11/1029
Let j be 2 + -1 + -2 - (1 - -7). Suppose -32 = 4*d - 2*d. Let y = j - d. Which is smaller: y or 25/4?
25/4
Let s = 1503 - 1572. Which is smaller: s or -551/8?
s
Let p be (4 - 44185/11045)/(46/(-230)). Does 0 = p?
False
Let u = -44420 - -46808. Is 2393 > u?
True
Let b = 711.7 - 712.7. Is b at least -193.7?
True
Let b(r) = -3*r - 27. Let j be b(-10). Suppose -5*c + j*z - 7*z + 222 = 0, -2*c + 90 = z. Let h = c + -17. Is 29 equal to h?
True
Let w = 959.84 - 119.84. Is 1/3 less than or equal to w?
True
Let p = -4026.6 + 4027. Let q = 0 + 1. Is p at least as big as q?
False
Let i = 1255/168 - 52/7. Let a = 43 + -19. Let r be (-6)/a - 5/(-4). Which is smaller: r or i?
i
Let c be 3*(39/38 + -1). Let w = c + -65/342. Let v be ((-415)/(-5810))/(2 - (-54)/(-28)). Which is greater: v or w?
v
Suppose 17*g = -5*u + 15*g + 94, 5*u + g - 92 = 0. Suppose 0 = 4*r - 2*r - 6. Suppose -r*t = -7 - 47. Are u and t nonequal?
False
Suppose -3*f = -2*m + 14 - 158, -2*f + m + 98 = 0. Which is greater: -29 or f?
f
Suppose 2*j - 59*j = 9363 - 2352. Is j >= -64?
False
Suppose -250*c = -155*c + 380. Is -111/44 greater than c?
True
Let d(g) = -58*g - 46. Let p be d(-8). Let x = p + -36. Which is greater: x or 0.1?
x
Let r = -565900/220196907 - -34/12663. Is r smaller than 1?
True
Let v(i) = -i**3 + 12*i**2 + 25*i - 156. Let f be v(13). Let w = 59 + -33. Which is bigger: f or w?
w
Let q = 59 + 70. Suppose 0 = -5*t + 2*r + q, -2*t = -2*r - 0*r - 48. Let s = -86894 - -86922. Is s at least as big as t?
True
Let d(n) = -2*n**2 - 27*n - 31. Let l be d(-12). Let o be (-18)/(-12)*((-92)/12 + l). Suppose -3*f + v - 3*v = -16, -4*v = f - 2. Which is smaller: o or f?
o
Suppose 5*k - 47 = 118. Let j = k + 33. Let d be 6/4 - j/44. Which is bigger: -1/7 or d?
d
Suppose -65*s + 165*s = 81*s - 3800. Is -201 less than or equal to s?
True
Let f = -61.9 + 42.1. Let p = 0.2 - f. Is -21 at most as big as p?
True
Suppose 340 = 37*n - 57*n. Is -35 greater than or equal to n?
False
Suppose 0 = -6*d + d. Suppose 0 = -5*s + 692 - 712. Let j be s + (-15)/5 + 2686/391. Which is smaller: d or j?
j
Let s(v) = -6 - 4*v + 0*v + v + 4*v**2 + 6*v. Let m be s(4). Let g = -73 + m. Which is smaller: g or -11/4?
g
Suppose -14*o + 18 + 4 = 8. Which is bigger: -8963 or o?
o
Let h = 112 + -116. Let s = -1048 - -1047.86. Which is smaller: s or h?
h
Suppose -5*g - 4 = 2*u, -18*g = 4*u - 16*g + 8. Let j be 1/(2/6)*-13. Let c be 5/(-2) - u - j/22. Is -1 < c?
True
Let c be (-146)/10 + (-2)/5. Suppose -4*v + l + 47 - 117 = 0, l - 19 = v. Which is bigger: v or c?
c
Let v = 142.9425 + 0.0575. Let y = v + -144. Is y greater than or equal to -132/17?
True
Suppose 0 = 3*r - 5*s - 1351, -3*r + 590 + 777 = -s. Which is smaller: 450 or r?
450
Let k = 94 - 53. Suppose -66*z = -26*z - 80. Suppose -t + 2*n = -17, t - k = -z*t + 4*n. Which is smaller: t or 25/3?
t
Suppose 50*u = 53*u - 3*d + 3, d = 4*u + 1. Let g be (-78)/65*(-2 - u). Is 8 at least as big as g?
True
Let g(o) = o + 5. Let x(j) = -j + 195. Let i(s) = -2*g(s) + x(s). Let n be i(45). Let w(d) = 5*d**2 + 2*d. Let k be w(3). Is k equal to n?
False
Let j = -1506509/125 - -12052. Which is smaller: j or 1?
j
Let f be (-216)/21 + (11 - 1). Let u = -2.1 - -16.1. Let o = u + -8. Is o less than or equal to f?
False
Let t(h) = -h**3 + 38*h**2 - 82*h + 70. Let l be t(34). Which is smaller: l or 1908?
l
Let g(x) = -x + 5. Suppose 3*i = -5*s - 28, 2*s + 12 = -3*i - 10. Let h be g(i). Let q = h + -15. Which is smaller: q or -22/7?
q
Let i be (4 - (-9)/(-2))/(0 + 2). Let m = 0.0084 - -1.1916. Is i at most m?
True
Let d be (-2)/10 - 1*98/10. Let f be (-10)/4 - 15/d. Let v be (f - -1)/((-2)/1). Are 1/16 and v non-equal?
True
Suppose -2*d + 389 - 340 = 3*k, 0 = 2*d - 5*k - 25. Which is smaller: d or -46?
-46
Let r(z) = 4*z - 3. Suppose 0*a = 4*a - 8. Let y be r(a). Suppose 0 = y*s - 0*s - 240. Does s = 49?
False
Let s = -46.915 + -0.785. Let y = s - -53.7. Is y less than 1?
False
Let o = 188 + -188.3. Let y = 13 + -13.2. Does y = o?
False
Let z(n) = 6*n**2 - 28*n - 14. Let v be z(5). Are -184/37 and v nonequal?
True
Let b(d) = 7*d**2 - 2*d + 1. Let t be b(1). Let k be 2/(3*t/(-9)). Let n = 2118/5 + -27514/65. Is k at most n?
True
Let w(u) = 349*u - 4805. Let b be w(13). Which is smaller: b or -266?
b
Let b = 318 - 374. Let u be (-12)/7 - -2 - (-3194)/b. Do u and -57 have different values?
True
Let h = -260.264 - -260. Let z = 2.736 - h. Which is bigger: z or -0.25?
z
Let t(c) = -c + 1. Let l be t(6). Let x be (-28)/l - 2 - 4. Let h = 8.6 + -4.5. Do x and h have the same value?
False
Suppose 0*u + 18540 = -5*y - u, 3*y + 11112 = -3*u. Let d = y + 14717/4. Is d less than -31?
False
Suppose -7*x = -230651 - 28598296. Let t = x + -807214353/196. Let l = t + 65/49. Which is smaller: -18 or l?
l
Let k(h) = 28*h + 3. Suppose -5*g = -c - 3, 3*c - 1 = 4*c - 3*g. Suppose 1 = -3*t - c. Let y be k(t). Which is smaller: 1 or y?
y
Let s = -1113 - -2163. Let d be (-3)/25*28/s. Which is greater: 0 or d?
0
Let x(s) = s**2 + 1. Let w be x(-1). Suppose 0 = -2*y - 8, 12 = -w*m + y + 32. Suppose 0 = -5*n + 57 + m. Is n > 13?
False
Suppose -5*q + 6*q = 7. Suppose s - 7 + q = 0. Suppose 2*r - r = -s*r. Are r and 5/9 nonequal?
True
Let i be (1 - 2)*(1 - -2). Let k(u) be the second derivative of u**4/12 - u**3/2 + u**2 + 2*u + 79. Let y be k(3). Is i >= y?
False
Let o = 12181 + -12301. Is -113 bigger than o?
True
Let p(d) = 15*d + 3. Let u be p(-14). Let z = 171 + u. Is z greater than -35?
False
Let b(y) = -13*y + 5. Let u be b(6). Suppose -a + 1 = 0, 2*l - 2*a = -7*a + 85. Suppose 949 = -53*s + l*s. Is u greater than or equal to s?
True
Let d be (-2352)/1071*(-36)/16. Is d smaller than 6?
True
Suppose -5*x + 16 = -2*c + 2, 0 = 3*x + 2*c - 2. Suppose -a - 2*o + 5 = -6*o, 30 = x*a - 4*o. Let l be -27 + 5 + a/(-5). Which is greater: 2/3 or l?
2/3
Let x(s) = -195*s**3 - s**2 + 13*s + 31. Let n be x(-2). Do n and 1564 have the same value?
False
Let o = -99.12 + 99. Let b = o - 0.18. Let v = -1.11 - -0.11. Is b >= v?
True
Let t(z) = 261*z - 5590. Let o be t(21). Does -121 = o?
False
Let w = 44 - 41. Suppose 83 - 8 = w*v. Let q = v - 74/3. Are 7 and q unequal?
True
Suppose 9 = 3*u, 0*r + r - 95 = -u. Let p be (183