t o = -15/12562 - 7015787/75372. Let h = o - -93. Which is smaller: h or l?
h
Let z(d) = 3*d**2 - 22*d - 17. Let r(o) = 7*o**2 - 44*o - 33. Let k(v) = -4*r(v) + 9*z(v). Let n be k(-21). Let x = -564 + 6209/11. Which is smaller: x or n?
n
Let x(u) = -10*u + 27 - 16 - 10. Let l be x(1). Suppose -2*y - 3*q - 2*q + 13 = 0, -4*q + 38 = -3*y. Is l equal to y?
False
Let i be (72/54)/((-12)/(-99)). Let l be (1/4*0)/(-1). Suppose c - 17 = -l. Is i < c?
True
Let c be 19188/143298 + (-93*(-1)/19 - 5). Is c less than or equal to 0?
False
Suppose 1302 = 16*b - 37*b. Let l be (-750)/b + -11 + (-2)/2. Suppose 3*x = 4*t - 4, -3*x + 0*x - 2 = -2*t. Which is bigger: l or x?
l
Let d = -0.3406 + 0.3606. Is 0.376 > d?
True
Suppose -2*p - 3*f - 3755 = 0, -p = 22*f - 23*f + 1885. Are p and -1884 unequal?
True
Let g = 54 - 53.73. Let a(m) = 4*m**2 - 8*m - 2. Let z be a(3). Let c = z - 32/3. Is g < c?
False
Suppose -5*v + 24 + 36 = 0. Let s = -830 - -680. Let p be 1*(1/10 + (-2085)/s). Do v and p have the same value?
False
Let j be 0/((-1)/(-2 + 1)). Suppose -2*q - 4*x - 1185 = 365, -4*x = -5*q - 3931. Let m be 2 + (0 + 2 - (-2997)/q). Which is bigger: j or m?
m
Suppose 28 = -2*p + 146. Let g = -60 + p. Let w be 2/g*((-62)/(-4))/1. Is w not equal to -33?
True
Suppose 12 = 3*b + 2*a, 0 = -b + a + 3*a - 10. Suppose -3*p = b*h + 49, -2*p - 3*p + 109 = -4*h. Let x be h/(-14) + 0 + -1. Is x bigger than -2?
True
Let i = 3842 - 5712. Let b be 6*1 + i/204. Is b smaller than 0.3?
True
Suppose -233*d = -236*d + 6, 5*b - 3*d - 769 = 0. Does 127 = b?
False
Let d(g) = -707*g + 4554. Let b be d(7). Is -392 greater than b?
True
Suppose 42 = -123*r + 120*r. Let o = r - -9. Let j be o - (-5)/(160/156). Which is smaller: j or -5?
-5
Suppose 2*l + 3*l = 0. Let a = -0.4146 - 0.0604. Let x = -0.615 - a. Which is greater: x or l?
l
Let a(m) = -846*m**3 + 14*m**2 - 27*m + 10. Let y be a(2). Which is greater: -6754 or y?
-6754
Let f = -5 - -5. Let o = 8476 + -8484. Is f > o?
True
Let y be -10*((-296)/(-80) - 4). Let m(f) = f + 1. Let r(g) = 7*g - 3. Let s(n) = 2*m(n) - r(n). Let u be s(y). Which is smaller: u or 1/2?
u
Let k = -304.9993 + -0.0007. Let y = 305 + k. Let z = -8.6 - -8. Which is smaller: y or z?
z
Suppose -5*k - 6983 = -63*s + 60*s, -2*k = -3*s + 7007. Is s smaller than 2335?
False
Let h be (-38)/(-5)*(-27285)/(-642). Do 3/7 and h have the same value?
False
Let a(s) = s**3 - 12*s**2 + 3*s + 19. Let i be a(11). Let z(y) = y**3 - 25*y**2 - 32*y + 88. Let j be z(26). Is j less than i?
False
Suppose 3*v = -m + 17, 2*v - 5 = m + 3. Let b = -1/879 - -8801/9669. Is b < m?
True
Suppose -z + 4*i - 42 = 0, -5*z - 65 = -i + 240. Suppose -33*v - 1490 = -6*v + 211. Which is greater: z or v?
z
Let l = 442 + 3380. Which is smaller: 0.1 or l?
0.1
Let j = -410 + 10244/25. Let i(x) = -x - 2. Let d(c) = -c - 2. Let k(h) = 6*d(h) - 7*i(h). Let m be k(-2). Which is bigger: m or j?
m
Let h(n) = 135*n - 2505. Let c be h(18). Is -523/7 >= c?
True
Let v = -41 - -45. Suppose v*h + 5*n = -120, -59 = 3*h - 5*n - 4. Which is bigger: h or -24?
-24
Let y(m) = -m**2 + 34*m + 31. Let u be y(35). Let h be 9/(-15) - u/(-10). Which is smaller: 3/8 or h?
h
Let u be 14 + 4 + -17 + (-17)/16. Which is smaller: 2 or u?
u
Let g = -23 - -23. Suppose -73 + 33 = -4*b. Let y be 140/387 - b/45. Which is smaller: g or y?
g
Let x(z) = 3*z - 29. Let a be x(10). Let w(b) = b**2 + 16*b + 9. Let s be w(-16). Suppose -3*v - 18 = -s*v. Is a smaller than v?
True
Let z = 2416.5 + -2358. Which is greater: z or -1?
z
Let x = -15.1 + 494.1. Let r = 484.8 - x. Do 1/12 and r have the same value?
False
Let s be 8/(-60)*3 + 1014/(-15). Let g = s + -318. Let i be 4/(-26)*-1 + g/(-26). Which is smaller: 12 or i?
12
Let m(l) = -489*l**2 + 23*l + 35. Let k be m(-2). Which is smaller: -1968 or k?
-1968
Let h = -185/123 + 226/123. Is h <= -2756?
False
Let z = 2186303/27268 + -1363/17. Which is greater: z or -1?
z
Suppose -14*c - 25466 = -28*c. Let u = c + -7319/4. Suppose -g - 2*f - 1 = 0, -2*g = -4*g + f - 27. Is g at least u?
False
Let a = 12643 - 12357. Which is smaller: a or 258?
258
Suppose -125 = -25*i - 0*i. Let x be (-34)/5 - (168/(-35) + i). Does x = -43/7?
False
Let o = 1.75 + -1.75. Let k be (-10)/28*(16/(-250))/(-2). Does o = k?
False
Suppose y + 50 = -y. Let c = 6 + y. Let o = -304 - -286. Which is greater: o or c?
o
Let m = -405 + 405. Which is smaller: m or 2/2707?
m
Let s = -25 + 34. Suppose 11 - 2 = s*u. Which is smaller: u or 12/17?
12/17
Let l be (2/(-8) - 88/160)/((-78)/(-1365)). Is l > -1/120?
False
Let y = -7343 - -13043. Let t = 3961499/695 - y. Which is greater: -1 or t?
t
Let j be -2 - 2/(-3) - 8014/(-21). Which is smaller: 381 or j?
j
Let t be 3/(-2) - ((-297)/(-22) + -7). Let h(a) = 3*a + 16. Let k be h(t). Let b be (2/(4/(-6)))/1. Which is smaller: k or b?
k
Let k = -48 + -55. Let g(i) = 450*i**2 - 596*i + 42. Let n be g(1). Do k and n have the same value?
False
Let w = -24.9 - 90.1. Let b = w + 115.7. Do 9 and b have the same value?
False
Let a = 352 - 349. Suppose -3*p = -0*g - 4*g + 29, 2*g = -a*p - 35. Is -11 not equal to p?
False
Let g = 111 + -40. Let y = 92 - g. Suppose 4*h = 5*q + 355, -2*q - 103 = 2*h + y. Do -67 and q have different values?
False
Let q = -105 - -219. Let k be 1/(-7) - 8943/(-22)*4/14. Is q >= k?
False
Suppose -5*k - 5 = 0, 0*k + 73 = 3*p - 4*k. Suppose 4*j - 5*g + 12 = 0, 0 = 4*j + 2*g + 7 - p. Let f be (265 - 272)/((-45)/6 - -4). Is j >= f?
True
Let q be 15/10 - (5/1 + (-6713)/1904). Is 1 greater than q?
True
Let p(q) = 3*q**3 - q**2 + q. Let s be p(1). Suppose 0 = s*v, w - 4 = -3*w + 3*v. Let x be (-89)/(-165) - (-5)/(75/(-9)). Is x bigger than w?
False
Let w = 581.6811 + -1.6811. Is w >= -6/11?
True
Let w be (-12215)/112 + 6/96. Is -70 < w?
False
Suppose 68*c - 22 - 46 = 0. Let k(h) = -h**3 + 6*h**2 - 5*h + 2. Let m be k(5). Let y be 1/m*25/(-80). Are y and c unequal?
True
Let q = 32219 - 55652. Which is bigger: -23432 or q?
-23432
Suppose 18*l - 29 = l - 12*l. Which is bigger: l or 2/1651?
l
Let v = 269/5 + -54. Let n = 0.594 + -1.141. Let a = 0.527 + n. Which is bigger: a or v?
a
Let t be 3 - 9/(-2)*14/21. Suppose 10*f = 16 - t. Is f >= -2/263?
True
Let q be 40/4 - (-2)/((-8)/6276). Is q less than or equal to -1554?
True
Let i = 26459/276842 - 14/149. Which is smaller: i or 1?
i
Let b = -20.912 + 13.002. Is 0.07 smaller than b?
False
Let u be (-78 - -73)*(97/1 - 3). Is -475 at most as big as u?
True
Let u be (0*((-20)/(-12) + -2))/(-6 + 4). Is 4/3503 greater than u?
True
Let i be 2 - 112/18 - -2. Let q = -1361/450 + 279/50. Let j = i + q. Which is greater: -49 or j?
j
Let b = -448594/4393 + 2343/23. Which is smaller: b or -1?
-1
Suppose 0 = 11*i - 7*i - 2*s - 264, -3*i = -3*s - 195. Do i and 59 have the same value?
False
Let i(l) = -l**2 - 31*l + 241. Let f be i(-42). Which is greater: f or -224?
f
Let b be 2/(-92)*(-116 - 448). Which is bigger: b or 13?
13
Let f = 146725 - 7189771/49. Which is bigger: -6 or f?
f
Let c be 1 - -3 - (-12 - (-1 - 0)). Let k be 0 - (18 + c/3). Are k and -21 unequal?
True
Let y = -3050 - -3050. Which is bigger: y or 1.301?
1.301
Let r = -0.01819 + -86.99181. Let j = 13.1 - -73.9. Let v = j + r. Is 2/3 equal to v?
False
Suppose 0 = 5*h - 2*u + 8, -4*h + h + 3*u = 12. Suppose 4*o + o = h. Let y = -3362/7 + 480. Is o at least as big as y?
True
Let q = -350.2 + 346.4. Which is bigger: -1/92 or q?
-1/92
Let p = -3746 + 6661. Which is greater: p or 2913?
p
Let o = 105 - 947/9. Let y = -78.02 + 107.3. Let w = y + -29.2. Are w and o nonequal?
True
Let j = -17 - -19. Suppose 0 = a - 5*g - 31, -j*a = 4*g - 9*g - 67. Let b = a + -35. Is 3/11 > b?
False
Let a = 44705 + -44229.01. Let m = 476 - a. Is m greater than or equal to 0.017?
False
Let j be (-45)/(-20)*(-4840)/15. Let b = j + 13797/19. Is -3 greater than b?
False
Suppose 45*j = 49*j - 1350604. Let h = j - 7763881/23. Let o = h - 91. Is 1 less than o?
False
Let r = 43 - 50. Let g be 2/r - ((-428)/28 - 5). Which is greater: g or 19?
g
Let r be (-1105)/(-10) - (-8 - (-104)/16). Suppose 5*h - 555 = 3*y, -h + 203 = h - 5*y. Is r smaller than h?
True
Let s = 17591/65 - 1353/5. Which is greater: s or -5?
s
Suppose 0 = 55*c - 56*c + 3. Let v be (((-2608)/111)/8 + c)*-6. Is v greater than 0?
False
Let l be (-56)/84 + (