 less than v?
False
Let w = 83.42 - 96.4. Let m = 1.98 + w. Is m at most as big as 10?
True
Let j = -0.112 + -0.108. Let n = 40.78 - j. Is -3 < n?
True
Suppose y = 2, 3*y = -5*a + 4*a + 7. Which is smaller: a or -3/521?
-3/521
Let v = -794 + 793.9594. Let r = v + 0.0406. Is r greater than 410?
False
Let m(x) = 2*x - 21. Suppose 0 = -5*l + 2*v + 2*v + 47, 0 = -3*l + 5*v + 23. Let c be m(l). Is c less than or equal to -1/343?
False
Let z = -20 + 15. Let o be (-1 - -6)/(-4 - z). Let d = 203/18 + -70/9. Which is bigger: d or o?
o
Let p = -1.3 - -0.3. Let y = 104.84 + 2.16. Let w = -95 + y. Is w <= p?
False
Let l(u) = 3*u**3 + 6*u**2 + 4*u + 2. Let s be l(-4). Let p be s/(-156) + 2/(-3). Let q be 10/28*35/175*14. Is q at most p?
False
Let c(x) = -3*x**2 - 2*x - 17. Let r be c(-7). Let d = r + 141. Suppose 2*z = 2*o - 18, -4*z - 43 = o + 2*o. Which is bigger: z or d?
d
Suppose -5*j - 16 = -6. Let r be j/9 + 1281/(-189). Let x be 6/12 + (-15)/2. Is r bigger than x?
False
Let i(d) = -83*d - 1564. Let t be i(-20). Which is greater: t or 63?
t
Suppose 3*q - 90 = -288. Let j(o) = 2121*o + 2054. Let u be j(-1). Which is smaller: q or u?
u
Let y = -211 - -69. Let p = 215 + y. Let w = 72.9 - p. Which is bigger: -7 or w?
w
Let l be (-27)/(-3)*7/(-63). Which is smaller: 1/231 or l?
l
Suppose 89*v - 88*v + 156 = 0. Let x be (-4)/2*(v/(-56))/13. Let a be 2/3*6/(-4). Which is bigger: x or a?
x
Let j(c) = c - 7. Let m be j(-4). Let d = 0 - m. Suppose -54 = -9*i + 4*i - 4*z, -i - 5*z + 15 = 0. Is d greater than i?
True
Suppose -111 = 3*u + n + 4*n, -5*n = 5*u + 175. Let h be (-76)/(-950)*2/u. Is h < 0?
True
Let k be (1 - 1)/(12 - (12 + -1)). Which is smaller: 22/1391 or k?
k
Suppose -6*r + 9 = -9. Suppose -5*q - r*f = 147, 0*f - f = 3*q + 89. Let t = -71 - q. Which is smaller: -2 or t?
t
Let g be (-2)/44*4 + 84/(-22). Let v be g - 12/16*906/(-180). Which is greater: 0 or v?
0
Let k = -189/4 - -46. Let h = 103.87 + -103.47. Which is greater: k or h?
h
Suppose -2*c = -452*b + 455*b - 188, c - 64 = -b. Which is smaller: b or 530/9?
530/9
Let w be 1 - (-117)/(-13) - (-16177)/2022. Is w at most as big as -1?
False
Let g = 4/31001 - -32458027/155005. Let r = g + -210. Which is smaller: r or -2/13?
r
Suppose 5 = -4*n + 3*n, -26 = s + 4*n. Let o be 9/((-81)/(-420)) + (-2)/s. Let t = o + -49. Which is smaller: -11/8 or t?
t
Suppose -2*i + 0 = 6. Let y be 1 - (-3 - i - -2). Let d be (10 + (-1996)/200)*15/(-4). Which is greater: y or d?
d
Let q = 20470 - 20285. Is q > -38?
True
Suppose s - 5*s + b + 7654 = 0, -s = 3*b - 1933. Is s greater than 1911?
True
Let w = -14929 - -238749/16. Let i = -7 - w. Let y(d) = -d**3 + d**2 + 17*d - 1. Let a be y(0). Are a and i equal?
False
Let i(q) = -q**2 + 15*q. Let v = 14 + 1. Let t be i(v). Suppose c - 3*u = -13, c + 0*u - 5*u + 17 = t. Are c and -13/2 non-equal?
True
Let m = 82.047 + -82. Let t = m - 0.147. Is t smaller than 84?
True
Let w be 12/14 + (-524)/(-42) + 24/36. Do -38 and w have different values?
True
Let s be 17 + (1 - 4) + 4 - -5. Does s = 24?
False
Let b(v) = v**3 + 6*v**2 + 12*v + 1. Let t be b(5). Suppose -278 - 83 = -3*f - 2*c, -3*f + 3*c + t = 0. Is f <= 0?
False
Let b = -3/14 - 37/7. Let r = b + 6. Let x = 29 - 29. Is r at most x?
False
Suppose -3*x + 5*u = 215, 2*x - 54*u = -50*u - 148. Do x and -60 have the same value?
True
Suppose 70*s - 56*s = 4984. Let t = -634 + s. Is -278 > t?
False
Let u be (58/(-4) - -13)*-18. Which is greater: u or 34?
34
Let t(b) = -6*b**2 + 1. Let l be t(-1). Let p be l/(35/(-98)) - (-1)/1. Is p at most 11?
False
Let b = 5313 + -5736. Is b at least -419?
False
Let d = 3108 + -1345. Which is bigger: 1764 or d?
1764
Let p = 417/25 + -99159/50. Let d = p + 405075/206. Are -1 and d unequal?
True
Let f be ((-1)/(-2))/(3/(-6) - -1). Let n be -5 + (-96)/(-18) - f. Which is greater: -1.1 or n?
n
Let z(v) = 170*v + 2039. Let r be z(-12). Which is bigger: -72/47 or r?
r
Let l(o) = 3*o**3 + 326*o**2 - 108*o - 28. Let w be l(-109). Let v = 324 + -461. Is v not equal to w?
False
Suppose -3*i - 6*x = -5970, -2*i + 114*x + 3962 = 112*x. Do i and 1984 have the same value?
True
Let g be 3 + -2 - 26/28. Suppose -5*z = -2*a + 21, 0 = 3*a + z + 11 - 34. Suppose 5 = o + 2*c + a, 4*c = -8. Is g at least o?
False
Let q = -5.32 + 5. Let z = 1.7971 + -1.7971. Which is smaller: z or q?
q
Let n(x) = 84*x + 6. Let a be n(17). Let i be a/(-12) + 4/(-8). Let q be ((-1)/(-15))/((-36)/i). Which is greater: 0.1 or q?
q
Let i = 535 - 179. Suppose i*p + 2 = 358*p. Which is bigger: p or -3/122?
p
Let f(g) = -15*g + 94. Suppose 0 = -5*b + 4*n + 26, -2*b + 2*n + 8 + 2 = 0. Let r be f(b). Is r != 4?
False
Suppose 14 = -3051*k + 3053*k. Is k bigger than -8?
True
Suppose -4*c - 57 = 5*r - 62, c = 3*r - 3. Is r less than or equal to -3991?
False
Let t = -1503 + 717. Let m be (t/(-4))/(6 - -3). Which is greater: 21 or m?
m
Let t be 490/5 + 3/((-15)/25). Let l be 248/t*(-7)/5. Which is greater: l or -3?
-3
Let a(l) = 14*l**2 + 2*l - 4. Let n be a(3). Let o = -187 + n. Let i be o/76 - ((-55)/(-20) - 3). Which is greater: 0 or i?
0
Let c(d) = -37*d. Let j be c(1). Let o be 147/(-35) - (-7406)/(-230). Is j less than o?
True
Let q be (-1099066)/6320 - 100/500. Let y = 1391/8 + q. Which is smaller: -1 or y?
-1
Let g be 21/28*4 + 30/(-9). Which is greater: 2448/5 or g?
2448/5
Let t = -1709/29 - -59. Suppose 4*u = -0*u + 20. Suppose 0*b + 5*b = u. Is t != b?
True
Let s = -4074 - -4074. Which is greater: s or 3/947?
3/947
Let y = -12 + 15. Suppose 2*z - 6*g + g = 23, 18 = 3*z - 2*g. Suppose -4*l + s = -10 + 157, 167 = -z*l - y*s. Is -37 less than l?
False
Let w = 282 - 283. Let a be (w/(-18))/(29/(-4) + 5). Is a != 0?
True
Suppose -3*l = 2*q + 2*l + 5, -5*q + 34 = -3*l. Suppose q*r + 614 = -2*m, -r = -3*m - 732 - 172. Which is greater: -303 or m?
m
Let q = -41726 - -13811296/331. Is -1 at least as big as q?
False
Let c = -22213 + 21317. Which is smaller: c or -4/5?
c
Let t be ((-1)/(-4))/((-21)/(-28) + -1). Let w = -1033/12361 - 6/263. Is w > t?
True
Let o be (-6)/(-172)*328/246. Let n(q) = -q - 3. Let c be n(-1). Do o and c have different values?
True
Let p = 450166 - 361483424/803. Which is smaller: -1 or p?
-1
Let v(n) = -n - 1. Let u be v(-2). Let k be (((-63)/1722)/((-6)/(-4)))/((-1365)/(-78)). Which is smaller: k or u?
k
Let j = -505 - -508.3. Let x = j + -6.3. Let a = 2 + -1.6. Which is greater: a or x?
a
Let x be 2 - 5 - 197545/(-75). Let h = 2630 - x. Which is bigger: -2 or h?
h
Let z = -5.327 - -0.217. Let h = 0.01 + z. Let i = -4.88 - h. Is 0.2 bigger than i?
False
Let o(x) be the first derivative of -5*x**3 + 105*x**2 + 19*x - 176. Let k be o(14). Do k and 5 have different values?
True
Suppose -4*o - 5*i = -26, 0 = -5*o - 1355*i + 1360*i + 100. Suppose -10 = 2*s - 7*s. Suppose f - s*f = -11. Which is bigger: f or o?
o
Let u be 2*-1 - (2 + 69). Suppose -101 + 0 = -t. Let m = t + u. Is 28 less than m?
False
Let k = 43240 + -307211/7. Do -646 and k have the same value?
False
Let o(v) = -v**2 + 4*v + 2. Suppose h - 100 = -96. Let m be o(h). Let k be 77/(-162) + 1/m. Is 1 < k?
False
Let k = 0.0012 + 0.3718. Let m = 0.273 - k. Is 0.37 < m?
False
Let p(u) = -53*u + 114. Let g be p(6). Let t = g + 183. Are -18 and t nonequal?
True
Let f(m) = -65*m - 1578. Let o be f(-24). Suppose 4*z + 67 = -i + 21, -i = -3*z - 31. Which is smaller: o or z?
o
Let t = -293 + 299. Let a be ((-3)/t)/((-27)/(-1188)). Which is greater: a or -23?
a
Suppose -n - 2*n + b = 39873, n + 13296 = 2*b. Let t be (8/28)/(4/n). Let i = t - -947. Is -2 greater than or equal to i?
True
Let o = -731.06 - -732. Let y = -2.37 - -2.07. Which is greater: o or y?
o
Let i be ((12/134)/3)/(-10). Let r be 1 + 7 + 9/((-90)/80). Which is smaller: r or i?
i
Let h(x) = x**3 + x**2 - x + 7. Let w be 8*5/(-10) + 1. Let p be h(w). Is -15/2 equal to p?
False
Let k = -22292 + 22290. Is k <= -226/127?
True
Let c(m) = -43*m**3 - 6*m**2 - 5*m + 31. Let l be c(-4). Suppose 0 = 20*r + l + 953. Is -182 <= r?
False
Suppose b + 96 = -2*l + 29, 4*l + 125 = b. Which is smaller: -119 or l?
-119
Let w(x) = -165*x - 3647. Let u be w(86). Does -17837 = u?
True
Let o = -21 + 26. Let p = 41 + o. Suppose -4*u + 3*l = -0*u + 147, -2*u = 4*l + p. Is u bigger than -32?
False
Let f(l) = -l**2 + 11*l + 24.