j = 0.042 + -0.142. Let k be 15/(-7)*308/(-8). Let o = -83 + k. Is j less than o?
False
Suppose 104*g - 97*g - 385 = 0. Let w be (5/(-25))/((-4)/g). Is 3 not equal to w?
True
Let x(t) = -24*t + 23*t - 5*t - 100. Let z be x(-15). Is -12 at least as big as z?
False
Suppose -6 = 4*c - 10*c. Let f = -9 - -19. Let z be 3/6*(-6)/f. Which is greater: z or c?
c
Let y(t) = -3*t - 70. Let n be y(-23). Let c(o) = 101*o + 9. Let b be c(n). Are -92 and b non-equal?
False
Let m = 1/11383482178 + -86354788448289769/6545502252350. Let c = m + 13193. Is -1 > c?
False
Suppose -15319 = -8*v + 2905. Which is smaller: 2279 or v?
v
Let m be 3327 - ((-288)/(-16) + 3). Is m at most as big as 3302?
False
Let m(h) = -44*h - 13. Let a(y) = 87*y + 26. Let q(w) = -4*a(w) - 9*m(w). Let s be q(-1). Do s and -34 have different values?
True
Let r be 76492/91 - (5 - -1). Let x = 7214884/8645 - r. Are x and -1 nonequal?
True
Suppose 0 = 4*s + 4*d, -3*d - 30 = -2*s + d. Suppose -s*y + 1 = -6*y. Let n be -2 - y/((-14)/8). Does -2 = n?
False
Let v = -0.032 - 0.1. Let x = v + 0.142. Is x less than 0?
False
Let s be ((-104)/65)/(12/(-10)) - 32/19. Is s bigger than -0.07?
False
Suppose -3*a = 3*u + 1137, -11*a - 6 = 27. Is u at least as big as -5?
False
Let d be (-16)/((-64)/(-20)) + 545 + -1. Let t = d - 542. Let o be (-1 - -4)/(11/(-12)). Which is smaller: t or o?
o
Let t be (7 + (-737)/99)*3/(-2). Are t and 16940 equal?
False
Let f = 4399 - 4400. Are -181/4 and f equal?
False
Let i = 194.965 - -0.035. Let t = -192 + i. Which is smaller: t or -0.05?
-0.05
Let u be (5 + -7 + 6 - -20)/((-8)/20). Suppose 5*q + 379 = 3*l + 81, -4*q - 4*l = 232. Is q > u?
True
Let m = 2395 + -2582. Which is smaller: m or -189?
-189
Let c = -25165 + 11847. Which is greater: -0.1 or c?
-0.1
Let g = 0.078 + -8.078. Let f = -44.5 + 43. Let r = 1.1 + f. Which is smaller: r or g?
g
Let y(r) = -r + 15. Let t be y(3). Let f be t/3 - (2 - 0). Let g be 46/8*(f + 0). Which is smaller: g or 12?
g
Let i be (-139108)/(-119) + (-4)/34. Let s = -1165 + i. Does 0 = s?
False
Let w be -4 - 3*(-13)/3. Let x be -4 + w - (0 - -1). Suppose -l - 3 = -x. Which is greater: l or -3/14?
l
Suppose -984 = -3*u + 3*g, 3*u + 2*g - 151 = 808. Let d = -415 + u. Is -278/3 at least as big as d?
False
Let y(i) = -i**3 + 7*i**2 + 7*i + 5. Let h be y(8). Let m be (-1 - 0)/(h/(-3)). Which is greater: m or -2/9?
-2/9
Let d(x) = x**3 - 2*x**2 - 171*x - 36. Let s be d(-12). Which is greater: 4/1543 or s?
4/1543
Let k be (2 - 3)/(3/57). Let i be (-325)/(-117) + (-2)/(-9). Suppose 0*q + 51 = -i*q. Do k and q have the same value?
False
Let l = 541 + -338. Let p = l - 157. Let a(b) = -7*b - 3. Let i be a(-7). Is i at least p?
True
Suppose -q - 506 = 5*g, -42*q = -43*q + 3*g - 538. Let b = -412 - q. Is 0.2 > b?
False
Let g be ((-200)/(-30))/((-40)/(-12) + -4). Let m be g/(-35) + 5/(35/(-912)). Does -0.2 = m?
False
Let r be 1*(-1 + 17)/4. Suppose -i - r = -3. Let t be 1154/(-289) - 4/i. Which is bigger: 0 or t?
t
Let v be (-9)/105*26317/(-3). Suppose 17454 + 5106 = 30*t. Let g = t - v. Which is smaller: g or -1?
-1
Let k(n) be the second derivative of -n**3/2 - 3*n**2/2 + 10*n. Let s be k(-8). Let v = -302/3 + 101. Do v and s have the same value?
False
Let x = 5 + -5. Let v be (-47)/(-3) - 1/(-3). Let c = -17 + v. Is x smaller than c?
False
Let q = -444 - -446. Let w = -4 + 4. Suppose q*o - 6 = 0, 4*n + n + 2*o - 11 = w. Is 10/11 at most as big as n?
True
Let n be (2/(-5))/((-6)/(-15)). Let t be 590/(-59) - 1/n. Is -64/7 < t?
True
Let m = 724.48 - 722. Which is greater: -34 or m?
m
Let j(a) = 6*a**3 - 2*a**2 + 17*a + 1. Let f be j(-13). Let g = 11967543/871 + f. Let z = g - -4419/871. Which is greater: 6 or z?
6
Suppose -1110 = 949*r - 934*r. Which is smaller: -51 or r?
r
Let z be -2 + (8/2*1 - (24 - 23)). Which is greater: z or -1/3979?
z
Let c = 248.933849 + -0.023849. Let h = 249 - c. Is 1/3 < h?
False
Let o(p) = -p**3 + 48*p**2 - 92*p - 1282. Let i be o(37). Is i smaller than 10374?
True
Let h = -3 + 4. Let p be 9/27 + h/(-3). Let t be 2/(-13) - ((-697)/221 - -3). Is t >= p?
True
Suppose 3*z + 3 = 4*p + 125, 5*z + 5*p = 180. Let n = -4 + z. Let d be 85/n*(-6)/(-5). Which is smaller: 4 or d?
d
Let x be ((-2255)/210 + 2/(-21))/(4/(-24)). Let o(p) = 4*p**2 - p + 1. Let y be o(1). Suppose y*l = l + 192. Is x equal to l?
False
Let p = -0.16 + 186.16. Let l = p + -185.8. Is 47 < l?
False
Let j(m) be the second derivative of -m**2 + 0 + 24*m + 1/2*m**3. Let l be j(-6). Is l < -20?
False
Let k(l) = 3*l**2 + 9*l + 28. Let u(j) = 10*j**2 + 28*j + 86. Let v(d) = 7*k(d) - 2*u(d). Suppose 0*r + r + 5 = 0. Let q be v(r). Is q at least 14?
True
Let f(k) = k**2 + 2*k - 5. Let s be f(4). Let p be (12/(-8))/(1/(704/(-6))). Let n = -155 + p. Is s greater than n?
False
Suppose 96*l = 251*l - 120*l + 36470. Does -1042 = l?
True
Let m = 89.14 - -1.86. Let k = -296 - -211. Let d = k + m. Is d not equal to 2/7?
True
Let u = 6074 + -6053.14. Is -0.1 at least u?
False
Let b be (3/(-3)*1 + 2)*61. Suppose -238 = -5*j + m, 5*j + 4*m = 187 + b. Let q = j + -49. Is 26 > q?
True
Let f = 2 - -2. Suppose 0 = f*q + 4. Let h = 1/1549 - -2999/153351. Which is smaller: h or q?
q
Suppose a + y - 82 = 0, -1054*y + 333 = 4*a - 1049*y. Which is greater: a or 39?
a
Let n(f) be the third derivative of -17*f**4/24 - 31*f**3/2 + 84*f**2. Let d be n(6). Which is smaller: -196 or d?
-196
Let l be 0/1 - (-10)/(-2). Suppose -92 = -14*j - 134. Let n(d) = 7*d + 15. Let v be n(j). Which is greater: v or l?
l
Suppose 2*k = -3*w - 67, 4*k + 2*w - 5*w + 125 = 0. Let r = -170 - k. Let y = r - -139. Is -1/6 != y?
True
Suppose -88*u - 76*u = -178*u. Let w(p) = p - 1. Suppose 5 = 5*s - r, 3*r - 6 + 21 = -2*s. Let l be w(s). Is u at least l?
True
Let s be (5/2)/(((-95)/10)/(-19)). Suppose 2*v = 2*o - 3*v, 0 = 5*o - s*v. Which is bigger: 14/13 or o?
14/13
Let p(g) = 57*g**2 + 18*g + 14. Let s be p(-6). Do s and 1958 have the same value?
True
Let r be -11 + (180/(-16))/(20 + 15 + -36). Let j = 119 - 289. Which is greater: r or j?
r
Let s = 523 + -526. Let f be (-24 - -83) + (-3)/s*0. Which is smaller: f or 60?
f
Let z(y) be the first derivative of 4*y**3/3 + 6*y**2 + 18*y + 56. Let w be z(-2). Is w less than 11?
True
Suppose -308*n - 671 = -132*n + 33. Is 4/11 <= n?
False
Let s = 478/35 + -69/5. Let n = 15/58 + -1309/5510. Which is bigger: n or s?
n
Suppose 6*q + 1456 = 2*q + 4*s, -1454 = 4*q - 5*s. Let h = q - -364. Is h greater than or equal to -42/43?
False
Let r = -378 + 127. Let o = r - -274. Which is bigger: 24 or o?
24
Let z be (-10 + -14 + 12)/(28/(-8)). Is 4 greater than z?
True
Suppose -98*h + 59*h - 106183 = 158*h. Which is smaller: h or -550?
-550
Let h = 0.03564 + 21.96436. Which is greater: h or 99?
99
Suppose 2*k + 0*f + 7 = -5*f, 5 = 5*k + 5*f. Let v(a) = a**2 - 3*a - 1. Let z be v(k). Let m(h) = -2*h**2 - 51*h + 382. Let d be m(6). Is d bigger than z?
True
Let x be ((-4)/6)/((-16)/(-26520)*13). Let q be x/(-13) - (10 - (3 - -1)). Which is smaller: 0 or q?
0
Let k be ((-8)/68)/(25/(-125)). Let l = -15 + 18. Is l greater than k?
True
Suppose 2*l = -4, -5*l + 10*l = 3*x - 34. Let f = 5041.5 - 5048.5. Is x at most f?
False
Let o = 13 + -33. Let q = -22 + o. Let z = q - -41.8. Is z bigger than 15?
False
Let j(y) = y**2 - 34*y - 1076. Let b be j(-20). Which is greater: -73 or b?
b
Let h = 61 + -159. Let u = -103 - h. Let r = -0.1 - -0.1. Which is bigger: u or r?
r
Let z = 46 - 49. Let d be 12/(-2)*((-10)/z)/(-1). Let b be ((-1)/d)/((-40)/(-64)). Which is bigger: b or -0.2?
b
Suppose 4*i + 3*y - 11 = 0, 0 = 4*y - 5 - 15. Which is smaller: -6/1781 or i?
i
Let a = -0.129 + 0.429. Suppose -2*u - 11 = -v, -3*v = -8*v - 3*u + 120. Let o be (3/(-3))/(1/v). Is o less than or equal to a?
True
Let t(y) = 9*y - 207. Suppose 2*n + l = 6*n - 92, 4*l + 115 = 5*n. Let w be t(n). Which is bigger: w or -7/47?
w
Let j = -75 + 74.8. Which is greater: -1551 or j?
j
Let u = 55 + -90. Let r = -42.79 + -4.21. Let c = r - u. Is c bigger than -2?
False
Suppose 9*f - 15795 - 15696 = 0. Let i = -472367/135 + f. Is i less than 0?
True
Let q(o) = -o**3 + o**2 + 3*o - 2. Let c be q(2). Suppose c = d - 5*j, 0*j - 5*j = 2*d. Is 25 at least as big as d?
True
Let a(n) = -11*n + 67. Let g be 66/165 + 28/5. Let p be a(g). Let x 