*f + 932, -5*k - 3*f = 1546. Let t = k + 303. Which is smaller: t or a?
t
Let q = -2655 - -5041/2. Let c be 3/((-36)/16)*(117 - 15). Which is bigger: c or q?
q
Let a = -1224 - -1221. Suppose 0 = -3*x + 5*f - 36, -4*x - x + 4*f - 73 = 0. Let u be 4 + 1 + a - x. Is 19 <= u?
True
Suppose i - 5*f + 22 = -0*f, i + 3*f = 10. Let g be 1/i*0/(-2). Let p be ((-9 + 15)*(-14)/63)/((-176)/24). Is g less than or equal to p?
True
Let f = 33.5 - 33. Let m = f - 0.9. Let l = 0.47 + m. Which is smaller: 2/3 or l?
l
Let b(p) = -543*p + 222. Let q be b(10). Let f be (2/(-3))/(-2) - q/(-15696). Is f > 1?
False
Let b = -6610/3 + 2298. Does 95 = b?
False
Let k(g) = 27 - g**2 + g + 27*g - 6*g + 7*g. Let r be k(30). Is -14 greater than r?
False
Let q = 66438 + -8504119/128. Which is greater: -1 or q?
q
Let s = 255.1 + -255. Let n be (-2 - -9)/((-2)/6). Let h be 198/399 + 6/n. Is h != s?
True
Let u be (4/(-3))/(6/(-9)). Suppose -a + u*a = -9. Suppose 2*v + 2*r = -14, -v + 3*r - 23 - 4 = 0. Which is smaller: a or v?
v
Let f = 270010 + -6760240372/25037. Is 1 >= f?
True
Let k = 461 - 443. Let s = 764/5 - 136. Is k equal to s?
False
Let n = 14202.245 + -14203. Do 0 and n have different values?
True
Suppose -42 = 4*u - 358. Suppose 0 = 18*k - 440542 + 439138. Is k at most u?
True
Let p be (-1)/2*(1 + -5). Suppose -6*r + p*r = 0. Let a = -4117/9 + 1369/3. Which is greater: a or r?
r
Suppose -4*s - 1704 = -14*a, -a + 109 = -s - 17. Which is smaller: a or 108?
108
Let f(n) = -13*n - 7. Let i(d) = 11*d + 6. Let r(s) = 2*f(s) + 3*i(s). Let z be r(0). Does 5 = z?
False
Let k be (-2)/4 + (-2)/4. Let j(r) = -r**2 - r + 7. Let f be j(4). Let s be (-2)/f - (k - 15/(-13)). Are s and 1/62 equal?
False
Let t be -2 + (-33)/(-27) + 14/(-63). Are t and 4/297 unequal?
True
Let t(n) = -3*n**2 - 169*n + 1087. Let p be t(-60). Is 6/5 less than p?
True
Let g = 312 - 312.9. Let o = 1.1 - g. Is o greater than or equal to -0.65?
True
Let s = -101286/215 - -107/215. Let v = s + 472. Which is greater: v or 0?
v
Suppose 9*w = 5*w - 5*n - 4, -5*w - 4*n - 5 = 0. Let l be (-16)/(-14) - 0 - w/(-7). Is l bigger than 4/87?
True
Let q = 5.48 - 4.38. Let y = 30 - 268/9. Which is smaller: q or y?
y
Let b be (2 + 0)*549/(-6). Let v be ((-9)/15)/(-24 - 673413/(-28055)). Which is smaller: b or v?
b
Let r = -156 - -150. Let g be (-56)/14*3/r. Let b be (-1)/4 - 94/(-40). Are g and b non-equal?
True
Let l = 95 - 96. Suppose 2*o + 4*j + 2 = -4, 0 = -2*o + 2*j + 12. Which is bigger: l or o?
o
Let p be 4/1182*(-1082724)/(-8). Let b = p + -458. Is b >= -0.1?
True
Let b be (14 - (-895)/(-65))*(6/(-9) - -1). Which is smaller: b or -86?
-86
Let d be (-13659783)/(-1930) + (3 - 13/5). Let w = d - 7078. Is w less than -1?
False
Suppose 2*k = 5*k + 4*y + 383, 8*y = 32. Which is smaller: -116 or k?
k
Let s = -6 + 6. Let z = 37848 - 2460118/65. Which is greater: s or z?
z
Let k(o) = -2*o**2 - 10*o - 8. Let w be k(-7). Let c = -51 - w. Let p = 1251 + -1265. Do c and p have the same value?
False
Let h(m) = -m**3 - 66*m**2 - 381*m + 1. Let d be h(-6). Which is bigger: d or 135?
135
Suppose -2*a + 0 = -4*u + 4, 4*u - 10 = 5*a. Let f be ((-16)/12)/(2/(-3)). Suppose -n + o + 3 = -u*n, -8 = f*o. Is 1/9 not equal to n?
True
Suppose -3*h + 3*j = -67 + 160, 0 = 3*j - 3. Let c be 24/80*5/(h/8). Let t = c + 57/130. Which is smaller: 0.2 or t?
t
Suppose 3*r = -2*r + 15. Let g be ((-45)/(-18))/((-1)/(-1))*-2. Let z be (3 - 4)/(g/20). Which is smaller: r or z?
r
Let c = -7/13 - -1/26. Let t(d) be the third derivative of -d**5/60 + 17*d**4/24 - 34*d**3/3 - 3*d**2 + 6*d. Let h be t(11). Is h less than or equal to c?
True
Let v be (-12121)/(-714) - 23/(-966). Do 972/53 and v have the same value?
False
Let u = 2 - 1. Let m = 608.21 - 605. Let p = -2.93 + m. Which is bigger: p or u?
u
Let o = -22056 + 1433642/65. Is 174/5 at most o?
False
Let l = -792241/13 + 60903. Which is smaller: l or -40?
-40
Let s be -5*(-6 + 25/5). Suppose -4*z - 129 = 5*h - s*z, 0 = -z + 4. Let a be 1*-1 + 7*15/h. Which is greater: a or -6?
a
Suppose -86 = 14*v - 324. Let i = 27 - -1. Let s = v - i. Is -11 >= s?
True
Let c be 1/(-2*10/12). Let z be 30435/(-8116) + 118/40. Do c and z have different values?
True
Suppose r + 5*v = -343, r + 26*v + 338 = 22*v. Let b(a) = -3*a**2 - a - 317. Let d be b(0). Do d and r have the same value?
False
Let r = -35445 - -5210308/147. Let z = -3/49 - r. Let j = 2 + 8. Which is bigger: j or z?
j
Let n(s) = -s - s - 75 - 125 + 4*s + 7*s. Let y be n(0). Which is greater: y or -202?
y
Let z(j) = -j**3 + 21*j**2 - 43*j + 616. Let s be z(20). Is 159 equal to s?
False
Suppose -2*g = o + 20, 0 = 7*o - 5*o. Suppose 256*a = -2212 + 848 - 1964. Which is bigger: a or g?
g
Let l be ((-87)/(-203))/(1/7). Suppose 16 = -4*f, z - 10 = l*z + 4*f. Which is smaller: z or 1?
1
Let j be 3 + (-27)/(-1 - -2). Let c be -6*((-152)/j - 6). Which is greater: 26 or c?
26
Let k = 6560 - 8177. Is -1618 at least k?
False
Let q be 4/10 + (-14)/10. Suppose 28*a - 55*a = 6804. Let z be (-8)/(-14) - (-88)/a. Is q >= z?
False
Let h be (-504 - -486) + 1 + 17. Is h smaller than -52/305?
False
Let d = 200 - 192. Is d at least 28?
False
Let t = 246 + 43. Suppose -t = -4*l - 13*l. Is l >= 16?
True
Let m(c) = -29 + 3*c + 3 + 13 + 4. Let j be m(3). Let i be j + 1 - 3/9. Which is smaller: i or -1?
-1
Suppose 0 = -13*y + 9*y + 100. Let q(h) = h**3 - 26*h**2 + 24*h + 39. Let d be q(y). Are d and 14 unequal?
False
Suppose 3*p = 3*h + 198, -2*h = h + 4*p + 170. Let v = 62 + h. Suppose v = -9*d + 263 - 38. Which is greater: d or 26?
26
Let p(o) = -3*o**3 - 7*o**2 - 3*o + 10. Let x be p(4). Is 0 equal to x?
False
Let l = -164 + 107. Let k = l - -71. Let w be (-6)/(-21) + (-424)/k. Is w less than -31?
False
Let y be (20/(-24))/(115/(-92)). Let r(h) = h**3 - 7*h**2 + 6*h. Suppose 5*q - 12 - 18 = 0. Let i be r(q). Is y bigger than i?
True
Let a(b) = -3*b**2 - 9*b. Let g be a(-2). Suppose 0 = -4*v - 5*o - 15, 7*o - 5*o + g = 2*v. Is v bigger than -2/1033?
True
Let y(w) = w**2 + 2*w + 18. Let u be y(-6). Let q be 42/10 + u/(-21). Let c = -13/5 + q. Which is smaller: -5 or c?
-5
Let k = 29783/9 + -3309. Let x = -7 + 12. Suppose -1 = x*y - 6. Which is greater: k or y?
y
Let f be (-18700)/14 - (-12 + 8). Let x = -1328 - f. Which is smaller: 5 or x?
x
Let h = 1/2972 + -751/23776. Is h at least as big as 0.212?
False
Let b = 2167/3 + -227537/315. Suppose -a = -2*a - 1. Does a = b?
False
Suppose -260 = 2*r + 18*r. Let p be (((-39)/762)/r)/((-3)/(-24)). Which is smaller: -1 or p?
-1
Suppose 7*f = 6*f - 2*h - 64, -f + 5*h - 57 = 0. Are f and -66 nonequal?
True
Suppose -1 = -4*x + 3*f, x + 0*f + 4*f - 5 = 0. Let q(t) = t**3 + 4*t**2 + 17*t + 80. Let v be q(-4). Which is bigger: x or v?
v
Let d = 64888/15 - 4326. Which is smaller: 55/6 or d?
d
Suppose 18*c - 397 = 755. Let l = 6 - 16. Let g(j) = -j**2 - 15*j + 15. Let p be g(l). Which is bigger: p or c?
p
Let j = -18 + 14. Let z be -3269*(-4)/528*j*3. Let n = z + 297. Is -0.3 greater than n?
False
Let f = -2330 - -2331. Let c be (-4 + (-365)/(-92))/9. Which is smaller: c or f?
c
Let g(f) be the first derivative of 30*f + 17 + 11*f**2 - f**2 - 4*f. Let c be g(-2). Which is bigger: c or -16?
c
Let o = -0.04638 - 2.75362. Which is bigger: 4 or o?
4
Let q = -6516/77 - -600/7. Let d be ((-24)/(-99))/(-8)*25. Let k = d + q. Which is smaller: k or -2.2?
-2.2
Let q(i) = 29*i - 20. Let y be q(1). Suppose 4*k - 3*p = 2*k - y, 5*p + 42 = -3*k. Are -11 and k equal?
False
Let h = -0.6053 - -0.7053. Let g be (-16)/4*(-1)/50. Which is smaller: h or g?
g
Let i = -31232 + 31232. Which is bigger: i or -11/155?
i
Let k = -82/239 + -116543/956. Which is bigger: 0.1 or k?
0.1
Let r = 53 + -51. Suppose -r*j + 636 = 10*j. Is 51 at least as big as j?
False
Let x be (-4)/6*(-6)/10. Let n = 1.532 - 1.4649. Let r = n + -10.0671. Is r > x?
False
Let k = 0.3 - 14.3. Let p = 14.19 + k. Let q = p - -0.11. Which is bigger: 0.1 or q?
q
Let s = -385.9 + 412.9. Which is bigger: 6 or s?
s
Let t be (2 + 5)*198/77*-1. Let p(d) = 8*d + 1. Let c be p(7). Suppose 3 = 3*j + c. Is j not equal to t?
False
Let m = 3.93 + 0.07. Let r = 2322.5 - 2320. Let j = r - m. Is j greater than or equal to -1?
False
Let n(a) = -18*a**2 - 438*a - 172. Let h be n(-28). Which is greater: h or -6056/3?
-6056