alse
Let k = -23/2 - -12. Let x = 623 + -956. Let f = -306 - x. Is f not equal to k?
True
Let l be 6 + 77/(-11) - 41/(-47). Let w = 0 - 1. Which is bigger: l or w?
l
Let z = -301.1841 + 0.0841. Which is smaller: -1/5 or z?
z
Let a = 153 + -150. Let m = 24 - 22. Let k = m + a. Is k smaller than 2/9?
False
Suppose 0 = 5*r - 5*b - 14430, -490 - 5285 = -2*r + 3*b. Is r bigger than 2883?
False
Let k = -346 - -348. Suppose i - 9 = -k*v, -2*i - v + 8 - 2 = 0. Let l(r) = -r**3 + 7*r**2 - 4*r - 6. Let o be l(6). Is i bigger than o?
False
Suppose 3*o - 2*f = -398, 3*f - 90 = o + 31. Let m = 206 + o. Which is bigger: m or 69?
m
Suppose -2*u + 4*q - 1162 = 0, -78*u = -80*u - 4*q - 1106. Is u != -3?
True
Let r = 22/31 - -439/124. Suppose u - 3 - 1 = 0. Which is bigger: r or u?
r
Suppose 10*p + 2138 = -15082. Which is smaller: p or -1720?
p
Let h = -15199/27 - -563. Let k = 189 - 180. Let j be (3/k*-3)/(-1). Is h at least as big as j?
False
Let z(w) = -457*w + 913. Let g be z(2). Let u = -25566/19 + 1346. Is u at least as big as g?
True
Suppose 14*n = 19*n - 10. Suppose 396 = -k - n*k. Let i = -132 - k. Is 2/43 at least i?
True
Let a = -2 - -6. Suppose 3*j + 5*s + 28 = j, -4*s - 32 = a*j. Let v = j + -28. Is -34 at most v?
True
Let k be ((-100)/12 + 1)*138/(-4). Is k smaller than 255?
True
Let u be (-1 + -1)/(4 - (-180)/(-42)). Let p(r) = r**2 - 11*r + 35. Let s be p(u). Which is smaller: 25 or s?
s
Let l(y) = 13929*y - 41. Let h be l(1). Which is bigger: 13887 or h?
h
Let n be (3 - (0 + 0)) + -1. Let x(q) = 16*q + 117. Let v be x(-7). Suppose 0 = c + 3*d - 10, -v*c - 5*d + d = -28. Is c at most n?
False
Suppose 0 = 24*y + 3*s - 450 + 18, 3*y = -3*s + 96. Suppose -2*a = 3 - 1. Are a and y equal?
False
Suppose 3*u + 36*f = 38*f - 38143, -25428 = 2*u - f. Is -12714 greater than u?
False
Suppose -3*q + 10731 + 4314 = -18*q. Is q at least as big as -1000?
False
Let c be (-4 - 64/10)/((-6)/(-25)). Let x = -39 - c. Is x at most 5?
True
Let f = -0.11 - -0.12. Let n be ((-8)/(-28))/(1/(-21)). Which is smaller: n or f?
n
Suppose 0 = f + 2*y + 5326, 14*f + 21320 = 10*f - 4*y. Let i = f + 1168148/219. Is i < 1?
True
Let g be (-10)/(-4)*8/5. Let v = 972841/10 + -97281. Which is smaller: g or v?
v
Let t be 213/(-6) + (-1)/(-2). Suppose -2*s - 2*d = -378, 941 = 5*s - 0*s + 4*d. Let p = 151 - s. Which is smaller: t or p?
t
Let p = 857/710 - 1/142. Suppose 3*y - 44 = -c + 39, 5*c = -20. Suppose 39*v = y*v. Which is greater: v or p?
p
Let s = 1.182 - 1.282. Which is greater: s or -7449?
s
Let s = -1.1077 - -0.8377. Let r be (16/15)/(2/(-3)). Is s greater than r?
True
Suppose 82*a = -3*y + 84*a - 148, -3*a - 42 = y. Let j(u) = -u**2 - 48*u - 120. Let q be j(y). Which is smaller: -116 or q?
q
Let f be -7 + (-65 + 0)*((-14)/5 - 0). Is f less than 1567/9?
False
Suppose -4*i + 6*i = -28. Suppose 3*u + 3*v + 42 = -0*v, -5*v = -10. Is u smaller than i?
True
Let b(i) = -i**3 - 6*i**2 + 2*i - 5. Let k be b(-7). Let y be (k/(-9))/(-5) - (-12)/(-9). Let g = -13.8 - -13. Are y and g non-equal?
True
Let d be (-52)/(2/(-6) + 539/735). Is d <= -114?
True
Suppose -5*w - 42 = -3*w. Let s be 14/w*705/(-4). Which is greater: s or 119?
119
Let o(z) be the second derivative of -4*z**3/3 + 151*z**2/2 + 52*z. Let a be o(19). Which is greater: a or 1/309?
1/309
Let n be 3349/51 + (-2)/6*-4. Suppose 0 = -17*f + 18*f - 94. Let c = f - 28. Which is smaller: n or c?
c
Let w = 713.1 + -706.6. Is -1.5 < w?
True
Let n = -414 + 967. Suppose 556 - n = 3*j. Which is greater: j or 1/112?
j
Let x = 46136/153 - 2716/9. Let c = 197 + -196.01. Let r = c + 0.01. Is x greater than r?
False
Suppose 3*q - 61 = r, 5*r - 5*q + 67 + 248 = 0. Let v be (15/90)/(r/6). Is 1 > v?
True
Let j(k) = -k**3 + 9*k**2 - 5*k. Let y be j(9). Let o be 4/(-10) + (-1278)/y. Let s be ((7/(-21))/1)/((-5)/435). Is s < o?
False
Suppose 0 = 2*t - 5*t. Let p = -2/1601 + -6154/200125. Which is smaller: t or p?
p
Let m = -158.42 - -158. Let h = m + 0.42. Is -18 > h?
False
Let f = -9243 - -11653. Is f not equal to 12047/5?
True
Let f = -11 - -3. Suppose t + 1 = 5*o, 58*t + 71 = o + 46*t. Let l be f*(-1 - o/2). Which is smaller: -2 or l?
-2
Let p = -81 + 49. Let d = -55 - -119. Let r be (d/6)/(-2*(-1)/(-6)). Is p less than r?
False
Let s = -17.4 + 34. Let j = 18.6 - s. Which is bigger: j or 0.003?
j
Let c be ((-2)/10 - (-66)/55) + 871/(-10). Which is bigger: -87 or c?
c
Let v = -87 - -56. Let a(i) = 3*i**3 - 5*i**2 + 25*i + 65. Let f be a(-2). Which is bigger: v or f?
f
Let s = -5895 - 6301. Which is smaller: -12195 or s?
s
Let n = -20815 + 20821.13. Are -2/5 and n equal?
False
Let d = -74.27 - 2.73. Let q = -76.9 - d. Let m = -119 - -1546/13. Which is smaller: q or m?
m
Suppose -2*v = 5*n + 27, -5*v + 11*n - 6*n = -20. Which is smaller: v or 1/525?
v
Let y be (5 - -1)*2/1628. Let r = 60892795 + -223050310093/3663. Let z = r - y. Which is smaller: -1 or z?
-1
Suppose 0 = 5*h - 3*g - 19, -5*h + 2*g - 5*g + 1 = 0. Let r be 336/(-77)*((-5)/h)/5. Which is bigger: r or -3?
r
Let c(u) = -24*u + 146. Let v be c(6). Suppose -4*f = -z + 147, -4*f - v*z - 150 = 12. Is -39 >= f?
False
Suppose -5*l + 4*x + 6 + 1 = 0, -5*l + 23 = 4*x. Suppose -l*w - 22 = a, 38 = -3*a - 2*w - 0*w. Let z be (-22)/13 - (6 + a). Is 2 > z?
False
Suppose -586*b + 588*b - 2*q = 23588, -2*q + 23556 = 2*b. Is 11786 <= b?
True
Let h = 802405289/9939 - 80733. Let i = h + 19496/1898349. Is i greater than -1?
True
Let q(r) = r**3 - 15*r**2 + 8*r - 118. Let y be q(15). Suppose 2*z - j - 419 = 0, -6*z + 2*z = -3*j - 837. Suppose y*h - z = -58. Which is bigger: 77 or h?
77
Let u be 6000/(-240) - (-49)/2. Let m = -8.33 + 9.4. Are u and m unequal?
True
Suppose 0 = 29*z - 23*z. Let c = 57/14 - 9/2. Which is bigger: z or c?
z
Let w = 88 - 301. Let p = 214 + w. Which is smaller: 8/21 or p?
8/21
Let y = 288.7 + -334.925. Let p = y - -0.225. Is p at least as big as -0.03?
False
Let u be (-2)/92*(-6)/(-20). Let y be (-4)/6*2676/(-230)*-1. Let t = u - y. Which is bigger: 9 or t?
9
Suppose 16*a - 2 + 2 = 0. Let l = 31048/5 + -249949/40. Let t = 39 + l. Which is smaller: a or t?
t
Let i be (44/6)/(12/(-36)). Let c = -54 - i. Let u = 18 + c. Which is greater: -13 or u?
-13
Let q be 27/108 + 23/4. Suppose q*x = 11*x + 150. Are -29 and x nonequal?
True
Let d = 13615 - 14925. Which is bigger: d or 0.6?
0.6
Let s = 407 - 154. Let h = -363 + s. Let o be 20/h + (-13)/(-11). Which is greater: 2/33 or o?
o
Let f be (-2)/((-1)/(-3 - -14)). Let b(r) = r**3 - 25*r**2 + 65*r + 43. Let g be b(f). Are 20 and g equal?
False
Let w = 456857 - 3203197/7. Do w and -742 have different values?
True
Suppose -6*s + 204 = -5*s + 4*p, 0 = s - 4*p - 204. Let q = s - 203. Which is greater: 8/23 or q?
q
Let c = -22.4 + 0.4. Let x = -23 + c. Let o = x + 45.6. Which is bigger: -2/3 or o?
o
Suppose 4*x = 336 - 28. Suppose -x*t + 240 = -72*t. Let f = -38 + t. Is 10 >= f?
True
Let t be (344084/(-46319))/((-4)/(-21)). Let l be ((-1)/1)/(-1)*-39. Is t not equal to l?
False
Let l = -20707 + 15684. Which is bigger: l or 0?
0
Let v(t) = -t**3 + 21*t**2 - 18*t + 96. Let m be v(17). Is 946 greater than m?
False
Let n = 28.89 - 0.89. Let i = 27 - n. Let b = -2.136 - -0.036. Is i at least b?
True
Let o be (2 + -1 - -5) + 84/(-7). Is o > 5/6?
False
Let q be (-4)/(16/(-44)) - -7. Suppose -7*f + 3*n = -8*f - 2, 0 = f - n - q. Suppose o + 22 = 3*o. Is o smaller than f?
True
Let s = -121 - 191. Let z be ((-15)/20)/(9/s). Is 21 <= z?
True
Suppose -6*t + 15 = -t. Let g = -0.0075 + 0.0014. Let m = g - -0.2061. Is m > t?
False
Let f = 3.48 + -16.05. Let t = f - -12.8. Which is smaller: t or 6/7?
t
Let u = -3577 + 3580. Which is greater: 6.6 or u?
6.6
Suppose -27*q = -29*q + 32. Suppose 0 = -3*f - 2*f - y + 24, 5*f = y + q. Suppose -f = 21*j - 25*j. Is j at most 3/4?
False
Let z = -24 - -29. Let v(b) = -b**3 + 8*b**2 - 11*b - 7. Let a be v(z). Is a < 67/5?
True
Suppose -2*w - 18 = 5*p - 17, 0 = 5*p + 5*w - 5. Which is greater: -44/49 or p?
-44/49
Let d = -3.436 + 26.136. Which is greater: 3 or d?
d
Let x = 4506 - 1820425/404. Which is smaller: x or 1?
x
Let j be 12/(-10) - ((-3)/2)/(120/16). Which is smaller: j or 30?
j
Let o be 4 + ((-205)/20)/(-1 - (-57)/18). Which is smaller: -1 or o?
-1
Let u be ((-2)/47)/(20 + 56/14). Is u bigger than -10?
True