ich is smaller: f or t?
t
Let g = -450/1127 - 6/49. Suppose 4*d = 2*l + 10, -2*d + 17 = -3*l + 6. Suppose 6 = -5*m + d. Which is bigger: m or g?
g
Let p(m) = -4*m - 138. Let l be p(-24). Let z be 8012/(-140) - 18/l. Is z at most as big as -57?
False
Let f be ((0 - -11) + -12)*1/1 - 5. Which is greater: f or -4?
-4
Let o(i) = -i**3 - i**2 - 7*i - 30 - 8*i**2 + 8*i - 17*i**2. Let n be o(-26). Is n at least as big as -54?
False
Let n(g) = 68*g + 2. Let v be n(-1). Let m = v - -66. Suppose 3 = 3*t - m*t. Which is greater: -3/53 or t?
t
Suppose 0 = 5*q - 158 - 362. Let r = 107 - q. Suppose 18 = -r*y + 81. Which is smaller: y or 2?
2
Suppose 2*k + 484 = a, 5*a - 4*a - k - 478 = 0. Is 6 bigger than a?
False
Let g be 1 - 2 - (5 + -74 - -4). Let i = -61 + g. Let h be i/((2/5)/((-12)/(-45))). Do 6 and h have the same value?
False
Let b = 10818.2 + -10818. Which is smaller: b or 1450?
b
Let c = 4033 + -4029. Is c bigger than 3/65?
True
Let x(a) = 7*a**3 + a**2. Let h be x(1). Suppose 0 = 7*s + h*s + 810. Let y = -56 - s. Which is smaller: 0.03 or y?
y
Let h(u) = u**2 - 23*u - 39. Let d(c) = -c**2 - 14*c + 15. Let i be d(-15). Let v be h(i). Is v less than -40?
False
Suppose 5*n = -l - 5, -32*l + 4 = -29*l - 4*n. Suppose l = -3*h - 8 + 8. Are 10 and h nonequal?
True
Let x = -0.464 + -307.536. Let g = x + 309. Is g < 227/5?
True
Let v = 14421256303/142 + -101558942. Let l = v - -799. Which is greater: l or 0?
0
Suppose 0 = 2*o - 5*r + 1647, 846 = -o + 9*r - 14*r. Is o at least as big as -829?
False
Let o(c) = -c**3 - 14*c**2 - 35*c - 456. Let f be o(-14). Let l = -39 + 73. Is l greater than or equal to f?
True
Let v = -5572 - -11793. Is v at least -0.1?
True
Let o = 1251305/917 + -9545/7. Let v = o - 13218/1703. Is 0.1 at least v?
True
Suppose x + o - 13 = 0, x + 3*o = -2*o + 25. Suppose x*n - 41*n - 3720 = 0. Which is bigger: n or -2?
-2
Suppose 0*s + 3701 = 14*s + 13683. Is s <= -713?
True
Suppose -l + 5*l + 4 = 0. Let f = 7 - 47. Let d = -39.96 - f. Which is greater: d or l?
d
Suppose -p + 27 = 5*n, -3*p + 4*p + 23 = 5*n. Suppose 0 = p*c + 4*k - 12 - 6, -3 = 3*c - 4*k. Suppose -6 = -c*h + 3. Which is bigger: h or -1/4?
h
Let n = 21350 + -1601248/75. Let k = -1 + 2. Does n = k?
False
Let f(o) = 11*o**3 - 2*o**2 - 9*o + 10. Let z be f(1). Suppose -9*l = -z*l + 3. Which is greater: 5 or l?
5
Suppose -17275 = -2*s + 151*s + 3734. Is -179 less than s?
True
Suppose -9*v = -8*v - 3*o + 154, 5*v - 2*o = -835. Is v equal to -177?
False
Suppose 2*m + 15 = -0*i - i, -15 = 3*m + 3*i. Let k be m + 10 - 1/(-2). Let x = -554 - -549. Do k and x have different values?
True
Let g(k) = -k - 10. Let m be g(-3). Let d be (-8 - m)/(1/(-3)). Suppose -66 = -5*t - 0*a - a, 0 = -3*a + d. Is t at least 13?
True
Let g = 12 + -11.8. Let w = -0.2 + g. Let c = -0.07 - -0.37. Which is smaller: c or w?
w
Let t = -109 - -100.6. Let p = 3.4 + t. Which is smaller: p or 16?
p
Let i = -49 + 51. Suppose 11 = -5*d - 5*z + 26, 0 = -2*z - i. Let u be 1*(-5 + 4 + d). Is 4 equal to u?
False
Let c = -0.001 + -4.439. Let r = c + 4.33. Is r smaller than -8?
False
Suppose 5040*i - 5058*i = -270. Which is greater: i or 40?
40
Let f be (7/(-14)*3)/(162/24). Which is greater: f or -61?
f
Let w(j) = 3*j**2 - 90*j - 244. Let y be w(25). Is -2475/4 not equal to y?
True
Let k = 1473 + -1476. Is -41/22 > k?
True
Let i = 65/8 - 61/8. Suppose -431 = 14*d + 73. Is i smaller than d?
False
Let o = 13 + -7. Suppose -24 = -3*z + o. Let b = -0.69 + 0.19. Which is greater: b or z?
z
Let y be -12 + (-8)/(-6)*-3 + 27/3. Are y and -114 non-equal?
True
Let h(t) = 19*t + 9. Suppose 2*x + 6 = -4*d + 6*d, 4*x + 3*d - 16 = 0. Suppose 2 = o + 3*i, -2*i = -1 - x. Let n be h(o). Is n >= -12?
True
Let f(q) = 2*q**3 - 2*q**2 - 2*q + 1. Let a be f(2). Let v be (-2)/a + 92/5. Let k be 15/v + 7/(-21). Which is bigger: k or 2?
2
Let y = 83568 - 5766028/69. Are y and 3 nonequal?
True
Suppose r - 3*w + 18 = 5*r, -4*w - 7 = -5*r. Suppose h - 90 = 2*k - 6*k, 0 = -2*k + r*h + 38. Suppose -4*x - 5*n + k = 5, -x - 12 = -2*n. Does x = 3?
False
Let z = 4 + 2. Suppose z*d - 2778 = 8*d. Let f = 134734/97 + d. Do 0 and f have the same value?
False
Suppose 6 = -k + 2*k. Suppose 3 = -6*q + 141. Suppose 2*z + 6 = x, 3*x - 24*z + 2 = -q*z. Are k and x nonequal?
True
Suppose 5911*d - 5904*d - 287 = 0. Is 20 at most as big as d?
True
Let o be (-3 - (-171)/63)*-238. Is 37 != o?
True
Let w be 20/3*(26 + 147/(-42)). Is w >= 152?
False
Let m = -1.92 - 129.08. Let o = 198 + m. Is o greater than -1/4?
True
Let y = 1026 + -1059. Let g = -26 + 55. Let t = y + g. Are -1 and t equal?
False
Suppose -198932 = 31*n + 68*n + 65*n. Is n < -1213?
False
Suppose 24 = 66*j + 420. Are -90/19 and j nonequal?
True
Suppose -19*j = 8*j. Suppose j = -28*l - 33*l + 5063. Which is greater: 411/5 or l?
l
Let u(b) = 6*b + 785*b**2 + 0*b - 786*b**2 - 7. Let p be u(7). Does p = -8?
False
Let x(b) = 35*b**3 + 280*b**2 + 11*b + 90. Let g be x(-8). Let y = -0.2 - -0.1. Let q = 0.08 + y. Are g and q equal?
False
Let n = 897 + -2044. Is n <= -1142?
True
Let l(y) = 2*y - 20. Let j be l(6). Let f be -4 + (0 - j) + -9. Let p = -17 - f. Which is bigger: p or -23/2?
-23/2
Let u = -292 + 295. Suppose -5*f = -3*j + 4*j - 562, -u*f + 333 = 2*j. Are f and 115 unequal?
True
Let f = -0.0583 + -385.3417. Which is smaller: f or 1?
f
Let f be 6 - (-6 + 6 + -67). Let o = 113 - f. Which is smaller: o or 43?
o
Let a = 117968 - 117987. Suppose -b + 4 = 3*m + 54, -3*b = -m - 10. Is m equal to a?
False
Suppose 0 = 5*r - 113 + 118. Is r less than or equal to -14/33?
True
Suppose -117 = 5*q - 377. Let y = -34 + 99. Suppose y = 9*o - q. Which is smaller: 15 or o?
o
Suppose -3*m + 414 = 2*j, -3*m + 5*j + 357 = -36. Which is smaller: 404/3 or m?
404/3
Suppose 5*r = 5*m - 60, -5*r - 12 = -2. Let c(l) = l**3 - 8*l**2 - 20*l - 1. Let i be c(m). Which is bigger: i or 8?
8
Let a = 1491 + -1690. Is -3 equal to a?
False
Let c be ((-18)/(-24))/((-9)/4). Let k = 0.73 - 0.8. Let s = -0.04 + k. Is s not equal to c?
True
Let y(d) = 7*d - 3 + 2*d - 5 + 0 - 12*d. Let g be y(-3). Which is smaller: g or 3/322?
3/322
Let m be (-1 + -2)*(-6)/(-4). Let c(a) = 14*a + 40. Let f be c(-3). Let r be -6 - (4/(-10))/(f/(-10)). Is r bigger than m?
True
Let w(a) = 43*a + 3. Suppose 5*z + 46 = -4*m, 3*z + 39 = 4*m + 5. Let p = 11 + z. Let d be w(p). Which is smaller: d or 47?
d
Let x = -237 + 403. Let y = x - 165.8. Let v be (4/30)/(1 - 3). Is y at least v?
True
Let t = -585 + 753. Suppose 11*c + 17*c = t. Suppose 19 = 3*o - 5. Is c bigger than o?
False
Let i be (-3 + (3 - 0))/((-27)/9 - -6). Which is smaller: 2/2357 or i?
i
Let w = 23 + -7. Let z = w - 4. Let b be -4 - 2*(-34)/z. Which is smaller: 1 or b?
1
Let r = -118.49 + 3.49. Let v = r - -233. Which is bigger: v or -2?
v
Suppose 9*s = 5*s. Suppose -94 = -4*u - 5*f, 2*u + 0*u + f - 50 = s. Suppose -3*t + 60 = -3*l, u = -3*l - 4*t - 34. Which is bigger: -21 or l?
l
Let w(z) = z**3 - 15*z**2 + z - 6. Let i be w(15). Let t = i + -8. Let c be 3*t*(-32)/(-368). Which is smaller: 1 or c?
c
Let v be (194/(-8))/(1/(-2)). Let p be (7/(-3) + -1)/(22/(-330)). Is v equal to p?
False
Let v = 277 + -247. Suppose 1002 - 402 = -v*m. Is 4 greater than or equal to m?
True
Let m be (-664)/40 + (-2)/((-20)/6). Let r = 18 + m. Let w be (0 + -1 + r)/(3/1). Does w = -1?
False
Let y(m) = -4*m**2 - 49*m + 91. Let l be y(-12). Which is bigger: l or 52?
l
Suppose -k + 3*k + 25 = 3*w, -2*k = -2*w + 18. Let r be (w/28)/(-2 - 209/(-96)). Does r = 0?
False
Let g be ((-26)/(-30))/((-16)/40). Let f be -3 - ((-22)/(-6))/(2/(-6)). Let h be (15/6)/(-1)*f/10. Which is smaller: g or h?
g
Let t(z) = -z**3 - 16*z**2 - 6*z + 5. Let f be t(-16). Let y(u) = 11*u - 13. Let h be y(-8). Let l = h + f. Which is greater: l or 52?
52
Let v = -382205 - -382449. Suppose -4*i = 2*b - 500, 3*b - 2*i - 722 = -i. Which is smaller: v or b?
b
Let m = -149 + 114.2. Let x = 31.6 + 3.4. Let z = x + m. Which is bigger: z or 0.06?
z
Let h be (7/(-21))/(2/(-18)). Let s = 0.5 - 23.5. Let v = 23 + s. Which is greater: v or h?
h
Let r = -4044 - -4050. Which is greater: r or -88?
r
Let w = 0.41 - -21.59. Let t = w - 45. Let j = 23.14 + t. Which is smaller: j or 0?
0
Suppose -18*q - 5*w - 15247 = -16*q, 2*q - 4*w = -15292. Is -7635 at most q?
Fal