r t?
t
Let f = -1.74 - -0.14. Let n = -3.4 + f. Suppose 1761*c - 27 = 1758*c. Are n and c equal?
False
Let j be (-2)/(-14) + 18810/42 + 0. Let l be (-84)/j*(0 + 2/18). Let h be 0/(-1) + 0/(-8). Is h equal to l?
False
Let d = 3.204 + 369.396. Let f = d + -301. Let r = 5.6 - f. Is -0.1 less than or equal to r?
False
Let p(y) = -3*y + 3*y**3 - 4*y**3 + 6*y**2 + 6*y**2 - 8*y**2. Let q be p(3). Which is smaller: q or -2/129?
-2/129
Let s(k) = -4*k + 290. Let b be s(35). Suppose -1037 = 167*w - b*w. Suppose 0 = 3*r - 3, v - 2*r + 52 + 10 = 0. Is w at most as big as v?
True
Let j be 2/18*9*6/(-72). Is j smaller than 145?
True
Let y = -0.6421 - 120.6579. Which is bigger: y or -0.1?
-0.1
Let r = -13517/3 + 4505. Which is bigger: 779/2 or r?
779/2
Let m = 712/335 - 429086/205355. Is 0 < m?
True
Let y = -3057.5 - -3058.3. Is y less than or equal to -69/10?
False
Suppose -2*r - 2*r - 15 = -v, -5*r = -v + 18. Let c be (v/(-3))/(4/(-516)). Let p be (c/(-12) - -7)*(-4)/(-1). Which is smaller: p or -14?
p
Suppose -5*m = -1286 + 1321. Let u = -16 - -11. Let c be 3/(-5) - (-2)/u. Which is greater: m or c?
c
Suppose 5*x + 989 = 1004, -x - 2673 = 4*b. Are -3351/5 and b equal?
False
Suppose 1509*d = 1510*d + 1. Is -1/2825 > d?
True
Let r = 18 + -18. Let k = -199.2 - -240. Is r greater than k?
False
Let v(i) = i**2 + 52*i - 497. Let n be v(-62). Let t(u) = -u**2 - 5*u - 5. Let b be t(-4). Is n at least as big as b?
True
Let o(p) = 29*p**3 + 13*p**2 - 55*p + 10. Let z be o(4). Is z at most 1854?
True
Let t = -116 + 346/3. Let u = -6425/186 - -69/2. Are u and t non-equal?
True
Let k be 1 + -1*3*-1. Let s = k + -10. Suppose 9*j - 5*t = -15, -110*t + 113*t + 8 = 2*j. Which is smaller: j or s?
s
Let l(w) = 14*w**3 - w**2 - 7*w - 6. Let t be l(-2). Let o be 3/(2/(-6) + 774/t). Which is smaller: 0.2 or o?
o
Let z = -2517 - -2539. Which is bigger: 20 or z?
z
Suppose -283 = 35*x - 38. Is x at least -51/8?
False
Suppose 0 = -68*j - 64226 - 90629 - 185757. Is -5010 < j?
True
Let b be (-1 - (-65 - -1))*1/3. Let t be -19 + b - 56/5. Which is smaller: -8 or t?
t
Let j be (0*(-8)/(-48))/(-1). Let t = 0.065 - 1.575. Let h = -0.31 - t. Which is greater: h or j?
h
Let b = -124/2175 - 2/87. Let a = -66.51 - -66. Let w = -0.21 - a. Is b greater than w?
False
Suppose 12 = -5*i + 52. Let z be (1 + 10/i)*(-36)/(-117). Is 1 greater than z?
True
Let a = -2383 + 1605. Let c = -783 - a. Let f = 203/5 + -41. Which is greater: f or c?
f
Let q be 3*(-4)/(48/(-44)). Let s(v) = -v**3 + 12*v**2 - 11*v - 8. Let h be s(q). Suppose 0 = -2*k - 5*m - 3, k - 4*m = -25 + 4. Is h at most k?
False
Let u = 8160.1 - 8286. Which is smaller: 0 or u?
u
Let v = 1046 - 1156. Is -1/32 at most as big as v?
False
Let o = 9 - 7. Let k be 4/(o - -2 - 2). Suppose 1 = -4*f + i - k, f = 4*i - 12. Which is bigger: -4/15 or f?
f
Let k = 3.2251 + -3.1251. Is 1289.7 greater than k?
True
Let o(v) = 52*v**2 + 14*v + 38. Let d be o(-3). Which is smaller: 1391/3 or d?
1391/3
Let o = 1.3121 - -0.6879. Does o = -1/3355?
False
Suppose -z = 4*d - 5808, -4*d + 2*d + 4*z = -2904. Let s be (-9)/d*16/18. Let x = 1097/1452 + s. Which is smaller: x or 2/5?
2/5
Suppose -a - 194 = a. Let h = 224745 + -224843. Which is bigger: h or a?
a
Let x = -64.5522 + -1.3678. Is x > 3/5?
False
Suppose l + 1 = 0, -5*l = m + 435 + 73. Let j = 488 + m. Is -11 less than or equal to j?
False
Let p(r) = 39*r + 487. Let l be p(-27). Is l at most -566?
True
Suppose -2*y + 5*i - 25 = 0, -2245*i - 5 = -4*y - 2246*i. Is 2/10419 > y?
True
Suppose 1869 = -38*a + 615. Is -56 greater than a?
False
Let s be (-11)/121*-11 + 0. Which is smaller: -277 or s?
-277
Suppose -2*i - 12*i = -378. Let v(j) = -3*j + 77. Let w be v(i). Let b be 123/(-26) + (-6)/(-4). Which is smaller: b or w?
w
Let c(v) = v**3 + 9*v**2 - v - 8. Let q be c(-9). Let f = 171 + q. Let m be (3/12)/(3/(f*3)). Which is smaller: 44 or m?
m
Let z(v) = 5*v + 59. Let q be z(-14). Let n be (-2)/2 - (-3)/(-51)*q. Is 1 > n?
True
Suppose 2*i - i = 0, -2*s + 4*i = -12. Suppose -n = -s*n + 15. Suppose -u - f = f - 6, f - n = 2*u. Are u and -6 non-equal?
True
Let z be (13/(-3851))/(-13)*((-6)/4 - -1). Is z >= 1?
False
Let s be ((738/8)/(267/178))/((-18)/(-4920)). Is s greater than 16810?
False
Let t(k) = -3 - 5 + 8 + 27*k - 3. Let l be t(-6). Let f be (1 + l/162)/((-4)/8). Which is smaller: f or 0?
0
Let t be 2/(-9) - (-20 - 11640/135). Is 1368/13 smaller than t?
True
Let p(g) = g**3 + 7*g**2 - 6*g + 13. Let i(d) = -d**3 - d**2 + 7*d + 9. Let k be i(-3). Let q be p(k). Do q and 446 have the same value?
False
Let b = 8031 - 8032. Is 124.39 greater than or equal to b?
True
Let n = 1047/16 + -8714173/133168. Which is smaller: -1 or n?
-1
Let h = 304 + -307. Let r be 5*(-3)/(-6)*2 + h. Is -11/5 greater than or equal to r?
False
Suppose -13*v = -3414 + 13723. Is v at most as big as -794?
False
Let o = -12 - -53. Let d = o + -36. Suppose 14 = -3*b + 5*b. Which is bigger: b or d?
b
Let w = -29931 - -30068.11. Let n = w - 113.2. Let b = n + -24. Which is bigger: 2 or b?
2
Suppose 5*d - 6*d - 1 = -f, 3*d - 1 = -f. Let p be (d + -3)/(9/(-96)). Let j be 0/(-2)*64/128. Which is bigger: p or j?
p
Let b(y) = -152*y + 5485. Let f be b(-7). Is f smaller than 6548?
False
Suppose -22 = -9*r + 20*r. Let f be r/1 + 4 + (-292)/172. Let v = 2059/7095 - f. Which is greater: -1 or v?
v
Let n = -206075/321 - -642. Is 1 at most n?
False
Let x be (1/2)/(11/22). Let h be 2*(-2)/(-4)*(0 - x). Let l be ((-10)/80)/(((-2)/12)/h). Is l != 0?
True
Let d = 165/13169 - -31519821/539929. Are d and 59 non-equal?
True
Let q = 14350 - 14340. Which is bigger: -711 or q?
q
Let n = 7881.87 + -7836. Let v = -0.13 - n. Let u = 45 + v. Which is bigger: u or -4/7?
-4/7
Let p = -39/41 - -3153/82. Is p < 38?
True
Suppose -h - 1 = 2. Suppose -3*l - 4*a = 112 + 32, -a = -4*l - 192. Let d = -51 - l. Is d less than h?
False
Let v be (-6*(-2)/(-9))/(4/(-6)). Suppose -v*k - 33 = -23. Is k > -5?
False
Let x(d) be the first derivative of d**4/4 - 5*d**3/3 - d**2 + 6*d - 13. Let m be x(5). Let q be (15 - -2)/(2/m). Is q bigger than -34?
False
Let n = 21734 - 23033. Is n > -1291?
False
Let a be ((-30033)/(-1278))/(3/(-90)*-3). Is 240 equal to a?
False
Let w be -1*(2/3 + -1). Let k = 144.5 - 128. Let o = -16.533 + k. Which is bigger: o or w?
w
Let g be -1366*(-2 - -8)/(-12). Let a = g + -748. Is a < -4?
True
Let z = 4 + -10. Let o = -1.8 + -4.3. Let y = z - o. Which is bigger: 2/33 or y?
y
Suppose -285300 = 7*n + 5*n. Let t be 6/69 - n/345. Does 71 = t?
False
Let f = -8117.07 + 8160. Let u = f + 0.07. Let r = u - 46. Is r smaller than 2?
True
Let i = 1982/5 - 136808/345. Let b = 232 + -231. Is b at most i?
False
Let f = 311354/609 + 3520/87. Is 551 at most as big as f?
True
Let a be 780/(-2700) - 1/9. Which is smaller: -9149 or a?
-9149
Let a be 395 - (-4 + (6 - 20 - -22)). Are a and 1952/5 equal?
False
Let x = -2 + 1. Let d be (542/7)/(6 - (-1670)/(-274)). Let y = d + 816. Are y and x non-equal?
True
Let z = 19497/7 - 2785. Is z bigger than 3488?
False
Let r be (61/(4880/(-384)))/(18/20). Which is greater: r or -0.066?
-0.066
Let k = 17.8 + -3.8. Let s = -6 + k. Let w = s - 9. Which is smaller: -13 or w?
-13
Suppose -16*y - 247 = -7639. Let p be (0 - y/4) + 75/(-50). Which is bigger: -115 or p?
-115
Suppose -2*o = -2 - 16. Let c(k) = 24*k**2 - 3*k + 2. Let g be c(3). Suppose 29*l + g = 48*l. Are o and l nonequal?
True
Let h(u) be the third derivative of -u**5/30 + u**4/4 + 3*u**3 - u**2 + 10*u. Let w be h(6). Is w <= -18?
True
Suppose 5*a - 25 = 0, -3*b + 13 = 2*a - 0*a. Let r = 164221/128 - 1283. Is b smaller than r?
False
Let c(n) = -41 - 39*n + 34*n + 52*n + 13*n. Let j be c(2). Are j and 79 non-equal?
False
Let k(i) = -412*i - 33. Let y be k(5). Is -2091 < y?
False
Let t(p) = -187*p + 13500. Let x be t(61). Is x < 0?
False
Let g = 47511/73 - 651. Let m = g + 2518/219. Suppose 5*w - 4*l - 114 = -44, 4*w = -4*l + 20. Which is smaller: m or w?
w
Suppose -59 = f - 5*p, 3*f - 2*f + 71 = p. Let g = f - -69. Let y = 9 + -11. Is g not equal to y?
True
Let a be 10/((3 - 1) + -4). Let j be (-4 + 132/32)*a. Suppose 0 = -3*d - 2*h + 4, -11 = 5*d - 5*h - 1. Which is greater: j or d?
d
Suppose 11*v - 27 = -3*n + 15*v, -5*v = -3*n + 27. Let s be (6/(-63))/(2 + 84/n). Which is big