3) + 3/k. Which is smaller: w or 1?
w
Let c = 67267/77478 - 7/2094. Is c at least as big as 0?
True
Suppose -6*s = 52*s + 290. Suppose -5*f - h + 53 = 0, f - 3*h + 2 = h. Let j = f + -16. Is s > j?
True
Let w(m) = 11*m. Let q be w(-2). Let g = q + 25. Suppose -5*u + 5 + 12 = g*f, -u - 47 = -5*f. Do 10 and f have different values?
True
Let j = 27377/1588 + 4/397. Suppose 0 = d - 11 - 6. Which is greater: d or j?
j
Let a = 1.5 - -0.3. Let k = a - 4.8. Which is greater: k or 0.1?
0.1
Suppose 7*k - 15 = 2*k. Suppose -4*q + 6 = -k*q. Let z be (38/4)/(q/12). Is z at most as big as 19?
True
Let g = 1282132/25 - 51276. Let r = g + 376/175. Which is smaller: 10 or r?
10
Let j = 10.37 - 9.9. Let m = 0.53 + j. Let u = -0.23 - 0.07. Is u smaller than m?
True
Let g = -749703/245 + 3060. Let t = 431/15190 + g. Is -1/3 < t?
True
Let p be (-22 - -10)/(-6) + -5. Suppose 2*u + 2*u = 0, -u + 2 = -2*n. Let s = -2 + n. Is p at most s?
True
Let s be 1 - ((-34)/187 + (-266)/(-11)). Which is smaller: 2/5 or s?
s
Let u be 2 - ((-1)/1 - 0). Suppose 0 = u*v + 3 - 0. Let q be (-1)/(-1)*v + 1. Is 3/8 < q?
False
Let u = -0.2 - 0.1. Let b = -0.619 + -0.041. Let z = -0.76 - b. Do z and u have different values?
True
Let p be 3/(-6)*6 + 204/64. Which is smaller: 1 or p?
p
Let f be 1/((-3)/(-18)) + -5. Let w be (-5 - -5) + f + 0. Let b be 2/5*10/34. Which is greater: w or b?
w
Let h = 2383/92 - 590/23. Let a = 65 + -31. Is a > h?
True
Let k = -1.24 - 22.76. Which is smaller: 4 or k?
k
Let q(t) = 17*t**2 + 5. Let g be q(2). Which is smaller: 72 or g?
72
Let i(b) = b**2 - 2*b - 12. Let n be i(-3). Let u(m) = m**2 - 7*m + 4. Let r be u(14). Let q be n - ((-1208)/r)/(-4). Which is greater: 0 or q?
q
Suppose -2*k = 5*i - 3*k - 8, 0 = -4*i + 5*k + 19. Let m be i/((-4)/(-88)*2). Is 11 > m?
False
Let n(q) = 5*q. Let k be n(-1). Let s be k + -3 + 3 - -4. Which is bigger: -15/19 or s?
-15/19
Let a be (2/(-96))/((-3)/3). Let r = -197/240 + a. Which is bigger: r or -1?
r
Let p be (-6)/(-14) + 8/14. Do -20/51 and p have the same value?
False
Let l be 1/(-47)*(-1 - 0). Let c = 747 - 746. Is l <= c?
True
Suppose -4*i = 2*i. Let c be (-4 + i)*2/(-14). Which is smaller: 2 or c?
c
Suppose -4*g + 28 = -0*g. Let f(d) = d**3 - 8*d**2 + 8. Let x be f(8). Suppose 0 = -5*q + 32 + x. Which is smaller: g or q?
g
Let r be (-6)/(-2) - 414/(-23). Let c = r - 16. Do c and 4 have different values?
True
Let v = -479 - -550. Is 71 > v?
False
Let v = -1252 + 1263. Which is greater: -11 or v?
v
Let p(l) = -l**2 + 37*l - 103. Let o be p(3). Let v = -11/140 - -4/35. Which is smaller: o or v?
o
Suppose -472 = -2*a - 470. Let p = -102 - -238. Let d = p - 950/7. Which is smaller: d or a?
d
Let g be -4 - (-17)/5 - 648/(-1055). Let a = 1007/3376 + g. Which is smaller: a or -1?
-1
Let d be 1/40 + 14/(-35). Let v = 34 - 13. Let n be (4/(-6))/((-14)/v). Which is bigger: d or n?
n
Let x be ((-7)/42*8)/(-158). Which is greater: 0 or x?
x
Suppose 3*t - 15 = -2*t. Suppose -t = -x - 2. Let p be 7 + -10 + (-40)/(-15). Which is smaller: p or x?
p
Let o be 4864/(-436848)*(14/8 - 1). Which is smaller: 1 or o?
o
Let l = 1061 - 1063. Is l >= 1.22?
False
Let x = -2.809 + -0.191. Is x > 1/9?
False
Let s = 0 - -1.3. Let t = -39 + 40.2. Let u = t - s. Is -0.1 not equal to u?
False
Let l = -0.1 + 0.2. Let m = 13/77 + 179/308. Which is bigger: m or l?
m
Suppose n + 5*n = 0. Suppose n = 3*u - 37 + 28. Let l be (-3*(-1 - 0))/u. Which is smaller: l or 4?
l
Let z be 344/(-602) + (-47)/(-21). Which is smaller: 2/3 or z?
2/3
Let d be ((2 - 3) + 5)/1. Let o = -3 + d. Let v = 18/61 + 57/427. Which is smaller: o or v?
v
Let g(l) = l**2 + 7*l + 12. Let h be g(-7). Let j be (-3)/6*8/h. Are 1 and j unequal?
True
Let j(z) = 36*z**2 - 2*z - 2. Let a be j(5). Does 888 = a?
True
Let t = -2 - -1. Let f = 70.92 + -90. Let b = f - -19. Is b > t?
True
Let q = -2/30191 + -58852/23096115. Is q greater than 1?
False
Suppose -x - 5 = -n, -3*n + 7 = 3*x - 4*x. Let d = -6 - -9. Suppose -d*u + 0*u + 3*j + 12 = 0, 5*u = -4*j - 16. Is n less than u?
False
Let r be 155/713*4/(-10). Which is smaller: r or 0?
r
Let j = -11 - -8. Let p = -23 - 2. Let q = p - -23. Is q at least as big as j?
True
Suppose 2*b = -2, 17 = -0*n + 5*n - 2*b. Let s = n + -5. Let f = 289.8 - 290. Which is smaller: s or f?
s
Let u be (4 + -2 + -2)/(-23 + 22). Which is smaller: u or 3?
u
Let u be (488/(-183))/((-2)/3). Let t = 0 - -5. Let v = t - 0. Does u = v?
False
Let h = -1114 + 1114. Are -15/82 and h non-equal?
True
Let u = -111 + 111. Is u != 16/15?
True
Let i = -1.17 + -0.83. Which is smaller: 11/15 or i?
i
Let u = 3.8 + -3.3. Let v = 1.03 + -0.03. Let l = -1.1 + v. Which is bigger: u or l?
u
Let k = -320 + 312.1. Is k at least -1?
False
Suppose -4*t + 164 = 24. Let r = 40 - t. Is r less than or equal to 5?
True
Let n be (3/751)/((-63)/42). Which is bigger: n or -1?
n
Suppose 0 = -3*i + 2*s + 11, s = 3*i - 8 - 2. Suppose 4*m = 2*z + 24, 0*z + i*m = -3*z. Is z at least -5?
True
Suppose 2*b + 10 = -a + 5*a, -15 = 3*b. Let w be 3 + (-8 - -9) + (-70)/18. Let i = 5/9 + w. Which is greater: a or i?
i
Let x(k) = -2*k**2 - 24*k - 10. Let g be x(-12). Let s be 0 - (-207)/(-6)*g/15. Let f be -1*(-1 + 7)*-4. Which is greater: f or s?
f
Suppose 23*d = -d - 72. Let b(s) = -s**2 - 2*s + 1. Let w be b(-3). Let k be w/(-30) + (-3)/(-9). Which is bigger: d or k?
k
Suppose 15*r - 1133 = 262. Is 93 greater than r?
False
Let g = -0.1323 + 6.1323. Is -2/47 greater than g?
False
Let d be -428 - (-2 - (-1 - -2)). Let j = d - -5531/13. Which is smaller: -1 or j?
-1
Let b = -29/35 - -93/70. Do 7.11 and b have the same value?
False
Suppose -3*n = 4*d - 26, -n = d - 0*d - 7. Suppose 0*q - 4*g + 28 = 4*q, -5*q + 44 = n*g. Let k = q - 19. Is -9 at most k?
True
Let v = 13 + -11. Suppose -v*q + q + 3 = -5*o, -q = 3*o - 3. Is o at least -3?
True
Suppose -2*i = -3*j - 1392, -3446 = -5*i - 0*j - j. Let g = -84181/122 + i. Let f = g + -109/1586. Is f < -1?
False
Suppose -i + 3*a = 5, 5*i + 25*a - 15 = 20*a. Is i >= -80?
True
Let c = -52566/35309 + 100/67. Which is greater: -1 or c?
c
Let l be 9/(-15)*(-5 + 0). Suppose -o - 4*c = 5, l*o + 9 = -2*c - 6. Let n be (305/20 - 15)*-7*2. Which is smaller: o or n?
o
Let j(w) = -2*w**2. Let h be j(0). Let p(z) = -z**2 - 7*z + 1. Let s be p(-7). Which is bigger: h or s?
s
Let r be 9 - (-10)/(1750/(-1659)). Which is bigger: 1 or r?
1
Let l be (-11 - (-489)/57)*-1. Are 2 and l unequal?
True
Let g = -5120 + 25721/5. Is 23 at least as big as g?
False
Let q = -350 - -350. Is q > -5/46?
True
Let k = -15.286 - -15.386. Let n = -12.33 - -12. Is k <= n?
False
Suppose -3*c - 18 = -9*c. Let n be (c/6)/(-3 - (-70)/24). Is n bigger than -9?
True
Let g be (30/(-9))/((-4)/(-186)). Is -156 at most g?
True
Let g = -11 - -11. Suppose 4*u - s + 56 = -g*s, 0 = 5*u - 3*s + 63. Are u and -15 unequal?
False
Let y(h) = 68*h - 120. Let z be y(0). Which is bigger: z or -121?
z
Let s be -2082 - (-80)/(-70)*7. Which is smaller: s or -2089?
s
Let f(j) = -2*j - 29. Let y be f(-17). Suppose -q + 32 = -y*b - 29, -4*b - 3*q = 64. Let a be (28/(-10))/((-3)/(-15)). Which is bigger: a or b?
b
Let i = -0.13 - -0.03. Let k be (1/(-2))/((-15)/(-9) + -2). Which is smaller: i or k?
i
Let r be (-81)/(-36) + 1/(-4). Suppose -d + 3*d = r*x - 64, 142 = 5*x + 4*d. Suppose 0 = 3*g + 2*s - 31, -2*g - 4*s + x = -5*s. Which is greater: g or 12?
g
Let n(t) = t**3 - t**2 - t - 42. Let o be n(0). Let i be o/(-39) - (-1)/(-1). Which is smaller: 0 or i?
0
Suppose -k + 1 + 1 = 0. Suppose -15 = -k*c - c. Suppose -c + 2 = 3*j. Is j less than -1/33?
True
Suppose -2*u - 391 + 389 = 0. Is u > 2/181?
False
Let g be (-10)/2 + (-204)/(-51). Which is bigger: g or -2/963?
-2/963
Let v(q) = 19*q + 190. Let d be v(-10). Is d smaller than 7/22?
True
Let q(s) be the second derivative of s**4/12 + 5*s**3/6 - 3*s**2/2 + 8*s. Let g be q(-7). Is 14 greater than g?
True
Let z(x) = -x**3 - 2*x**2 + 2*x - 4. Suppose 2*d = d - 3, 5*u = -2*d - 21. Let q be z(u). Which is smaller: q or -1/4?
q
Suppose -5*n + 35 = 3*q, -69*n + 4*q = -72*n + 32. Let f = 1 - -1. Let p be f/8*(3 + 8). Is p greater than or equal to n?
False
Let s be 25828/(-104) - ((-112)/(-91))/8. Is s bigger than -250?
True
Let c = 3 + -6. Suppose 30 = -4*u + 14*u. Are u and c unequal?
True
Let s