). Let f = j + -41. Which is bigger: -3/7 or f?
-3/7
Let v = -6.2 - 0.7. Let o = -7.05 - v. Let s = 0.05 + 0.15. Is s at most o?
False
Let v = -1.5344 - -0.5344. Which is bigger: v or 0.0186?
0.0186
Suppose -2*o + 3*o = 4*c - 3, 0 = 2*c - 2*o. Does 1/97 = c?
False
Let x(g) = -10*g - 78. Let t be x(-8). Suppose -10 = -t*d, -y = -2*y - 2*d + 22. Which is greater: -0.1 or y?
y
Let n = -3680 - -3682. Is n < 0?
False
Let i(d) = d + 1. Let j(x) = -2*x + 2. Let p(k) = 3*i(k) + j(k). Let n be p(-2). Suppose 4*y + 0*h - 3*h = -9, 3 = -3*y + n*h. Which is smaller: -1 or y?
y
Let s be (-3)/((-9)/4) - 4481802/3354102. Is 1 less than or equal to s?
False
Let q = -302 + 216. Let y = q - -87. Suppose c + 1 = -2*v, -5*c + 4*v - 8*v = -y. Is 2 less than c?
False
Let z(t) = -15*t**3 - t**2 + 13*t. Let u be z(-3). Which is bigger: 394 or u?
394
Let k(f) = 382*f + 1651. Let z be k(10). Is 5471 < z?
False
Suppose -5*h + 7 = 2. Let d = 23.01 - 13.28. Let y = d - 9.7. Is y smaller than h?
True
Let c = 1886 - 1803. Which is bigger: c or 54?
c
Let u = 1.5749 + -163.5749. Which is smaller: u or -29/5?
u
Let z be (7 - 6)*(-9)/(54/372). Is z greater than -46?
False
Let n be 2/(-2)*(-4 - -4). Let x be 96 + 2 - (-2 + n). Suppose 5*k = -180 - x. Is k smaller than -55?
True
Let g = -39/49 + 773/294. Which is greater: 6.1 or g?
6.1
Let a(u) = -5*u**2 + 32*u + 64. Let v be a(8). Which is smaller: 8/3157 or v?
v
Let r(k) = k**3 - 15*k**2 + 24*k - 23. Let v be r(12). Let q = v + 181. Do 2/3 and q have different values?
True
Let m be (34/170 + 3028/(-15090))/(1/6). Which is smaller: m or -1?
-1
Suppose 8*w - 11 = 205. Suppose -25*o - 110 = -w*o. Is 55 at most o?
True
Let n(y) = y**2 + 19*y + 4. Let l be n(-8). Let v be l/(-30) + (-4)/1 + 1. Do 65 and v have the same value?
False
Suppose -4*z + 3026 = 30*z. Suppose 0 = -2*u + a + z, -5*u - 6*a + 3*a = -250. Which is greater: 43 or u?
u
Let q = 16409 - 39529280/2409. Is 1 > q?
True
Suppose 3*n = -3735 + 4314. Are 1341/7 and n non-equal?
True
Let l(u) = -5*u + 5. Let g be l(-1). Suppose -g = -7*m + 25. Suppose 4*o = 3*o + m. Which is smaller: o or 0.2?
0.2
Let s(t) = t**3 + t**2 - 4*t + 1. Let q be s(3). Let j = 856 - 960. Let w be j/(-39)*(q + 2). Is 71 at least as big as w?
False
Let g = 1537 + -1535.7. Is g at least as big as 5/2?
False
Suppose -4*x - 39 + 43 = 0. Suppose -x + 5 = -t. Let m be 0/t + (-1 - (4 - 3)). Which is bigger: m or -1?
-1
Let d(o) = 10*o + 31. Let i be 1/(-2 + (-25)/(-15)). Let g be d(i). Is g greater than 4/39?
True
Let c be (10 - 8) + (-121903)/(-875) + -3. Let l = 968/7 - c. Which is smaller: 1 or l?
l
Let x = 52 + -54. Let q be 2/x*1 + 1. Suppose 7 = 5*t + 2*d - 6, 0 = -t - 4*d + 17. Which is smaller: t or q?
q
Let m(u) be the first derivative of -u**4/4 - u**3 + u**2/2 + u - 2. Let o be m(-2). Let r be 50/(-75)*((-6)/(-10) - 0)*10. Which is smaller: r or o?
o
Suppose 66*w = 32*w + 38*w + 572. Which is smaller: -188 or w?
-188
Let r = 214 + -224.1. Let d = -0.1 - r. Let y = -10.04 + 11.04. Which is smaller: y or d?
y
Let o be (-4498)/(-30)*-77 - (-4)/(-30). Is o at least as big as -11545?
True
Suppose 5*l - 5*y = -510, 5*y = 5*l + y + 510. Let x = -65 - l. Do 37 and x have different values?
False
Suppose -4*j + 3*b + 323 = -0*b, -4*b - 84 = -j. Suppose 163*a + 228*a - 4821 = 26068. Is a less than j?
True
Let c(w) = -16*w - 10. Let m be c(-5). Let b(s) = -2*s + m + 0*s + 3*s - 81. Let h be b(13). Which is greater: h or 12/5?
12/5
Let k(u) = -u**3 - 3*u**2 + 13*u - 23. Let t be k(-6). Let w be 430/90 + (t - 12). Which is bigger: w or -30?
w
Let b = -3.2838 - 16491.7162. Which is smaller: 0.1 or b?
b
Let s be (0 + (-99)/(-15))/(7/77). Which is smaller: 73 or s?
s
Suppose 5722 = 6*a + 1681 - 3447. Which is smaller: 1241 or a?
1241
Suppose 0 = j, 3*o + 3*j - 4*j = -84. Let z = -1303 - -1313. Which is smaller: z or o?
o
Suppose 4*d + 2*q = 268, 3*d + q - 201 = -2*q. Suppose 18 = d*f - 58*f. Which is greater: f or 8/9?
f
Let h(j) = 14*j + 39. Let z(c) = -6*c**2 + 13*c - 28. Let n be z(2). Let i be h(n). Is -325 != i?
False
Let s = -15123 - -15120. Is s at least as big as 237.2?
False
Let r(b) = -b**3 - 12*b**2 - 23*b + 13. Let x be r(-3). Is x smaller than -8/1571?
False
Let r = -18 + 26. Suppose 5*y = r*y - 3. Let f be (-1076)/(-272) + -4 - (-2)/(-8). Is f at most y?
True
Let n = -241 - -245. Suppose -n*o - 2*p = 2*p - 20, -3*o + 2*p = 5. Which is bigger: o or 0?
o
Let j(w) = 4*w**3 - 2*w**2 - w + 10. Let a(t) = 7*t**3 - 4*t**2 - 2*t + 17. Let u(c) = -3*a(c) + 5*j(c). Let z be u(0). Which is smaller: 2/103 or z?
z
Suppose -14*r = -106 + 22. Let l be 4811/51*r/(-4). Is -141 smaller than l?
False
Let x be (-16 + 15)/(3/1218). Let a = 372 + x. Are -34 and a equal?
True
Suppose -4*v = -42 + 22. Suppose -v*f = 5*g, 4*g = f + 6 + 9. Suppose -2*t = 5*a + 2 - 8, -g*t = -a - 9. Is t smaller than 4?
True
Let k(z) = 2*z - 1. Let d(b) = -5*b + 4. Let i(x) = -3*d(x) - 8*k(x). Let o be i(3). Let u be -36 - 14/4*4/o. Do -34 and u have different values?
False
Let x(t) = -t**3 + 49*t**2 - 2*t + 86. Let m be x(49). Let u be 5/(-10) - (-219)/6. Suppose 2*f + f = -u. Is m < f?
False
Suppose -5*s + 2897 = -5143. Suppose -7*m - s = m. Let u be 3/9 - m/(-9). Is -21 at least u?
True
Let w(k) = 5*k - 50. Let r(t) = 7*t**3 - 3*t**2 + 2*t + 3. Let d be 7/(-3) + (-4)/(-3). Let b be r(d). Let a be w(b). Is -94 at least as big as a?
True
Let q = -291/1096 - -1394491/5235592. Which is greater: -1 or q?
q
Let y = 146 + -143.12. Let m = y - -0.12. Let s be (2 - 3)/((-6)/4). Which is bigger: s or m?
m
Let s = -2348 + 2585. Is s equal to -1.1?
False
Let c = -538573/899 + 18570/31. Let p = 7/29 + c. Which is smaller: -2 or p?
-2
Suppose 1012 = -5*l - 4*j, -3*j + 6*j = 4*l + 791. Is l >= 4?
False
Let m(u) be the second derivative of u**4/12 + 4*u**2 + 44*u. Let a be m(0). Which is greater: 5 or a?
a
Let d(l) be the third derivative of -l**5/30 + l**4/24 - l**3/3 + 43*l**2. Let a be d(0). Which is greater: -18/29 or a?
-18/29
Suppose -13*u = 298 - 428. Suppose u = 97*q + 10. Let k = 10167 - 4666655/459. Which is greater: k or q?
q
Let q = -12699 - -11242. Is q at least -1462?
True
Suppose 2*n + 10 = 4*h, -n - 1643 + 1668 = 4*h. Let c = 359/68 + -26/17. Is h equal to c?
False
Suppose 2*x + 3*x = -5. Let q be ((-6)/15)/(17/(-1955)). Let n = 508/11 - q. Which is smaller: x or n?
x
Let q be (-2)/7 - 204180/(-700). Which is smaller: 292 or q?
q
Let c = 1829 + -1828. Are -263 and c non-equal?
True
Let p(i) = -4*i**3 + 18*i**2 - 6*i + 4. Let f(s) = 5*s**3 - 17*s**2 + 7*s - 5. Let c(q) = 6*f(q) + 7*p(q). Let k be c(-12). Is -19/6 >= k?
False
Let g be 0/(-7) + 1/(1/(-3)). Let v(c) = 6*c + 2. Let q be v(g). Let a be 3/((-2)/32*3). Is q at least a?
True
Let r be (1 - 0)/5 + (546687/(-28485) - -19). Which is bigger: r or 0?
r
Let w(h) = 8*h**2 + 16*h - 2. Let a be w(2). Let m(k) = k - 2. Let y be m(-3). Let j = a + y. Does j = 59?
False
Suppose -2*q - 2 = -4. Let z be ((-7261)/(-20))/(-5 - -6). Let i = z - 363. Which is smaller: q or i?
i
Let q be (2/(-8))/(9/(-8)). Suppose -4*y = -3*x - 40, -5*y - 12 = 5*x + 8. Let p be (x - -4) + ((-580)/(-73))/2. Is p smaller than q?
True
Suppose 3*q - 5*q + 5 = -z, 0 = 4*z + 2*q + 50. Let r = z + 23. Let v be (-8)/r + 4/6. Which is smaller: 1/6 or v?
v
Suppose -49*i - 28*i + 308 = 0. Suppose 4*n = 3*u + 118, 2*u + i*n = -n - 71. Which is greater: -34 or u?
-34
Let a = -111 - -109. Let x(q) = -6*q + 25. Let y be x(a). Do 37 and y have different values?
False
Suppose -3*u + 774 = -201. Suppose -d - 2*i = 108, -5*i = d + 2*d + u. Let r be ((-14)/35)/((-8)/d). Which is smaller: r or -0.1?
r
Suppose -5*d = -n - 17331, 657*d - 661*d - 4*n = -13836. Is d <= 3470?
True
Let k(i) = 381*i + 6847. Let c be k(-12). Which is greater: c or 2276?
2276
Suppose 4941 = 8*y - 2414 + 1739. Which is greater: y or 7710/11?
y
Let q be 629/(-119) + 6 - 8/(-28). Which is smaller: q or 7/663?
7/663
Let u(y) = 10*y - 941. Let g be u(94). Which is bigger: g or 3/10609?
3/10609
Suppose 0 = 16*n - 9 + 281. Which is greater: n or 164?
164
Let q = 8199/26 - -890/39. Let v = 339 - q. Are v and 2 equal?
False
Suppose -5*h + 4*g = -139, -5*h + h + 110 = -2*g. Let l be ((-1806)/h)/14 - (-3)/1. Which is bigger: -2 or l?
l
Let y = -339 - -802. Suppose 2*u