-2*k + 4*j, -3*k + 21 = -4*j. Which is smaller: 99 or k?
k
Let a = 0.0224 - 7.2224. Let y = a + 4.84. Is -0.1 at least as big as y?
True
Let q = 48.36 + -0.36. Let h = q - 45. Is h bigger than -32?
True
Let f be 3/((-18)/42*21/(-12)). Suppose 6*v - 110 = -f*v. Let y be 4/(-10) - 285/(-25). Is v bigger than y?
False
Let g(d) = d + 18. Let t be g(-16). Let r be t*286/(-28) - -5. Suppose 0*i - 4*i = 56. Which is smaller: r or i?
r
Let b = 395.03 + -394. Let c = 0.148 + 0.582. Let o = c - b. Which is smaller: o or -15?
-15
Let p = 3264 + -3268. Which is smaller: -135/16 or p?
-135/16
Let q be 2052/45 + 12/(-20). Let m be (-77)/205 + 3/q*6. Is 0 >= m?
False
Suppose 15*z - 3633 - 6447 = 0. Which is smaller: z or 664?
664
Suppose 2*u = -4*k + 32 - 0, -3*u = 4*k - 42. Suppose 20*p + 6*p - 156 = 0. Is p less than or equal to u?
True
Let a = -0.582 - -0.68. Let b = a + 0.051. Which is bigger: 0 or b?
b
Suppose 4*z = 7 + 9. Let d be 121376/580 + (z/(-10))/2. Let u = 209 - d. Do u and 1 have the same value?
False
Let p = 2.44 + -2.78. Let k = -0.24 - p. Is k at most 6.3?
True
Let x(m) = -3*m - 48. Let y be x(-17). Let d be 6/54*(y + 45 + -2). Is 4 >= d?
False
Let i be ((-8)/(-522))/((-4012)/102). Which is smaller: 0 or i?
i
Let x = 141 + -78. Let i = 17.51 - 17.21. Is x at least as big as i?
True
Let m(i) = -28*i**2 + 1. Let p be m(1). Let v = p + 109/4. Suppose 0 = 5*t + o + 110, 5*t + 0 = -4*o - 110. Which is bigger: t or v?
v
Suppose 0 = 29*a - 28*a + 100. Let g be -4 + 1 + (a - 1). Which is smaller: g or -105?
-105
Let p be (6615/(-2303))/((8/12)/(4/(-6))). Do p and 2 have the same value?
False
Let j be -5 + (-20)/(-3 + 2). Suppose 3 = -t, -2*t = 4*x + 3*t + j. Is x not equal to -25/28?
True
Let l(q) = q**2 - 11*q + 22. Let o be l(5). Suppose -4*w - 28 = -0*w. Let r be 2/w - 94/14. Is r smaller than o?
False
Let k(z) = 6*z**3 - 36*z**2 + z - 4. Let g be k(6). Are g and 983 equal?
False
Let p be (-2)/11784*-348*-1. Which is smaller: 0 or p?
p
Let r be (198/(-180) + 72/45)/5. Let q = -1/36 + -2/9. Is q at least as big as r?
False
Let l be (-1 + 2)*(-9)/((-36)/(-8)). Let b be ((6/(-8))/(-3))/l. Which is greater: b or -4?
b
Let p = -155685053951394/931 + 167223491318. Let y = 17686 - p. Which is greater: y or 1?
1
Suppose y + 2 = 0, -4*x + 4*y = -9 + 1. Let r = 450 - 695. Let u be 2/(-4)*10*(-14)/r. Which is bigger: x or u?
x
Let u be (55/(-3) + -1)*-3. Suppose -p = -14, -86 + 38 = -2*h + 5*p. Which is greater: h or u?
h
Let u = -6329 + 6356. Which is smaller: 51 or u?
u
Let w be (63/(-210)*-25)/((-26)/46). Which is bigger: -14 or w?
w
Suppose -147 = -9*y - 3. Suppose 0 = -4*u + 2*u + y. Let g = u - -25. Is 32 smaller than g?
True
Let t = -218 - -216.992. Let j = t - -0.008. Is 26 >= j?
True
Let l = -4600 + 4655. Are l and -13 unequal?
True
Let j = 1627.3468 - 1627. Is -3/4 equal to j?
False
Suppose 25 = 5*k, 4*r = -k + 14 - 13. Is r greater than or equal to 65/22?
False
Let l(z) = 2*z**3 - 9*z**2 - 7*z + 12. Let s be l(5). Suppose -1 = s*v - 5, 0 = -3*d - 4*v - 4. Let w be ((-4)/(-56))/(d/(-128)). Which is smaller: 3 or w?
w
Suppose 308*c + 12016695 = -260*c - 3*c. Are -21044 and c unequal?
True
Let y = -3369.5 + 3368. Is y bigger than -32?
True
Let m(o) = -453*o - 121. Let b be m(-7). Suppose -b = 137*v - 142*v. Which is bigger: v or 609?
v
Suppose -2*q + 101*j - 104*j + 250 = 0, -2*j = -3*q + 349. Is q less than or equal to 93?
False
Let o(l) = l**3 + 12*l**2 + 5. Let q be o(-12). Suppose 0 = -q*x + 2*x + 147. Let f be 22/(-14) + 28/x. Which is greater: -3 or f?
f
Let c be (-40)/(-6)*(-14)/(-56). Suppose -a + 25 - 25 = 0. Suppose a = 4*p - d, p - 13 = -0*p - 3*d. Which is smaller: c or p?
p
Let b = -70 - -98. Let t = b + -22. Suppose 63 = t*j - 15. Which is greater: 4 or j?
j
Let f(z) = -z**3 + 18*z**2 - 23*z - 21. Let q be f(12). Which is smaller: q or 565?
565
Let j be (-4110)/8*(13 - (-6775)/(-525)). Which is bigger: j or -48?
-48
Let g(b) = b**3 - 8*b**2 + 10*b + 8. Let d(p) = -2*p - 29. Let t be d(-17). Let u be g(t). Is -2 at most u?
False
Let b be (-2079)/126*10/1775. Is b <= 0?
True
Let s(t) = t + 4. Let l(d) = -4*d - 16. Let n be 2/6*(-1 - -19). Let i(u) = n*l(u) + 22*s(u). Let z be i(-7). Which is bigger: 7 or z?
7
Let a = -47635 - -334056/7. Let v = -89 + a. Is v less than or equal to 13?
True
Let f = -60568.1 + 60593. Let l be -1 + -1 + 12/7. Are l and f equal?
False
Suppose 0 = -2*y + 37*y + 33215. Let x = y + 954. Does -27 = x?
False
Let i be ((-8)/(-3))/((-82)/1353). Let y be (32/i)/(1/3). Are -3 and y nonequal?
True
Let m = 4135 + -5218. Which is smaller: m or -2165/2?
m
Let p = -15063 - -4805127/319. Is p less than or equal to -1?
False
Let i = 0.16266 + -0.76266. Which is bigger: i or 56?
56
Let v = -18652/9 + 6217/3. Which is smaller: -1 or v?
-1
Let v be (-3)/4*8*(-9)/756. Let z = 2.3 + -2.4. Which is smaller: v or z?
z
Suppose -3*w - 2*o + 7 = -o, 4*w + 14 = 2*o. Is 1/7205 smaller than w?
False
Let u = -102 + 61. Let r = u + 72. Suppose -3*v + k = v - r, -5*v = k - 32. Which is bigger: v or 13/2?
v
Let r be (-1)/((4/(-856))/((-9)/234)) + -5. Is -2/7 greater than r?
True
Let z(t) = -421*t + 5466. Let p be z(13). Is p less than or equal to -392?
False
Let g = -55 + 238. Let y = 175 - g. Which is bigger: y or 3?
3
Let q = 48829/7522675 + -10/2297. Is q < 1?
True
Suppose 0 = 5*l - 5*s - 65, 40 + 7 = 3*l - s. Suppose 24*u = l*u - 7. Let p be u/(3*1/(-6)). Is p less than or equal to 2?
True
Suppose 4*p = -3*l - 13850, -4*l + 5*p = 6538 + 11939. Which is bigger: l or -2/7?
-2/7
Suppose -19*v + v = -4788. Suppose -271*w + 295 = -v*w. Which is greater: w or 63?
63
Let u be (6/(-126))/((-582)/54). Let h = u + -1369/156170. Is 1 < h?
False
Let y = -0.83 + 0.8. Let c = 12359 - 12358.97. Let o = c + y. Are 36 and o non-equal?
True
Suppose -20*h = -19*h, -15 = -3*w - 4*h. Which is smaller: -1/648 or w?
-1/648
Suppose 0*l - 38*l - 3*l - 123 = 0. Which is greater: l or -113/26?
l
Let m be 83159/2428 + (-1 - 34). Let v = 2.3 - 19.7. Let d = v + 1.4. Is m greater than d?
True
Let w = -0.24 - -0.2. Let u = 21759 - 21777. Which is smaller: u or w?
u
Suppose -25 = 9*t - 7. Suppose 5 = w, w - 2*w + 8 = -c. Let p be (3/(-7))/(c/(-12)). Is p < t?
False
Let y be (-30 - -85)*(452/(-10) + 2). Which is bigger: -7126/3 or y?
-7126/3
Suppose -3*v = -5*o - 254, -4*v + o + 753 = 437. Which is smaller: 23 or v?
23
Let o be (-7)/(-2)*156/21. Let k be (-57)/(-5)*(o + -21). Is 56 at least as big as k?
False
Let l(i) be the first derivative of -i**4/4 + 11*i**3/3 + 12*i - 12. Let r be l(11). Let q be ((-3)/(-12))/((-33)/r). Is q smaller than 3?
True
Let l be ((-1176)/70)/(1/5). Let i = 87 + l. Let z be i/(48/(-27)*6/28). Is z greater than -8?
True
Suppose -121 = -45*w + 76 - 62. Which is smaller: w or 87/53?
87/53
Suppose 2*d + 128 = 2*h, 5*h - 320 = -6*d + 2*d. Let x = h - 322/5. Let v = -33.3 + 31.4. Is x at least v?
True
Let i = -197.2 + 174. Let g = -24.2 - i. Is 66 not equal to g?
True
Let k be (495/(-264))/(-2*(-1)/5). Are k and -6 equal?
False
Let z = 177271/190 - 933. Let t = -959/1710 + z. Is 0.1 bigger than t?
True
Let r(k) = 37*k - 1291. Let a be r(23). Is a greater than -0.03?
False
Let m(g) = g**2 - 69*g - 594. Let j be m(-8). Which is greater: 31 or j?
31
Suppose -14*v = 27 - 69. Suppose v*b = 0, 0 = l + 4*b - 4 + 5. Which is smaller: -4/7 or l?
l
Suppose 0 = 7*n - 4 + 11. Is -1/1350 at most as big as n?
False
Suppose -214 = -2*c + 74. Let v be c/30*(-80)/6. Let m be (v/6)/(4/(-6)). Which is greater: 18 or m?
18
Suppose -127*u = -471*u + 11696. Is 181 smaller than u?
False
Let m = -1884 - -1881.25. Is -0.2 at least as big as m?
True
Suppose 11095 = -15*q - 49790. Which is smaller: -4058 or q?
q
Let i(j) = -3*j**3 + 50*j**2 + 18*j - 1. Let u be i(17). Let f be -6*(-6)/72 + 566/36. Are f and u unequal?
True
Let a = -3656 - -3606. Which is bigger: -43 or a?
-43
Let a be (-7)/(-2)*84/49. Suppose a*h - 312 = 3*h. Let b = 305/3 - h. Is b at least -1?
False
Let n be ((-6)/15)/((-664)/(-87980)). Is n <= -10/7?
True
Suppose -2*t - 3*z = z - 14, -2*z + 6 = 0. Suppose t = 3*b - 14. Suppose -15 = -2*o + b*q, 0*o + 15 = -2*o - 5*q. Is 2 at most o?
False
Let m(i) = i**2 - 14*i + 68. Let b be m(13). Suppose -b*u = -61*u + 6. Which is greater: u or -5/62?
u
Let p b