*y + 106 = -3*i, 3*i = 5*i + 5*y + 74. Is i at least -32?
True
Let p = -1.8 + 2. Let c = 22 - 148. Let o = 126.07 + c. Is p bigger than o?
True
Suppose 0 = 15*p - 307 - 53. Which is bigger: 26 or p?
26
Let z be (-86)/172 - (-2)/(-4). Is z at least as big as 2/409?
False
Let w = 0.273 + 12.727. Which is smaller: w or 0.01?
0.01
Let o(d) = -d**3 + 9*d**2 + 22*d - 4. Let m be o(11). Let j be 104/9*3 - (m + 4). Are j and 35 non-equal?
True
Suppose -13337 = -74*j - 2903. Which is greater: j or 134?
j
Suppose 8*l = 5*l + 4*s + 382, 5*l - 3*s = 644. Are l and 130 nonequal?
False
Let u be ((-3)/16)/((-1125)/(-1100)). Which is smaller: 1 or u?
u
Let i = -50 - -29. Let z = 0.8378 + -0.9378. Is i at least z?
False
Let v = -613 + 669. Which is smaller: 54 or v?
54
Suppose 0*h - 32 = -4*h. Let b be (9/24)/(4/h). Which is smaller: 0.01 or b?
0.01
Let l = 702.81 - 705. Which is smaller: -3 or l?
-3
Let i = 11 + -4. Let p(s) = s**3 - 3*s**2 + 5. Let n be p(3). Suppose -n*w + 33 = 2*y, 3*w - 5*w - 5*y + 30 = 0. Is i < w?
False
Let a = 59 + -16. Let k = -44 + a. Which is smaller: k or -2?
-2
Suppose 0 = 4*g + 53 - 5. Let w = 15 - 16. Let c = -14 - w. Is c at most g?
True
Suppose 7*m - 415 + 310 = 0. Which is smaller: m or -8?
-8
Let r(o) = o**3 + 2*o**2 - o - 4. Let x be r(-3). Let t = 590/3 + -187. Let l = x + t. Is 0 greater than or equal to l?
True
Let g(i) = -9 + i**3 + 3*i**2 + 24 - 3 - 9*i. Let o be g(-5). Is o greater than or equal to 6?
True
Let p be 201/(-33) - (-14)/7. Which is smaller: p or -5?
-5
Suppose -50*q = 3*v - 47*q - 6, 5*v - 2*q = 17. Are 2 and v equal?
False
Let l be 6/(-3)*1/(-13). Let o(z) = z**3 + 33*z**2 - 12*z**2 - 28*z - 1 + 6*z. Let u be o(-22). Which is smaller: l or u?
u
Let s be 38/(-14) + (-1 - 1)*-1. Which is greater: -2 or s?
s
Let v be (-10)/(-15)*(-27)/(-6). Let s be (-1)/1*2 + -2. Let i be s*(-1)/(-10) + 3. Which is smaller: v or i?
i
Suppose 25 + 30 = -11*q. Let h(v) = v**3 + 8*v**2 + 4*v. Let c be h(q). Is 55 != c?
False
Let u = -11 - -11. Let y(f) = -f**3 + f. Let h be y(1). Suppose 5*r + h*r + g - 5 = u, 5 = 5*r + 2*g. Which is greater: 10/11 or r?
r
Let f = -16.8 - -1.8. Let z = 15.2 + f. Which is smaller: -8 or z?
-8
Let j be (-1 - 12/4) + -23. Let a = j + 3. Is -25 less than a?
True
Let o(u) = -u**3 + 3*u**2 + u - 1. Let r be o(3). Let p be (-13 + 22)*r/(-14). Is -2 less than or equal to p?
True
Let d = 870 - 2735/3. Which is smaller: -41 or d?
d
Let t be (2121/48*2)/((-4)/8). Is t less than or equal to -177?
False
Let t be (-1)/4 - (-50)/8. Let z = -29 - -38. Suppose o + 2*l + 9 = 0, -z = o + 3*l + 4. Do o and t have the same value?
False
Let z be 2*(-3)/(3 + 0) - -7. Suppose -2*b + 22 = -2*w, 4*b - 5*w + 9 - 58 = 0. Do b and z have the same value?
False
Let d be 3/(-4) + (-2)/8. Let v be (-2)/20*((-192)/(-78))/8. Which is smaller: d or v?
d
Let a be (-14)/42 + 2014/(-42). Let b = 1774/35 + a. Is b equal to 1?
False
Let q = -0.814 - -0.676. Is 6 greater than or equal to q?
True
Let j be 3 - (224 - (-5)/((-20)/(-8))). Is j at least -223?
True
Let v = -3/235 + -353/9165. Is v != 10?
True
Let k be 8 - 1*(-4)/4. Let w = -0.81 - 7.39. Let v = w - -8. Is v at most as big as k?
True
Suppose 4*h = 3 + 25. Let b(k) = -k + 12. Let v be b(h). Suppose -5*z = v*s + 20, -3*z - 5*s = 13 + 1. Is z equal to -8/5?
False
Let v = -2 + 4. Let u = 1 + v. Suppose -u*t - 4 = 5. Is t >= -3?
True
Let i = 6518/9 - 726. Which is smaller: i or -0.7?
i
Let n = 32 + -28. Let u be ((-3)/n)/(18/12). Is -2/7 less than or equal to u?
False
Let f be 53/112 - 2/7. Suppose 2*x + 285 = 285. Which is smaller: f or x?
x
Let x(w) = 5*w**3 - 5*w**2 + 2*w + 29. Let f be x(-4). Is f bigger than -379?
False
Let j be 0/(-4 - (-4 - 2)). Let v = 234.99 - 235. Which is greater: v or j?
j
Suppose 0 = 4*a - 5*t - 9, 4*t = -a + 3*a - 6. Which is greater: -13 or a?
a
Suppose -2*h + 774 + 368 = -4*b, 5*h = 3*b + 2876. Let v = 13269/23 - h. Which is smaller: v or 0.2?
v
Let z(w) = 3*w**2 + 8*w - 2. Let q be z(-5). Suppose -q + 13 = 4*u. Let s be (-1 - 2) + 2/(-3). Which is greater: s or u?
s
Let j = -8 + 12. Let m be j/(3/(6/(-10))). Let i = -11 - -9. Is i at least as big as m?
False
Let r = -0.4 - -0.8. Let s = 9.4 - r. Is s at least as big as 0?
True
Let f(j) = -32*j - 138. Let b be f(7). Is -363 <= b?
True
Let p(k) = k - 15. Let a be p(9). Let h(t) = -t**2 - 5*t + 6. Let w be h(a). Let n = -15/164 - -463/1476. Which is smaller: w or n?
w
Suppose 6*o - 6 = -0*o. Which is greater: o or -2/49?
o
Let h = 135 + -118. Does 65/4 = h?
False
Let d be 3*1*68/(-51). Suppose 0 = 5*n + 4*g - 7*g - 4, 3*n = 3*g + 6. Is n greater than or equal to d?
True
Let w = 1075116535948 + -25860853146472501/24054. Let b = w + 3/8018. Let r = b + -388. Are r and -6 non-equal?
True
Let s(v) = 58*v**2 - 3*v + 1. Let b be s(1). Let n = -65 + b. Which is smaller: n or -3?
n
Suppose -2*t = -3*t + 6. Suppose h - 3*y = 5, -2*h + 0*h - y = -3. Suppose 0 = -5*i + h*i + t. Which is greater: 6 or i?
6
Suppose 4*t = -5*g - 231, 0 = g - 5 - 0. Let u = t - -319/5. Let b = 40.9 + -41. Are b and u nonequal?
True
Let n = -70.9 - -71. Which is smaller: 82 or n?
n
Let d(x) = -x**2 + 31*x + 35. Let y be d(32). Which is bigger: 8 or y?
8
Let p = 91 + -86. Suppose 3*s = -p*b + 223, -51 = -s + 2*b + 27. Is 75 < s?
True
Suppose -25 = -5*d, 3*g + 72 = 10*d - 13*d. Which is smaller: -8 or g?
g
Let w = 8 + -4. Let i(x) = -3*x**3 + 6*x**2 + x + 1. Let t(b) = 2*b**3 - 5*b**2 - b - 2. Let m(v) = -3*i(v) - 4*t(v). Let q be m(-2). Which is greater: w or q?
w
Let h = 3949 + -27985/7. Which is smaller: -48 or h?
h
Let x = 19 - 19. Is -4/5 > x?
False
Suppose o - 8 - 1 = 5*w, 4*w = -5*o - 13. Let i be ((-48)/36)/(3 - 33/9). Let t = i - o. Is 2 less than t?
True
Let a = 14 - 6. Suppose -10 = -10*u + a*u. Suppose -4*g - g = -u. Is 1 at least as big as g?
True
Let i = 0.1 + -0.06. Let u = -17.6 + 18.64. Let a = u - i. Which is smaller: 3 or a?
a
Suppose 29*n + 5673 = -2*n. Which is smaller: -182 or n?
n
Let w = 40 - 34. Let a(k) = -k**2 + 5*k + 9. Let y be a(w). Is y >= 3?
True
Let k(y) = y + 7. Let i be k(-6). Let d be (-11)/((-220)/32)*(-30)/(-4). Let t be 3/d*-4*(-1)/(-18). Which is smaller: i or t?
t
Let o = 219 + -229.06. Let l = o + 1.16. Let g = 9 + l. Is g at least -0.01?
True
Let v = 55.1 - 57.6. Are 10 and v nonequal?
True
Let k = 5 + -1. Suppose k*n = -f + 5*f - 24, -5*f = -2*n - 18. Let s = -11.1 - -11. Which is smaller: s or n?
n
Suppose -5*h + 34 = 3*o - 2, -h - 2 = -4*o. Let q be (-21)/h*(-4 - -6). Let i = q + 5. Which is smaller: -5/4 or i?
i
Suppose -5*a + 82 + 72 = -2*c, 0 = 5*a - c - 152. Suppose a - 12 = -2*z. Is z smaller than -3?
True
Let t = 128 + -128.02. Is t equal to -23?
False
Let j = -36 + 23. Let z = -12.8 - j. Which is greater: z or 0.04?
z
Let z(b) = -b**3 - 12*b**2 + 3. Let d be z(-12). Suppose 15 = -5*s, d*c - 7 = c - s. Suppose c*w + 5 = -0. Which is bigger: 1/13 or w?
1/13
Suppose 7*x = 174 + 197. Is x less than or equal to 0.1?
False
Let g be ((-14)/(-273)*-3)/(-55). Which is greater: g or 1?
1
Suppose -1375 = -95*b + 40*b. Let g(h) = 13*h - 3. Let c be g(2). Which is bigger: b or c?
b
Let i = 2 - 1. Let j = -28429/15 - -1895. Which is smaller: i or j?
j
Suppose 5*b + 117 - 7 = 3*a, 4*b + 88 = -5*a. Let u(d) = -d - 15. Let r be u(6). Which is smaller: r or b?
b
Suppose -10 = 5*v, 12*v + 174 = -y + 10*v. Let n be y/9 - (-21)/(-189). Does -19 = n?
True
Let g = -4 - -11. Let d = 134 + -209. Let s = 83 + d. Which is greater: s or g?
s
Suppose 8*b - 10 = 22. Suppose 4 = -b*r - 0*r. Which is smaller: -4/13 or r?
r
Let k be (-4)/(-8) + 6/4. Suppose -x + 2 + k = -2*a, 5*a + 15 = 0. Let z = x - -4. Is z bigger than 2?
False
Let a = 524.998 - -0.002. Which is bigger: a or -0.1?
a
Let s(h) be the third derivative of 0*h + 2/3*h**3 - 5/24*h**4 + 0 + 6*h**2 - 1/60*h**5. Let g be s(-6). Which is bigger: g or 1?
1
Let u be (0 - -1) + (1 - (-187)/(-92)). Is u at most as big as 0?
True
Suppose -3300 = 4*u - 4*h, -16*u + 19*u = -2*h - 2465. Which is smaller: -824 or u?
-824
Let v be 35/252 - 1/4. Suppose 15 = 5*c - f, -3*c - 15 = 5*f + 4. Suppose -t + c*t + 5*m = 4, 0 = t - 3*m + 4. Which is greater: v or t?
v
Suppose 215 = -6*v + v. Let m = 28633/4 - 7115. Let j = v + m. Is j at least as big as 0?
True
Let o 