et g be (7 + -1 - v) + 6. Is 18 equal to g?
False
Let y = 7848.90149 + -7849. Let g = -39.15051 - y. Let z = 0.052 + g. Which is smaller: -1/5 or z?
z
Let z(q) = q + 8. Let h = -276 - -269. Let r be z(h). Is r less than or equal to -1/66?
False
Let l(p) = -2*p**2 - 58*p - 298. Let c be l(-20). Is 428/7 bigger than c?
False
Suppose 2*k = -0*k + 6. Let v(s) = 8*s - 28. Let p be v(4). Suppose -p*m + 5*g = -35, m - 8*g - 17 = -4*g. Which is smaller: k or m?
k
Let t(n) = -340*n**3 + n**2 - 8*n + 6. Let a be t(9). Let q be a/676 - (1 - (-5)/(-4)). Let v = 367 + q. Do v and 2 have the same value?
False
Let i be 15*5/(32 - 7). Let l be ((-3252)/(-660) - 5)/(i/5). Which is bigger: 0 or l?
0
Let b = -349 + -7574. Is b < -7922?
True
Let w = -0.264 - 6.316. Let y = 42.58 + -43. Let g = y + w. Which is greater: -3 or g?
-3
Let p = 210 - 211. Let o(f) = 3*f**2 - f - 1. Let c be o(p). Are c and -4 unequal?
True
Suppose 0 = 14*j - 9*j + 4*t + 8, 10 = -5*t. Which is greater: -7/4 or j?
j
Let q(r) = -4*r**2 + 83*r - 110. Let p be q(23). Is -317 >= p?
True
Suppose -4*y = 1 - 5. Which is greater: y or -12/2545?
y
Let f be (15 - 6)*3/(-21). Let m = -555 - -557. Is f at least m?
False
Let f = -3722 - -3721.984. Is -36/5 greater than or equal to f?
False
Suppose -1672*q + 1681*q - 63 = 0. Let k be ((-140)/15)/(6/(-9)). Which is smaller: k or q?
q
Let v = 2927/10 - 456667/1560. Which is smaller: v or 1?
v
Suppose 3*b + 0*x + 5*x + 66 = 0, 2*b + 44 = -4*x. Let z = 43 + b. Suppose -40*d - 66 = -43*d. Is d at least z?
True
Suppose -11*l = -3*l + 16. Let j be -3*(l + 2626/1314). Is -1 less than or equal to j?
True
Let k(x) = x**3 + 6*x**2 + 53*x + 242. Let s be k(-5). Suppose -4*t - 3*b + 185 = t, 3*b = 0. Is s smaller than t?
True
Suppose 3*r + 54 = -6*r. Let v be (5/(30/9))/(r/(-4)). Is 9/41 at least v?
False
Suppose -2*l = -4*s - 40, -2*l = -l + 5*s + 1. Let w = -436 + 1235. Let i = -785 + w. Is i at least as big as l?
True
Let u be (-2)/(1 + (8/5 - 3)). Suppose -u = -10*m + 5*m. Is m < -4/25?
False
Let s = 2 + -1.6. Let q = 835 + -1110.3. Let d = 275 + q. Is s not equal to d?
True
Let a = -28977 - -559806661/19319. Which is smaller: a or 0?
a
Let p = 145474511354825/258687 + -1124714511/2. Let n = p + 3/1742. Which is bigger: n or -1?
n
Let t be 6/9*(-1 - 17)*-1. Suppose 0 = x + 3*p + t, 3*p = x + p - 8. Let g(k) = 2*k - 22. Let u be g(x). Which is smaller: u or -1?
u
Let j = 18/229 - 265/458. Which is greater: -2020 or j?
j
Let q(r) = r + 57. Let d(s) = -s - 2. Let u(n) = -6*d(n) - q(n). Let x be u(15). Is x at most as big as 33?
True
Let j = -9 - -3. Let w be ((-792)/(-45))/((-4)/(-10)). Let m = 35 - w. Which is greater: m or j?
j
Suppose -b = -4*s - 465, -2*b - s + 790 = 26*s. Which is bigger: 447 or b?
b
Let w be -4 + (3824/238)/4. Let m be 0 + 6/(-3) + 24/33. Let x = m + 67/44. Does x = w?
False
Let h(b) = b + 5. Let v be h(-1). Suppose v*c = 3*c + 6. Suppose c*d + 24 = 2*d. Which is smaller: -3 or d?
d
Let n be (1/(-25))/(((-126)/2355)/(-3)). Let s = 9/14 + n. Let f = -15 - -14. Which is greater: s or f?
f
Let d = 8657 + -8629. Let u = 1.7 - 2. Are u and d non-equal?
True
Let s = 18654 + -22217. Which is greater: -2/3 or s?
-2/3
Let z = -3416 - 2051. Which is smaller: z or -5465?
z
Suppose 43*n + 57 = 44*n - 2*z, 2*z = 5*n - 261. Suppose -3*v - 137 = -4*x + 68, -x = 3*v - 40. Which is smaller: x or n?
x
Suppose 20 = -3*o + 3*t - 28, 4*o - 2*t + 56 = 0. Let d be o/(-2)*(-44)/(-33). Let n be (d - 3) + 185/(-40). Which is smaller: n or -0.05?
-0.05
Let j be (-171)/(-6)*(-4 + (-56)/(-18)). Suppose 0 = 5*l + 8*l - 195. Suppose -17*g - 50 = -l*g. Which is bigger: g or j?
g
Suppose f = 17*c - 12*c - 16, -28 = -2*f - 2*c. Suppose 91 = -6*v - 17. Let t = v - -160/9. Is t < f?
True
Suppose 5*f - 4 = 5*n + 221, 2*f = n + 93. Let p = f - 103. Which is bigger: 0 or p?
0
Let u(m) = 11*m**2 + m + 9. Let s be u(-3). Let p = s - 107. Let o = -2328/5 + 464. Do p and o have the same value?
False
Let i = -1560.20891 - -0.20891. Which is smaller: 2 or i?
i
Let r(g) = -13*g - 49. Let j be r(-11). Let y = -93 + j. Which is smaller: 1/342 or y?
1/342
Let s = 26 - 23. Suppose s*t - 118 = -g, -2*t = -3*t. Which is smaller: 120 or g?
g
Suppose -m - g + 4 = -1, g = 3*m - 7. Suppose -35 = j + m*q, 1 = q - 2. Suppose 4329*p - 2*o = 4324*p - 202, -12 = 3*o. Is p less than or equal to j?
False
Suppose -6*g + 15 = -3. Suppose -j = -10*w + 15*w - 149, -g*w + 12 = 0. Do j and 129 have the same value?
True
Suppose 3*j - 6 = -0. Suppose j*y + 0*y + v = 8, -5*v - 26 = -y. Suppose 5*l - y*l = 1. Is l smaller than -6?
False
Let h = 5534.2 - 5534. Which is greater: -6/11 or h?
h
Let v = 2495 - 5638. Let d = -3129.976 - v. Let q = -0.024 + d. Is q at least 1?
True
Let c be (3 + -2663 + -1)*(-10)/30. Let o = 887 - c. Is -6 >= o?
False
Let i = -0.27 + 0.304. Let t = i + 0.066. Is t bigger than 76?
False
Let f = -967 - -965. Are -353 and f equal?
False
Suppose -33*x + 19*x = -2996. Do x and 214 have the same value?
True
Let m = -64 - -92. Let g = -169877/15 + 11325. Which is smaller: m or g?
g
Let c be (50 - 35) + (6/(-2) - 2). Let g be 3 - -2 - (c + -12). Is 65/9 smaller than g?
False
Let q be (-6 - 5) + (67 - 2). Which is smaller: q or 423/8?
423/8
Suppose -5*v = -g - 2, 4 + 2 = 5*v - 3*g. Which is smaller: -55/62 or v?
-55/62
Let t(c) = -c**3 - 10*c**2 + 13*c + 16. Let h be t(-11). Let v be ((-21)/h)/(16/160). Is v at most 34?
False
Let u be 40/(-4) - -10 - 1. Are u and 4/1859 equal?
False
Let j = 216 + -154. Let r be (j/(-4))/(4/8). Let u be 148/(-5) - (-14)/245*-7. Which is smaller: r or u?
r
Let s(w) = w**3 + 6*w**2 - 28*w - 15. Let y be s(-9). Let k be (y*8/(-144))/((-39)/15). Which is bigger: 1 or k?
1
Let f = 90850/21 + -13621/3. Which is smaller: f or -215?
-215
Suppose 1555 = 13*w - 2449. Let u be w/(-7623) - (-2 + (-24)/(-11)). Which is smaller: u or 12.8?
u
Let j be (101332/(-55))/(2222/50 + 2). Let z = j - -1090/27. Is z less than or equal to 1?
True
Let r = -83561/3 - -27292. Which is smaller: r or -561?
r
Let j = 35.293 - 35.263. Which is smaller: 1077 or j?
j
Let q be ((-12)/18)/(18/(-27)). Is q smaller than 3/386?
False
Let b = -409477/18 - -22729. Which is greater: -21 or b?
b
Let y be (-60)/(-180)*4/12. Which is smaller: -15.2 or y?
-15.2
Let v = -20746 - -20752. Suppose 4*a + a = 5. Which is bigger: v or a?
v
Let w be (-27)/(-5) + (-32)/80 - 3295700/659150. Is 0 >= w?
False
Suppose 0 = 17*q + 11696 - 11713. Let a = -51476/21 + 2452. Is q greater than a?
True
Let q be ((-5)/111)/(1425/(-100) - -15). Is 0 != q?
True
Let v = 4081 - 4618. Which is smaller: -538 or v?
-538
Suppose -3582*l + 3584*l - 6 = 4*r, 4*l - 9*r = 13. Let u be (567/6)/((-3)/(-4)). Let w = u - 15625/124. Is l greater than w?
True
Let u = -100755 - -1773993287/17607. Is u smaller than -1?
False
Let s = -54283862/2921 + 18584. Let a = s + -6104/382651. Which is bigger: 1 or a?
1
Let g = -1874 + 1519. Is -2/13 greater than or equal to g?
True
Suppose -5*l - 3*p = -7277, -7265 = 230*l - 235*l - 5*p. Is 1459 smaller than l?
False
Let p be (-12)/8 - 3/2. Let h be (-4 + 5)/(1/p). Let i be -11 + (0 - (h + -1)). Which is smaller: i or -9?
-9
Let k(g) = -g**3 - 7*g**2 - 1. Let m be k(-5). Let c be (-1 + -14 - (-8658)/390)/((-6)/40). Which is smaller: c or m?
m
Suppose 2*t = -4*l + 14, -4*l + 16 = -t - 1. Suppose 5*y = -4*j - 0*y - 2, -2*j - 4*y = l. Let s be (-189)/56*2 + j/(-8). Which is smaller: -8 or s?
-8
Suppose -2*w - 3*k = 108, w = 5*w + 3*k + 216. Let b be 34/(-3) - (-90)/w. Which is smaller: b or 2?
b
Let n = 11779029 - 223748939/19. Let o = 2770 - n. Let k = 3 + -2. Is k greater than or equal to o?
True
Let s = -52482/41 + 1280. Which is bigger: 3/4 or s?
3/4
Let n = -2078.6 + 2078.6. Is n smaller than -1052.6?
False
Let g be (8/(-24))/(17/(-255)) + 276 + -1. Which is bigger: g or 292?
292
Suppose -5*m + 2*m + 84 = 0. Suppose -2 = 10*a + m. Let y be 3/(-1) - (a + 28/16). Which is smaller: -3 or y?
-3
Let n = -3845 - -3599. Is n at most as big as -734/3?
True
Let n = -20167 + 20037. Which is greater: n or -99?
-99
Let c = -69 - -71. Suppose 6*d - 6 = -4*b + d, -3*d = -c*b + 14. Suppose -b*a - 4 = -4*m, -3*a = -3*m - m + 6. Which is smaller: m or 11/4?
11/4
Let t = -9383.3 - -9383. Which is smaller: 327 or t?
t
Let