 -676481/56. Which is smaller: v or l?
l
Let f be (-6)/(-15)*(0 + 25). Let a be ((-164)/f)/(6/15). Does -40 = a?
False
Let n = 43318 + -14598142/337. Which is greater: 0 or n?
n
Suppose 0 = -83*t - 7*t - 6030. Which is smaller: t or -78?
-78
Let h = -3.47 + -26.73. Let p = 1.2 + h. Let j = p + 29. Which is smaller: j or -5?
-5
Suppose -5*l = -3*y - 18969, -3*l + 11366 = -364*y + 360*y. Are l and -1 non-equal?
True
Let z be 69*(2 - 5/3). Suppose -2*f + z*f = 1974. Is f >= 93?
True
Let h be -8 + 15/(630/343). Which is greater: -4 or h?
h
Let v = -6984 + 6966. Let o = -339 - -340.97. Let j = -0.03 - o. Do v and j have the same value?
False
Suppose -243 + 103 = -4*w. Suppose -n + 74 = -2*y, -n - y + 27 = -w. Which is bigger: 333/5 or n?
333/5
Let f be 0 + ((-210)/8 - (-4)/16). Which is smaller: -34 or f?
-34
Let n(l) = l - 25. Let o = -20 + 5. Let a be n(o). Let c = a + 41. Are c and 2.5 nonequal?
True
Let n be -1*6/14 + 28356/56168. Is n greater than 2/5?
False
Let t be (3/9)/(7/(-63)). Let f = -8 + 11. Let z be (t + 3)/f*1. Which is bigger: 2/97 or z?
2/97
Let q be (1/5)/((-244)/305). Let o = 0.2 + 104.8. Which is greater: o or q?
o
Suppose 0 = -5*v + 31 + 4. Suppose r = 4*x + 76, v*r = 2*r. Let o be (1 + 0)/(x - -18). Do -2/141 and o have the same value?
False
Let c be 6 - (-3)/((-1350)/471162). Let y = -1041 - c. Which is greater: y or 1?
1
Let w(o) = o**3 + 76*o**2 + 601*o - 134. Let c be w(-67). Which is smaller: -28/325 or c?
-28/325
Let d = 39 + -39. Suppose d = -11*m - 552 - 823. Are -126 and m nonequal?
True
Let y(b) = -b**3 + 8*b**2 - 7*b + 18. Let z be y(7). Let h be (z/24)/(7/(14/6)). Is h smaller than 4?
True
Let w be (8/(-12) - (-31)/(-21)) + 2. Let r = 0.02 - -0.08. Let b = r + -2.1. Which is bigger: w or b?
w
Let p = -249 + 374. Let a = p - 124. Which is greater: a or 4/71?
a
Let v = -3.7436 + 3.7436. Does -7615 = v?
False
Let m be 1/((0 + 1)/6). Let s be (-33)/21 + 1 - 469460/224. Let h = s + 2101. Is h greater than m?
False
Let h = -0.0173 + 1.4173. Which is smaller: h or 52?
h
Let q = 16 - 18. Let i be 3 + 545/(-1450)*8. Let x = i + -717/1160. Is x > q?
True
Let z(h) = -14*h + 35. Let n be (2/(-4) + 1)/((-4)/(-48)). Let a be z(n). Let j = -73 - a. Is -24 at least as big as j?
True
Suppose 19890 = -50*l - 120*l. Which is smaller: -129 or l?
-129
Suppose -2177*k = -2159*k + 9810. Which is greater: -549 or k?
k
Let z = -188.9 - -207.84. Let m = -19 + z. Let c = 220 - 222. Which is bigger: c or m?
m
Let n = -4315 - -4320. Which is smaller: -39 or n?
-39
Let x = 4592 + -4156. Which is smaller: x or 432?
432
Let d = -185.11 - -80.11. Which is smaller: d or 21/10?
d
Let v = -245 - -168. Let b = 1406.9 - 1488. Let l = b - v. Which is smaller: -1/2 or l?
l
Let q be (-1*28/20)/((-33)/(-330)). Which is bigger: q or -89?
q
Let l(u) = -4*u**3 + 5*u**2 + 2*u - 2. Let w be l(-3). Let p(z) = -z**3 + 69*z**2 - 721*z - 246. Let b be p(56). Which is greater: w or b?
b
Suppose -353 = 5*x + 3*d - 338, 20 = x - 4*d. Is x != -1/6906?
True
Let f(w) = -5*w - 15. Let r be f(-3). Suppose o + 0*o - 3 = r. Suppose -5*k = o + 107. Which is bigger: k or -23?
k
Let h = -730.5 - -1317.5. Which is smaller: h or -0.01?
-0.01
Let h(o) = 2*o**3 + 7*o**2 - 8. Let t be h(-5). Let c = -226 - t. Is c at most as big as -142?
True
Let t = 0.3 + -0.1. Suppose 98 = 44*v - 34. Let h(w) = 30*w - 78. Let m be h(v). Which is smaller: t or m?
t
Let x(o) = o**3 + 50*o**2 - 104*o - 342. Let s be x(-48). Are s and 9257 nonequal?
True
Let j be 21/14 + 1*(-30)/4. Let l be (j/(-20))/((-105)/28). Suppose -1 = -2*y + 1. Is y <= l?
False
Let b = -6645 + 7111. Which is smaller: 467 or b?
b
Let q(c) = -c - 4. Let z be q(-1). Let j be z*1 - 1/((-3)/12). Let p be (-5)/4 + -1 + (j - -1). Is -2/35 smaller than p?
False
Let j = -47 - -76. Let w = j - 9. Suppose -2*n + w + 29 = 3*u, 76 = 3*n + 2*u. Is n > 27?
False
Suppose -325*r = -361*r + 36. Suppose -58 = -5*c + 102. Which is greater: c or r?
c
Let t = -16522/3 + 6122. Are -0.2 and t equal?
False
Let h = -1340 - -172859/129. Let y(n) = n**3 + 9*n**2 - 6*n + 41. Let l be y(-10). Is l > h?
True
Let j(n) = -n**3 - 36*n**2 - 95*n + 132. Let s be j(-33). Is s > 1/475?
False
Suppose -4*d + 3 = -5*d. Suppose 0*o + 1690 = -27*o + o. Does o = d?
False
Let c = 106.07 + -57.64. Let s = c - -0.57. Let k = -50 + s. Is k < -1/21?
True
Let q be 1/((-398)/78 + 5). Let k(m) = -m**2 + 9*m + 1. Let r be k(8). Suppose 0*y + r = -y. Which is smaller: q or y?
q
Let v(z) = -108*z + 649. Let t be v(6). Let n be (-32)/(-354)*((-162)/12)/(-3). Which is bigger: n or t?
t
Let r(q) = -2*q**2 - 98*q - 12. Let v be r(-49). Is -73/6 at least v?
False
Let p be (-37)/(-5) + (-4)/10. Let l be 2 - (48/p)/3. Let q = -8074 - -8074. Is l < q?
True
Let f = -3.99 + -315.01. Let l = 249 + f. Which is greater: -0.1 or l?
-0.1
Let l be (2/5*1)/((-2)/130). Let m be l/(-10) + (-18)/(-45). Suppose -13 - 2 = m*v. Which is bigger: v or 0?
0
Let j(b) = 4*b - 8. Let p be j(-7). Let a = -39 - p. Let w be 9 + -2 + -1 + a. Which is bigger: w or 4?
4
Let t be 214281/(-143318) + (-50)/(-20)*3/5. Are 1 and t unequal?
True
Suppose -7*m + 11*m - 19 = -3*n, 3*m - 13 = -n. Which is bigger: n or -4/663?
n
Let p be ((-6)/(-5))/(-3*(-7)/2870). Suppose 0 = -169*c + p*c + 200. Is -1/3 equal to c?
False
Let q = 62 - 63. Suppose -2*h = 11 + 5. Let a be 8/(-20) + (h/(-20) - q). Is a smaller than -2?
False
Let c = 474 + -457. Suppose 2*u + 21*t - 8 = c*t, -10 = 2*t. Which is greater: 29 or u?
29
Suppose 2*t + 11216 = -p, -5*t - 5*p - 7779 = 20261. Is t at most as big as -5607?
True
Suppose 57*d = 5*d - 572. Is -97/8 at most d?
True
Suppose 0 = -2*b - 5*b. Let x be b/(20/5)*1. Suppose 0 = -m + 4, -4*v + 0*m - m + 32 = x. Do 7 and v have the same value?
True
Let v = -47322.0274 - -47322. Is 37 < v?
False
Suppose -119 = -5*h - 2*h. Suppose -5*d - 3*b = 20, -6*d - h = -4*d + 3*b. Which is greater: -2/241 or d?
-2/241
Suppose -51*j + 40*j + 297 = 0. Suppose -3*z + 68 = z. Suppose j - z = -2*s. Which is smaller: s or -4?
s
Let m be (38/(-4) + 9)*(120/(-18))/(-5). Let v(d) = -d - 3. Let x be v(-7). Suppose -n = -x*n. Is m less than or equal to n?
True
Let c be (-490)/(-144)*(243 + -247). Is -15 less than or equal to c?
True
Let s = -81139 - -81088. Suppose 2*v = -2*v. Which is greater: s or v?
v
Let z = 38694 + -39424. Is -733 < z?
True
Let g be 84510/197337 - 168/392. Which is smaller: g or 0?
g
Let m = -120223/3364 + -10/841. Is m greater than -36?
True
Let q be (2/6)/(1/15). Suppose -k + 17 = 4*b, -5*b - 5*k = -5 - q. Are b and 14 equal?
False
Let r be 36/6 + -7 + (-42)/(-46). Suppose -4 = 5*g + 26. Let i = g - -7. Which is smaller: i or r?
r
Suppose 3*g + g = 2*f - 26, f + 2*g = -7. Let r be f/(-12)*(0 - 4). Suppose 2*d - 8 = 2*m, 23*d - 25*d + 4*m + 12 = 0. Which is smaller: d or r?
r
Let x(u) = -u**3 - 9*u**2 - 6*u - 137. Let k be x(-5). Which is greater: -213 or k?
k
Let h be (-1)/(8/(-9448)) + 1/(-1). Which is smaller: 1181 or h?
h
Suppose 126*v + 10 = 122*v - 3*b, -2 = b. Is -24/463 at least as big as v?
True
Suppose -57 + 44 = 38*g + 101. Is g bigger than 151/3?
False
Let l be 10 + 2 + 178/(-15). Which is bigger: 4/9 or l?
4/9
Let a(b) = -99*b + 82. Let r be a(-5). Let z = 596 - r. Is z <= 18?
False
Suppose 0 = 3*k - 50 + 11. Let c be 3*(3 + -4) + 41. Suppose 2*d = -54*x + 58*x + 16, -x = 3*d - c. Is k less than d?
False
Let a = -107206/7 + 15258. Is -0.1 <= a?
False
Let u be 3/(-7) - (1 + 5115/21). Let q be u/(-15) + (-4)/12. Suppose -2*p - 4*d = q, 2*d + 12 = -7*p + 4*p. Is -11/5 smaller than p?
True
Let j be -3 + 36/8 - 21/14. Suppose 10*z - 254 + 244 = j. Which is smaller: -140 or z?
-140
Let y = 159 + -182. Let m = -32 + y. Is -55 at most m?
True
Let i(j) = -6*j**2 - 46*j + 728. Let u be i(8). Which is greater: u or -620/27?
-620/27
Suppose -1291 = -123*i - 1045. Suppose 5*g - 1 = -t, -3*g - 11 = 3*t - 2. Which is greater: t or i?
i
Let q = 1.612 + -1.41. Let t = -0.292 + q. Which is smaller: t or -0.8?
-0.8
Let m = 3530.3 - 2751.3. Is m at least as big as 0.3?
True
Suppose -3*p + 0*p = 39. Suppose 95*d - 192 = 107*d. Is p < d?
False
Let d(m) be the second derivative of -7*m**3/6 + 79*m**2 + 4*m - 15. Let j be d(30). Does -52 = j?
True
Let h = -260/3 + 88. Let t = -498.857 + 0.857. Let i = t + 49