(-42)*(-9)/(-24). Let h be (-374)/10 - (517/(-55) - -9). Let c = -37 - h. Is i != c?
True
Let y be 714/(-68)*24/(-14). Suppose 0 = -3*r + 2*p + y, -4*p + 0*p - 28 = -5*r. Which is smaller: r or -2?
-2
Let b = -12 - -4. Let a be 44/(-66) + (-10)/(-6). Let v be ((-84)/24)/(a/2). Which is bigger: b or v?
v
Suppose 5*i + 110 + 101 = l, 0 = 2*l + i - 477. Let f be (-9450)/(-40) - (-2)/(-8). Is l > f?
False
Let b be (-6)/(-15) - 6/140. Let v be (-46 + 39)*6/(-49). Let t = b - v. Which is greater: -2 or t?
t
Let v = 86 + -67. Suppose g + v = -2*f, -4*g + 1 = -3*g. Is f less than or equal to -6?
True
Suppose -252 = -13*l - 473. Are -22 and l equal?
False
Let y = 61 - 61. Suppose -8*q + 4*q = y. Suppose 5*a - 4*k + 20 = q, 4*a = k + 1 - 6. Which is smaller: a or -4/45?
-4/45
Let w = -10561/4 - -2617. Suppose 1870 = -139*s + 54*s. Is s greater than w?
True
Let a(r) = 2*r**2 + 35*r + 43. Let l be a(-18). Suppose -l*c + 65*c + 8 = 0. Is c less than -7/4?
True
Let r be (7/(-455))/(((-12)/(-60))/(-1)). Which is bigger: -9.5 or r?
r
Let d(z) = -10*z - 66. Let g be d(-7). Suppose -5*b = g*w - 25 - 27, 0 = -4*b - 4*w + 40. Let k be (-3 - -6)/(6/26). Is k at least b?
True
Let a(h) = -8*h + 13. Let i be a(2). Let u(d) = -d + 8. Let f be u(i). Suppose -5*c - 28 = -4*t, -2*c - 7 = -t - 7*c. Is f less than t?
False
Let f = -144 + 155. Let u be (-4)/12 - (-1)/3*16. Which is smaller: f or u?
u
Let z be ((-45)/66 + (-10)/(-55))*26/4. Which is bigger: z or -1/6?
-1/6
Let l = -7105 + 7158. Are l and 5/4 nonequal?
True
Let d = -245056 + 975469/4. Are -1188 and d non-equal?
True
Let j(c) = c**3 + 2*c**2 - 3*c + 3. Let y be j(-3). Suppose 13*l = -4*l + 34. Let r be y/(-20) + -2 + l. Which is greater: r or 1?
1
Suppose -4*w - 12 = -2*n - w, -w - 4 = -3*n. Which is bigger: n or 1377?
1377
Let t be (-18)/(-27)*(-144)/(-352). Which is smaller: t or -8?
-8
Let c be 26*3/8*(-56)/42. Let r be (c/91)/(-4 - -5). Which is smaller: 1 or r?
r
Let k = -23.5843 - 0.4157. Do 53 and k have different values?
True
Let q = -38890/11 + 3539. Which is bigger: -0.15 or q?
q
Let c = -1949/2 - -1101. Let p be -4 - ((-2)/(-21) - (-5506)/(-42)). Which is bigger: p or c?
p
Let c = 412 - 410. Suppose 4*l - z = -c, -24*z + 29*z = l - 9. Is l != -1/43?
True
Let v = -277/10 - -239/10. Which is greater: v or -1/5?
-1/5
Let w = -0.0248 - 0.1852. Which is smaller: w or -102?
-102
Let b be 8*(-1 - 27/(-18)). Let i be b/(-24) + (7 - (-4456)/(-624)). Suppose 4*m - 2 = 2. Is i bigger than m?
False
Let p = -129/535 + -17/107. Which is bigger: p or 476?
476
Let s = 5721 - 5722. Is s less than or equal to -12/4457?
True
Let w = -114 + 113. Let x(a) = 7*a**2 + 5*a + 1. Let f be x(w). Is 24/13 greater than f?
False
Let p = 4444 - 4433.886. Let s = -0.114 + p. Do s and -0.02 have the same value?
False
Let x = -1.066 - -0.526. Let n = -0.485 - x. Which is greater: n or 2?
2
Let k be -3*(-22)/429 + (-16870)/(-26). Is k < 648?
False
Let w = -96 - -111. Suppose -4*z + 4*f = -20, -3*z + f - 3*f + w = 0. Suppose 0 = -t - z*t - 48. Which is bigger: t or -7?
-7
Let m(n) = 3*n**2 - 3*n - 3. Let q be m(-1). Suppose q*d = 3*l - 21, 3*d + 38 = 4*l + d. Is 11 < l?
True
Let t = -9033542 + 424559795/47. Let h = t + 355. Let w be (8 + -8)/(1*-1). Is w greater than h?
False
Let i(l) = -870*l - 869. Let j be i(-1). Let d = -5 - -10. Suppose 0 = -5*r - k + 3*k + 64, -38 = -4*r - d*k. Is r > j?
True
Suppose 3*z - 546 = u - 537, 4*u = -4*z - 20. Is z less than -319?
False
Let b(t) = t**3 - 4*t**2 - 13*t - 2. Let g(p) = -2*p + 54. Let v be g(24). Let n be b(v). Which is greater: n or -6?
-6
Suppose -l - 2171 = n, -14*l + 11*l - 2*n = 6511. Does l = -2170?
False
Suppose 23*g - 3*z + 83 = 27*g, -3*g + 5*z = -142. Suppose 49 + 47 = 3*d. Are d and g equal?
False
Let f(r) = -9*r + 47. Let l(h) = -h**2 - h - 5. Let w be l(3). Let v be 2*3/(-9) - w/3. Let q be f(v). Is 2 greater than or equal to q?
True
Let t be 86/129 - (-8)/(-6). Which is greater: t or 53.5?
53.5
Let f be (81/(-10044))/(((-6)/172)/(-3))*4. Are f and -4 equal?
False
Suppose 187068 = x + 6*x. Let l be 10/12 + (-22321)/x. Is 0 less than or equal to l?
False
Let c be -4*(249/(-1328))/((-3)/(-4)). Is c at most as big as -3/7600?
False
Let u = -80 - -75. Let q be u + 29*(-6)/(-34). Is q at most as big as -13?
False
Let f be ((-4)/370)/((-41)/3485). Is f equal to 1?
False
Let g be ((54/(-24))/(60/(-32)))/((-3)/195). Which is bigger: g or 0.2?
0.2
Let b = -73 - -72.62. Let z be ((-3)/(-4))/((-3)/132). Let i be ((-2)/12)/(22/z). Which is smaller: i or b?
b
Let y(t) = 31*t**3 - 3*t**2 - 2*t - 3. Let h be y(4). Let g be (h/(-1275))/((-1)/(-5)). Let q = -15/17 - g. Which is greater: q or 0.1?
q
Let x = -3726 - -3837. Suppose -4*g - 103 = -q, -2*q - g = -5*g - 214. Is x equal to q?
True
Let k = 6 - 6. Let r be (-35)/(-14) + (-1)/2. Let n be 145/14*r/5 - 3. Which is bigger: n or k?
n
Let j = 503 - 503. Which is smaller: j or -1/1708?
-1/1708
Suppose -98*j + 16725 = -18*j + 6725. Are 1132/9 and j non-equal?
True
Let p = -3 - -1. Suppose o + 2*g = -56 + 41, 0 = -5*o - g - 75. Let y be (o - (-20)/5)*p/(-14). Which is smaller: -2 or y?
-2
Suppose -2*t = 10, -t + 2*t - 20 = -5*p. Let i(h) = -111 + 2*h**2 - p*h**2 + 3*h + 114. Let x be i(-1). Is x not equal to 0?
True
Suppose 20 = -x + g - 12, -2*x - 5*g - 64 = 0. Let q(v) = -v**2 - 33*v - 33. Let a be q(x). Let t = -19.995 - 0.005. Which is bigger: t or a?
a
Let p = -3809 - -3833. Which is bigger: p or 308/13?
p
Let f = -201180 + 603407/3. Suppose -m - 129 = 2*m + 3*b, -3*m - 129 = 2*b. Are m and f unequal?
True
Let i = 7971 - 7995. Is -15 >= i?
True
Let q be 53745/(-149814) - 10/(-35). Let d = q - -1/246. Is d != 1?
True
Let o = 136184981/84461 - 223374/949. Let a = -1377 + o. Let d(i) = i**2 - 3*i - 4. Let m be d(4). Which is smaller: a or m?
m
Let p = -326 - -107. Let u = p + 217. Which is smaller: -168 or u?
-168
Let y = 0.052 + -39.052. Let x = 7 - 21. Let p = x + y. Do p and -1 have the same value?
False
Suppose 360 = -a - 2*a - 3*c, 2*c = 4*a + 468. Let h = -117966 + 117964. Which is smaller: h or a?
a
Let k = -184 - -96. Which is greater: k or -91?
k
Let m = 6801/12529 - -3/1139. Is 43 greater than m?
True
Let r = 7265 + -21538/3. Let k(j) = -5*j + 47. Let x be k(-8). Do x and r have the same value?
False
Let h be ((-4)/(-3))/(5 - (5 + (-6995)/5)). Is 0 != h?
True
Let r = 18495 + -18608.02. Does r = 2?
False
Let i be 298/(-380) - 2/2. Let j = -21/10 - i. Let k = 2506 - 2505. Is k < j?
False
Let z = 9469 - 9787. Which is smaller: z or -321?
-321
Let n be 1430/(-20) + 5/(-2). Let m = -110 - n. Is m at most 0.1?
True
Suppose 10*g - 168 = 72. Let u be 3*((-1168)/g + 1 + 3). Is -134 less than u?
False
Let b be (3/6)/(23/(-4)). Suppose 1626*q - 1630*q = -16. Is q <= b?
False
Let w(m) = m**3 + 18*m**2 + 13*m + 8. Let d be w(-16). Let n = d - 187. Suppose -5*r - n = -5*f, 0*r - 5*f = -3*r - 79. Is -24 smaller than r?
True
Suppose 16*r - 415 = 21*r. Let c = r + 82. Let u be c/1*(-5 + 42). Is u greater than or equal to -36?
False
Let v = 164.531 - -0.469. Let g(y) = -y + 1. Let h be g(0). Is h != v?
True
Let v be (397/257653)/(1/(-3)). Which is greater: v or -1?
v
Let i = 4.43 + 29.67. Let y = i - 34.22. Which is smaller: 1 or y?
y
Let p be (-57 - 3) + (-3 - 1). Let f be ((-140)/(-45))/(-14) - 2224/36. Which is smaller: p or f?
p
Let a(o) be the second derivative of o**5/20 + 23*o**4/6 + o**3/6 + 22*o**2 - 34*o. Let n be a(-46). Which is smaller: -25/12 or n?
-25/12
Let b be 28/(-98) - 2/(-7). Let y = -8029/4 + 361309/180. Is y at most as big as b?
False
Let r be (-5)/(-15)*(10 - (-1070)/(-110)). Which is smaller: r or 0.15?
r
Let a(m) = 4*m**2 - 5*m - 561*m**3 + 4 + 562*m**3 - 1. Let h be a(-5). Let w be 1 + 14/13 - h. Is w less than or equal to 0?
True
Let v = -4.732 + 4.74. Let f = -1.992 - v. Which is bigger: f or 3/14?
3/14
Suppose 24 = -2*i - 4*y, -3*i = -0*y + y + 16. Let b = i - 19. Suppose -5*l = -3*z + 116, -2*z - 62 = 3*l - 0*l. Is l greater than b?
True
Let l = 6594 - 6601. Which is smaller: -408 or l?
-408
Suppose -2*x - 118 = 3*j - 8*j, 0 = 2*x + j + 94. Let u = x - -54. Suppose 4*c = 9*c + u. Is c less than -3/7?
True
Suppose 56*n - 99 = -49*n + 6. Which is bigger: -5/699 or n?
n
Let a = -506/17 + 38669/1326. Which is bigger: 