3 - 52410/39. Which is bigger: k or -1343?
-1343
Suppose 2*u + 0*c + 10 = 4*c, -5*u + 4*c - 7 = 0. Let d be 63/(-6)*(0 - (-3 + u)). Which is bigger: d or -20?
-20
Suppose -2*o + 10 = 0, 3*j - 18 = 2*j - 4*o. Let c be 1*(-2 + 3) - 3/12. Is j less than or equal to c?
True
Suppose -2434*b = -2389*b + 45. Let x be 98/(-2)*1/11. Let r = x + 4089/913. Are b and r nonequal?
True
Suppose -2*t + 4 = n - 2, 4*n - 2*t + 16 = 0. Let u be 1 + 579/(-3) + 2. Let x = u - -565/3. Do x and n have different values?
True
Let p = -1.8 + 0.2. Let q = 193 - 190.6. Let b = q + p. Which is bigger: b or 0.3?
b
Let t be (6/(-58))/1*(-8)/(-60). Let u = -272/1305 + t. Which is greater: u or -3?
u
Let h be (-2)/4*(-2992)/(-22). Which is bigger: h or -65?
-65
Let z = 64.42 - 65. Let i = z - -0.68. Suppose 4*s + 2 = 3*s. Which is smaller: i or s?
s
Suppose -5*x + 183 = 14*z - 17*z, 5*x + 4*z - 176 = 0. Is 35 at least as big as x?
False
Suppose 3*q - 112 = 7*q. Let s be ((-396)/(-154))/((-3)/q). Is s greater than 2/7?
True
Let q be 580/6 - (140/21)/10. Which is greater: q or 95?
q
Let g be -4 - (-437)/312*3. Which is greater: 0 or g?
g
Suppose 5*s = 2*g - 20 - 30, 3*g - 55 = 5*s. Let f = 23 + -54. Let n = -38 - f. Is n >= s?
True
Suppose 2*l + 2*l - 4*b = 0, 0 = 2*l + b - 9. Let d be (-6)/2 + (-8)/4 + l. Are d and 3 unequal?
True
Let j(t) = 4*t - 4. Let p be j(3). Suppose -p*o = -2*o - 24. Are 1 and o non-equal?
True
Let y = 303 + -272. Suppose 7*p - 4*f = 4*p + 90, -4*f = 2*p - 60. Is p greater than or equal to y?
False
Let j = -110 + 111. Let l = 1 - j. Is l != 3/23?
True
Let i = -4.02 + 4. Let a = i + 28.02. Let m = 1 - a. Which is bigger: m or -1?
-1
Suppose 0 = -4*c - 2*t - 154, -2*t + 34 = -c - 7. Do c and -38 have the same value?
False
Let p(u) = -u - 5. Let i be p(-9). Suppose -3*j - 19 = -i*l, -j - 5*l + 16 = 54. Is j at most as big as -12?
True
Let w = 218.18 + -215. Let g = -0.089 - 0.091. Let d = g + w. Which is smaller: d or 0.1?
0.1
Let s = -970 + 968. Which is bigger: s or -30?
s
Let c = -0.2 + 0.3. Let a = 5132/7 - 732. Are c and a nonequal?
True
Let r = 27/14 - 949/434. Is r < 0?
True
Let w = 475/22 - 45/2. Is w bigger than -1?
True
Let q(z) = -z**2 + 6*z + 5. Let v be q(6). Suppose -2*j = v + 1. Let n = -141 - -421/3. Which is smaller: n or j?
j
Let r(u) = u**3 - u**2 - u - 3. Let g be r(0). Let s = -8 + 3. Which is greater: g or s?
g
Let q = -71/22 - -30/11. Let s = -28 - -58. Let h = s + -34. Is h at most as big as q?
True
Let j(t) be the first derivative of -t**4/4 - t**3 + t**2/2 + 5*t - 2. Let d be j(-3). Suppose 0*h - h = -d, c - 1 = 2*h. Is 6 at least c?
True
Suppose -4*k - 4*x = -x + 5, 2*x - 35 = 5*k. Let y = -99/28 - 17/14. Which is smaller: k or y?
k
Suppose -5277 - 2913 = -21*x. Which is bigger: 392 or x?
392
Suppose -f - 20 + 5 = 0. Let t(u) = -18*u**3 - u**2 + u. Let k be t(1). Let o = k - f. Which is greater: -1 or o?
-1
Suppose 0 = -3*l - 0*l - 6*l. Is 0.092 not equal to l?
True
Let l(g) = -g**2 - g + 11. Let t be l(0). Let y be 7/14*(-1 + t). Which is greater: y or 2?
y
Suppose 4*l - 3*l = -5. Let r = 78 + -67. Let a be (6/10)/(1/5) - r. Which is greater: a or l?
l
Let z(d) = 7*d**2 + d + 4. Let g(p) = -10*p**2 - 2*p - 6. Let b(h) = 5*g(h) + 7*z(h). Let i be b(-2). Let o be (-2)/4*2/3. Which is smaller: o or i?
o
Suppose 14*g - 10*g + 87 = 3*b, 4*g = -b + 45. Which is bigger: b or 31?
b
Let r = 1468 + -1453. Is 13 <= r?
True
Let n = 844 + -10976/13. Is n != -14?
True
Let x = 26.5 + 6.5. Let f = 30 - x. Which is smaller: 0.2 or f?
f
Suppose -n = -0*n + 3*n. Are n and -4/43 equal?
False
Let o = 21 - 14. Suppose -2*z + 106 = z + 5*i, 5*z - 168 = -4*i. Suppose z = 4*g - 0*g. Is o bigger than g?
False
Let s(j) = -5*j - 20 + 3*j + 30. Let u be s(3). Suppose -u*l - 15 = -l. Is l at most -5?
True
Let s = -684 + 682. Let i be 3/(-12) + -2 - -1. Is s bigger than i?
False
Let x = -7/212 + -1139/4028. Suppose -8*f = 38 - 46. Which is greater: f or x?
f
Suppose -44*l + 18*l + 1742 = 0. Which is bigger: l or 2?
l
Let h = 977 + -984. Which is smaller: h or -21?
-21
Let k = 745 + -18621/25. Let b = 0 - 0. Suppose 5*d = -h + 4, 5*h + b*d = -3*d - 2. Is k < h?
False
Let o = 62.225 + -0.225. Is 2 smaller than o?
True
Suppose f + 5*v = 119, 2*v = -14*f + 18*f - 520. Is 128 bigger than f?
False
Let s(i) = -5*i**3 - 2*i**2 + 3*i - 17. Let j(h) = -h**3 + h - 1. Let n(v) = 4*j(v) - s(v). Let r be n(-3). Which is bigger: -47 or r?
r
Let z = 39 - 40. Let s be (2/z*1)/(-364). Is s != 0?
True
Let s = 1.4 - 1.6. Let w = -0.1 + s. Is w < -2/17?
True
Let u(y) = -y**2 + 38*y + 80. Let l be u(40). Which is greater: 7/61 or l?
7/61
Suppose -5*n = 5 - 20. Suppose 2*v - 7*v = d + 21, 11 = 4*d + v. Which is greater: n or d?
d
Let u(l) = 15*l + 225. Let y be u(0). Is y less than 226?
True
Let o be (-3 + -2)/(-10*11/(-110)). Are o and -22 equal?
False
Let d = 7.59 + -21.8. Let u = -0.21 - d. Which is smaller: u or 1?
1
Let i = 1270 - 1272. Is -4/7 equal to i?
False
Suppose 47*z + 1766 - 27 = 0. Is z bigger than -215/6?
False
Suppose 5*t - 6*g = -2565, t + 251 = 5*g - 243. Which is smaller: -520 or t?
-520
Let q = 227 + 798. Is q less than 1025?
False
Let f = 38 - 38. Suppose f = -5*r + 10, -3*h - 2*r - 7 = 1. Is h less than or equal to -17/4?
False
Let l = -96 + 105. Let k = -7 + 5. Do l and k have different values?
True
Let i be -2 - ((-2 - 0) + 1). Let u be -1*(0 - 1/i). Does u = -1/25?
False
Let c = -6 + 5. Let d = -8 - c. Let p = 6 - 11. Is p <= d?
False
Let m be (-584)/(-58) - (0 - -8). Are m and 2 nonequal?
True
Let d = 3.663 - -0.037. Let g = d + -1.7. Which is smaller: 1 or g?
1
Suppose -3*a + 34 = 8*q - 10*q, -22 = -2*a + 2*q. Which is smaller: a or 0.4?
0.4
Suppose 3*r - r + 43 = 3*j, 0 = 4*j + 4. Let l = r + 24. Which is smaller: 7/10 or l?
7/10
Let m be ((-1616)/20)/(3/15). Let f = m - -8486/21. Which is smaller: -1 or f?
-1
Let r(f) = f**3 + 11*f**2 + 2*f + 24. Let p be r(-11). Is -0.11 at most as big as p?
True
Let u(a) = -a**2 + 32*a - 22. Let d be u(25). Which is bigger: 152 or d?
d
Let m(j) = -8*j - 163. Let q be m(-21). Is q at most 17?
True
Let k = -9494 - -9482. Let c = -15 - -4. Is k not equal to c?
True
Let z be ((-26)/6)/(24/(-18)). Suppose 7*a = 25 - 4. Which is smaller: z or a?
a
Let l = -267 - -266.8. Which is greater: l or 5/32?
5/32
Suppose -19*p + 22 = -54. Suppose -b + 2*b = -1. Let m be (b + 2)/(1/3). Is p < m?
False
Let o be 39/9 + 4/6. Suppose -2*a + 2*f = 12, -18 - 7 = -o*f. Is a > 1/17?
False
Let s(f) = f**2 + f - 1. Let u be s(-2). Let c be -15 + 396/28 + 4*(-51)/(-189). Which is smaller: u or c?
c
Let g be (0/(18/3))/5. Let k = -491/8 + 62. Is g bigger than k?
False
Let r be (-1)/(-13)*(-6 - 0). Let p be (2 - -12)*((-18)/4)/9. Let s be -5 - p - 2*(0 - -1). Which is smaller: s or r?
r
Let p = 328679/180 - 13731/20. Let b = 1137 - p. Which is smaller: b or -1?
b
Let a(c) = -c**3 + 3*c**2 + 2*c + 8. Let f be a(6). Let t = 109 + f. Is 21 < t?
False
Suppose 6*z = 4*z + 4*a + 46, -5*a = -3*z + 72. Suppose -2*d + 78 - 18 = 0. Which is greater: d or z?
d
Let g = 78 - 72. Do 90/19 and g have the same value?
False
Let n be (-2)/(-9) - 176/(-99). Suppose 0 = -n*o + 3*l + 16, -5*l - 34 = -o - 3*o. Suppose -3*j + 3*q - 36 = 0, 4*q + o = 31. Which is smaller: j or -6?
j
Suppose 1101*y = 1097*y + 8. Is y at most -1.21?
False
Let t = 3050 + -3046. Let x = 12 - 2. Suppose 0 = -2*z + x. Is t at least z?
False
Suppose 9*z - 2448 = 18*z. Is z greater than -272?
False
Let y be (7/(-5) - -1)*(-35)/(-21). Is -2/61 > y?
True
Let q(h) = -h**2 - 7. Let m be q(7). Let s be 2/(-1) - m/18. Suppose -f = 2*f - 6. Is f > s?
True
Let n be 169/(-64) - (-6 - -12)/(-2). Which is greater: n or 1?
1
Suppose 2*i - 24*i + 2046 = 0. Is i < 95?
True
Let g = -9 + 8.86. Let k = -106.1 - -106. Is g >= k?
False
Suppose -3000 = -761*p + 773*p. Which is bigger: p or -253?
p
Suppose -15 = 5*h, m + 3*h + 0*h + 14 = 0. Suppose -2*z - w + 2 = 2*w, -2*z = -w - 10. Suppose -k = 9 - z. Is k greater than m?
False
Suppose -172 = 5*l - 4*u, 4*l - 127*u + 132*u = -154. Is -16 less than or equal to l?
False
Suppose -y - 2*a - 21 = -6, -2*a = -2*y - 6. Let v be (0 + 14/6)*(-2)/y. Is -6 greater than v?
False
Let f = -12 + 17. Let z be ((-16)/(-100))/(2/f). Let h = -236 - -231. Which is greater: h or