Let j be 7 - (4 + 60/(-8))*-2*15. Which is smaller: j or -112?
-112
Let j = -345 - 8. Let a = j - -335. Which is smaller: a or -118/7?
a
Let r be 0 - -1 - (-847)/(-28). Let a = -1/1695 - -110177/3390. Let z = a + r. Is z equal to 2?
False
Let h(f) = f**3 - 3*f**2 + f - 5. Let i(o) = -6*o - 1. Let c be i(-1). Let k be h(c). Let n = k - 67. Is n > -18?
True
Let k be (-19 + 1)*74/(-148). Let m be (-2360)/(-60)*(k/(-6) + 0). Which is bigger: 0.01 or m?
0.01
Let w be (28/(-528))/((-3)/24). Let c = w + -301/165. Is -2 at least c?
False
Let q = -22 - -41. Let o = 7800.03 - 7800. Which is smaller: o or q?
o
Suppose 5*b - 3334 + 134 = 0. Suppose -4*s + 224 = -b. Is 214 < s?
True
Let a = 4924 - 4922. Which is smaller: a or 86/57?
86/57
Let c = -43.36 - -15.36. Which is greater: c or 1.07?
1.07
Let q = 18485 - 18472. Which is smaller: q or -239?
-239
Let c(u) = -6798*u - 275. Let s be c(-1). Is s bigger than 6524?
False
Suppose -3*j = -4*y + 73, 5*y + 0*j + j = 77. Let q(b) = -8*b + 9. Let t(c) = 15*c - 18. Let p(m) = -11*q(m) - 6*t(m). Let f be p(-4). Is f > y?
True
Let h be 27/(-2) + (-20)/40. Let w be 7/(h/(-260)) + 3. Let a be 38/w - (-220)/14. Is a at least as big as 15?
True
Let k be (-18069)/30 + 18/60. Let v be (-4 - 210/(-49)) + 176/k. Which is smaller: v or 1?
v
Let f = -14942 - -432298/29. Is -34 <= f?
False
Suppose -2*x + 5*v + 7208 = -3*x, -5*x - 5*v - 36040 = 0. Which is greater: -7209 or x?
x
Let h be (-978)/16*((-4708)/(-132) - 35). Suppose 0 = -5*t - 25, f + 50 = -0*f - 2*t. Which is smaller: f or h?
h
Let i = 2.08 + -1.987. Let l = i + 6.907. Is l < 1?
False
Let l be (-1)/(2*(-7)/42). Suppose 3*u - 159 = 3*k, 0 = -l*u + 2*u. Which is greater: k or -160/3?
k
Suppose -75*g + 82*g = 0. Suppose 5*p - 292 - 203 = 0. Let w be 3/12 + p/(-492). Does w = g?
False
Let z be ((-35)/(-15) - 2)/((-4)/3852). Let j = 421 + z. Is 100 less than j?
False
Let r(l) = -37*l**3 + 2*l**2 + 7*l + 10. Let j be r(-2). Suppose 0 = -86*v + 71*v - j. Is -12 greater than v?
True
Suppose -9732 = -4*a + 2*b, -2*b = 4*a - 10595 + 879. Is 4863/2 not equal to a?
True
Let y = 2.1 - 0.3. Let h = 1.6 - y. Let a = 783 - 792. Is a less than h?
True
Suppose 5*g - 75 + 30 = 0. Let a be 2 - (-33)/(-121) - -7. Do a and g have the same value?
False
Let p = -0.099 + 85.099. Let c = 5.607 - 5.907. Is p greater than c?
True
Let z = 2723 + -10891/4. Let u be 1 - -18*(-2)/4. Which is greater: u or z?
z
Let b be ((-146)/(-219))/(6/400). Is 45 >= b?
True
Let r = 105.36352 + -0.03352. Let j = r - 105. Let i = -5.33 + j. Do 3 and i have the same value?
False
Let i = 0.86 + 96.14. Let c = -183 + i. Let g = c - -60. Is 0 > g?
True
Suppose 35*w - 101 + 1288 = -563. Are -8 and w non-equal?
True
Let k be (-27 - 0) + (-21)/((-273)/(-52)). Suppose 203 = 5*b + 3*v - 0*v, -4*b = 4*v - 164. Let s = k + b. Do 2/13 and s have different values?
True
Suppose -94279 = 56*d - 55*d. Let f = -469398/5 - d. Let g = -380 + f. Is g greater than 19?
True
Let o = 866 + -865.8. Let h = 2.8 + o. Is h > -0.124?
True
Let j = -5 + 3. Suppose -9*d = -3*n - 6*d - 1755, -4*n = -5*d + 2344. Let o = n - -572. Is o not equal to j?
True
Let k = -57 - -41. Let h(c) = -4*c**3 + 5*c**2 - 2*c + 2. Suppose -27 = -3*v - 21. Let f be h(v). Do f and k have different values?
True
Suppose -34*p - 108 = 22*p - 20*p. Which is smaller: 4.35 or p?
p
Let b be 36/31*8967/(-854). Which is greater: b or -1?
-1
Let k = -1057 - -1878. Let g = 744 - k. Which is smaller: -80 or g?
-80
Let i(w) = 84*w**2 - 9*w - 13. Let m be i(10). Suppose -m = 8*a + 2711. Let s be a/72 - 1/(-9). Is s at least as big as 1?
False
Suppose 4*z + 1118 = 6*z. Suppose 5*s - 41 = z. Suppose q = 11*q - s. Which is greater: q or 11?
q
Let f be (1 + 2 + -4)*(-4)/830. Let j = 2893/2490 + f. Let w = 3 - 1. Is w > j?
True
Let w(o) = -o**2. Let j be w(1). Let i = -121 + 117. Let h be (-2 + 12/10)*(-10)/i. Which is bigger: h or j?
j
Suppose -4*z + 5*i = -2285, -4*z - 3*i = -i - 2306. Suppose -8*g + 13*g - z = 0. Which is bigger: g or 114?
g
Let t = 13010 - 14950. Are -1939 and t nonequal?
True
Suppose -5*o + 2*g + 103935 = 0, 461*g + 20809 = o + 465*g. Which is smaller: 20790 or o?
o
Let j be 340 - 331 - 2282/((-4)/(-2)). Which is smaller: j or -1134?
-1134
Let z be (29193/558)/(2 - 1). Let x = -17/93 - z. Let m = 50 + x. Is m > -4?
True
Let h be 83/(-1909)*(-20)/(-14) - (-4)/(-7). Which is smaller: 0 or h?
h
Let d(u) = -2*u**3 + 167*u**2 - 58*u - 2180. Let q be d(83). Is -113 > q?
False
Let a be ((-193)/(-9))/((-21996)/(-2106)). Is a >= 2?
True
Suppose 0 = h - 26 + 32. Let m be ((-2)/7)/(h/168). Let x be 2/m*180/75. Is -1.3 at least x?
False
Let w = 130 - 250. Let a = w - -217. Which is smaller: a or 0?
0
Let i be 30500/(-8) - (5 + 56/(-16)). Is -11443/3 at most as big as i?
True
Let a(x) be the first derivative of 3*x**2/2 - 30*x + 56. Let s be a(11). Suppose -5*z + 24 = -z. Are s and z equal?
False
Suppose -2*u = -7*u + 15, -3*v - 4*u + 66 = 0. Let t be v/26*5/15. Which is bigger: t or 8?
8
Suppose 0 = -59*i + 93*i - 1972. Is 49 > i?
False
Let c = 2694 - 1877. Let g = c + -573. Which is smaller: -1/2 or g?
-1/2
Let w = 0.0591 + 0.0409. Are w and -3348 unequal?
True
Let u = -540 + 557. Suppose 55 = 5*t + 4*i + 6, t = i + u. Which is smaller: t or 24?
t
Let h = 716 - 715.946. Which is bigger: h or 1?
1
Let r(k) = -2*k + 8. Let x be r(4). Let s = 564.7 - 560.1. Are x and s equal?
False
Let l(q) = 29*q + 314. Let w be (-66)/(-3)*(-7 - 104/(-16)). Let j be l(w). Are j and -43/8 equal?
False
Suppose -2*k = -3*y - k - 17, 3*k - 31 = 4*y. Let m be ((2/y*0)/1)/2. Let c be 7/(-1)*10/(-130). Which is greater: m or c?
c
Suppose 50 = 2*q + 5*r, -4*r = -3*q + 5 + 93. Suppose -5*z = -q + 45. Are -25/16 and z equal?
False
Let k = -40 - -288. Suppose -16*i + 12*i = 4*m - 200, -k = -5*m - 4*i. Which is bigger: m or 0?
m
Let v(p) be the first derivative of 17*p**2/2 - 144*p - 177. Let r be v(13). Do 80 and r have different values?
True
Suppose 5947 - 2507 = -40*s. Which is smaller: -77 or s?
s
Let c = 3 - 3. Suppose 5*j - j = -3*m + 16, c = -5*j - m + 20. Let o be (-2440)/10575 - j/(-18). Which is smaller: 0 or o?
o
Let x(d) = -d**3 + 11*d**2 + 6*d - 34. Let m be x(10). Let h be 8/36 - (0 - (-172)/m). Let q(l) = 6*l + 22. Let b be q(-4). Which is bigger: h or b?
h
Let s = -6.9327 - -6.387. Which is smaller: -1 or s?
-1
Let d be (98/36)/(-7)*((-11134)/855 - -13). Which is bigger: -1/7 or d?
d
Suppose 2 = 2*p + 2*n, 3*p = -n + 5 - 0. Suppose -g + 26 = p*g - 4*h, 0 = 3*g + 3*h - 12. Let m = -11 + g. Is m >= 1?
False
Let i(r) = -7*r + 26. Let w(x) = 8*x - 25. Let y(f) = -6*i(f) - 5*w(f). Let z be y(18). Suppose 2*h - 2*t - 6 = 0, -z = -4*t - t. Is h at most 0?
False
Let a = -4882 - -4886. Is 660/127 < a?
False
Suppose -5*z + z = 0. Let w be 3/73*((-98)/7 + 16). Which is smaller: w or z?
z
Let i be (169 - 174) + 1 + (0 + 2)/1. Let f = 0 - 10. Let z = f - -5. Is i greater than z?
True
Let p = 0.33 + 1.37. Let c = p + -1.6. Let d = 1/478 + -1921/4302. Which is smaller: c or d?
d
Let c be (22 - 23)*(-2 + 2). Let g be (-24)/(-16) - (c - 3/(-6)). Which is greater: 2 or g?
2
Let b be (867/(-204))/(6/(-8)). Let v be ((-28)/8)/(2/(-4)). Let p(l) = -l**2 + 8*l - 1. Let w be p(v). Is w > b?
True
Let y be (10 - 3) + -7 - 0. Suppose -6*k = -k - 2*j + 227, y = 2*k - 5*j + 74. Does k = -47?
True
Let b = 1697 - 6885/4. Let o = 902 - 927. Which is smaller: o or b?
o
Suppose 47*p + 82 = -24*p - 11*p. Is 1/16111 at most p?
False
Let v be (352 + -351)/(0 + (-2)/1030). Which is bigger: -513 or v?
-513
Let n be -1 - 1/1 - (-11 - -1). Suppose h + 3 = 0, 0*s + n = s - 2*h. Suppose s*a - 4*p = -7*p - 6, 0 = -a + 3*p + 6. Which is bigger: 2/27 or a?
2/27
Suppose 2*w + 4*p - 94 = 0, -36*p + 12 = -40*p. Which is greater: 48 or w?
w
Let r = 0.6 - -19.4. Let w = 0.81 - -114.89. Let m = -116.7 + w. Which is smaller: m or r?
m
Let o = 9 + -4. Let d = 12309/5 + -208893/85. Is o >= d?
True
Let w = 302.7 - 291.71. Which is bigger: 8 or w?
w
Suppose 0 = -5*u + 3*v + 116, -9*v + 37 = u - 5*v. Suppose 31 = 5*d - 4*q, -3*d + q + u = -3*q. Are d and 40/11 nonequal?
True
Let q = 1.31 - 1.98. Let v = -0.533 + 0.063. Let j = q - v. Which is smaller: j or -20?
-20
Suppose -434 = -8*u - 1666. Let c be 3/(-4)*-2 + 229/u. Is 1 greater than