h is greater: 2 or k?
2
Let x be (-4)/(-2) + 13*-3. Let r(f) = f**2 - 46*f - 347. Let j be r(52). Is x greater than j?
False
Let d be (7 + 1)*15/114. Let o = -267 - -247. Let n be (-5)/(-1)*((-124)/o - 6). Which is bigger: d or n?
d
Suppose -25 = 5*r, -21 = -3*j + r - 1. Suppose -2*f = 3*f - 25, -41 = -4*k - j*f. Suppose -14 = 3*l - k*l. Which is smaller: l or 17?
l
Let o = -345 + 315. Let l be (-5 - (-42)/12)*o/(-9). Let m(p) = -p**2 + 6*p - 4. Let j be m(6). Which is smaller: l or j?
l
Let p(q) = q**3 + 20*q**2 - 11*q - 4. Let z be p(-20). Let f be (-343)/(-8) + 27/z. Is f > 41?
True
Suppose 0 = 4*c - 20, 0 = 5*u + 3*c - 0*c + 45. Let r be 15 + (-3)/(u/(-20)). Suppose -r*b + 34 = -9*b. Which is smaller: b or 33?
33
Suppose 8 = -t - 4*z, -2*z - 3*z - 10 = 0. Which is smaller: 50/73 or t?
t
Suppose 3*v = 4*b + 2*v - 1, -2 = 2*v. Suppose 0 = 2*c + 2*p - 64, b = -5*p + 9 - 4. Let i = -33 + c. Is i > -1?
False
Let x = 37.47 - 0.47. Let u = x + -85. Let b = 53 + u. Are -4 and b equal?
False
Let j be -60*(74083/(-24747) + 3). Let g = j + 34/113. Does -1/5 = g?
False
Suppose 19*g - 10942 = -5470. Which is smaller: 279 or g?
279
Let c be 12/8 - 5/2. Which is smaller: 6/5243 or c?
c
Suppose -2*w - 4 = -2, w = 4*y - 569. Suppose h + 4*n + 62 = 17, y = -4*h + 3*n. Suppose g = -3*d - 53, -2*d + 119 = -3*g - 3*d. Is g less than or equal to h?
True
Suppose 336*n - 47 = -47. Is 47/115 greater than n?
True
Let c(i) = -i**2 + 7*i - 53. Let q be c(5). Suppose 0 = -u, -4*a + 0*u = u + 128. Let b be q/120 + a/(-80). Is 0 > b?
False
Let g(u) = 18*u**2 - 107*u + 1893. Let h be g(16). Do 4790 and h have the same value?
False
Let d(o) = o**3 - 17*o**2 - 70*o - 667. Let k be d(-11). Which is smaller: k or 2?
k
Let r = 3692 - 3690.357. Let a = r + -0.643. Let h = -2/43 + 182/215. Which is smaller: a or h?
h
Suppose 0*v - 117 = 3*v. Let y = 929 + -968. Is v at least y?
True
Let p be (-2 - -3) + -2*1. Let u(q) = q**3 - 22*q**2 + 115*q - 115. Let r be u(6). Are p and r non-equal?
False
Let w be (4848/(-2828))/((2644/(-14))/1). Which is smaller: w or 1?
w
Let l be ((-16)/(-4))/8 - (-6924)/(-24). Let x be 9/(l/(-172)) - 1. Which is smaller: 4 or x?
4
Let p = -4169 + 4216. Let q be ((-30)/(-8))/(3/40). Which is greater: q or p?
q
Let y(x) = 30*x**2 - 2*x - 1. Suppose -6*b = -b + 3*h + 14, 4*b = -5*h - 19. Let k be y(b). Let r be (k/(-62))/(-1 - (-11)/10). Which is smaller: r or -4?
r
Let m(f) be the first derivative of -20 - 1/2*f**2 + 3*f. Let l be m(0). Are 11/4 and l non-equal?
True
Suppose 16 = -s + 2. Let n be (s/175)/((-14)/10)*-5. Which is bigger: n or 0.1?
0.1
Let i be 4*3 - 1 - 1/1. Let d be (1 - 57)*(-1)/i. Let z be (10/(-8))/(27/(-108)). Is d at least as big as z?
True
Let o be 0/(-4)*(-18)/36. Is o smaller than 16/1295?
True
Suppose -y - 249 + 9 = -u, -5*u + 3*y + 1200 = 0. Suppose 0 = -4*v + 4*p + 220 - 60, 5*v - u = -5*p. Which is bigger: 43 or v?
v
Let t = 2 - 0. Let q = 7 + t. Suppose 5*k + 4*o - 40 = 3*o, 0 = 2*k - 4*o + 6. Which is smaller: q or k?
k
Let u(t) = 3300*t + 8203. Let j be u(-7). Which is smaller: -14896 or j?
j
Suppose 4*r = 2*y + 149 - 723, 3*y = 15. Let q = -92 - 49. Are r and q nonequal?
False
Let g be 13 + 3601/(-26)*-2. Which is smaller: g or 275?
275
Suppose 2436 = 1611*d - 1698*d. Which is smaller: d or -497/17?
-497/17
Suppose 4*r - 4*f + 7*f = 2445, 3061 = 5*r - f. Which is smaller: r or 611?
611
Let b be (7 + -2 - 7/(63/48))*9. Which is smaller: b or -58/37?
b
Let u = -104 - -3844/37. Let j = u + 308/111. Let w be 6/2 + -10 + 9 - 0. Which is bigger: w or j?
j
Let o = 99634.949 + -99704. Let k = 69 + o. Let t = k - 0.049. Are -0.1 and t equal?
True
Let h be ((-5)/3)/((-32)/96). Suppose -5*t - h*r + 65 = 0, -5*r + 2*r + 52 = 4*t. Is -5 > t?
False
Let i = 850 - 856. Let z be 47/((-47)/i) + (-340)/57. Let q = -1 - -1. Are q and z nonequal?
True
Let i = -2846 + 2846.5. Is 1.046 < i?
False
Let c = 1.672 - 2.002. Is -0.012 >= c?
True
Let p be (-6)/(-51) + (-3 - 351/(-51)). Let m be p/14 + 2820/28. Is 101 bigger than m?
False
Let q = 2945 + -2945. Let z = -166/49 + 13534/3185. Let n = z - 6/13. Is q less than n?
True
Let j(f) be the third derivative of f**4/8 + 4*f**3/3 + f**2. Let g be j(-6). Let h(u) = -21*u - 491. Let q be h(-23). Which is bigger: g or q?
q
Let t(p) = -p**3 + 9*p**2 - 21*p + 10. Let r be t(5). Suppose 3*f + r*z - 168 = 0, 0*z - 5*z = 2*f - 112. Suppose 5*v + 61 = 2*n - 56, v = -1. Is f less than n?
False
Let b = 27 - 41. Let j = b - -6. Let n = 14 - 14. Is n greater than or equal to j?
True
Suppose 0 = 84*n - 80*n, -33 = -3*f - 10*n. Suppose 0 = -2*a + a - 16. Let h = a - -27. Is h less than f?
False
Let p = -2 + 10. Suppose 0 = -3*h - 4*n - 4 + 11, 4*h = n - 16. Let d be -6 - h*365/75. Is d at least as big as p?
True
Let c(q) = 2*q**3 + 6*q**2 + 15*q - 27. Let o be c(7). Let a = o + -17995/17. Let s be (11 + -3)/(-4) + 1. Is s at most a?
True
Let g be (12/10)/3*-130. Let z = 1235 - 1235. Which is smaller: z or g?
g
Let k = -1019 - -602. Is k >= -417?
True
Let b(u) = -u**2 + 8. Let l be b(2). Suppose 0 = -4*i - 4*k + 4, i - 2*i - l*k = -13. Let j be -1 + (i - 2) + -1. Is j at most -6?
True
Let o = -1419/7 - -203. Let z be 2/(-1 + 0/(-1)). Let i(d) = -2*d + 6. Let y be i(z). Is o smaller than y?
True
Suppose 22 = 2*q + 9*q. Let j = -4 + 3. Let n be j/(6 - (-6)/(-3 + 0)). Is q at least n?
True
Suppose -4*h - 23 = -j, 5*j - 5*h + 10 - 50 = 0. Let y be (0 + j)*(-1)/(-3). Which is bigger: y or 1/32?
y
Let b = 215 + -223. Let p(y) = 5*y + 39. Let z be p(b). Which is greater: z or 4/243?
4/243
Let d be (-75)/(-25) + (250/(-15) - 5). Let p(l) = 5*l + 7. Suppose 0*f + 5*f = -25. Let k be p(f). Is d < k?
True
Let y = -6162 + 6152. Let z(h) = h + 4. Let a be z(-12). Is a at least as big as y?
True
Let r be (-1016)/(-10)*(-6)/144. Let s = -59/6 - r. Let a be 2/4*5/(-10)*2. Which is greater: a or s?
a
Suppose -2*a - 5 = 3. Let u = -2/1350165 - 19802414/4050495. Which is smaller: u or a?
u
Suppose 0 = -5*s - 4*j + 1656 + 2292, 5*s - 3*j - 3934 = 0. Suppose -s = 6*b + 22. Let n be (-118)/b + 32/(-40). Is n != 1/3?
True
Let o = 6289.7 - 6293. Is -16 at most o?
True
Suppose -8*a - 6 = -9*a. Let c = 660 - 675. Which is smaller: c or a?
c
Let j(n) = 161*n + 278. Let g be j(-5). Let b = -156 - 372. Which is smaller: b or g?
b
Suppose d - 5*p = 266, -2*d + 4*p + p + 542 = 0. Let x = d + -146. Suppose 0 = 8*j - 21*j - x. Is j less than -11?
False
Suppose -22*v - 12578 + 19182 = -14164. Which is smaller: v or 943?
943
Suppose -1591 = -49*k - 0*k + 124. Which is bigger: 384/11 or k?
k
Let v = -0.021 + 27.021. Let m = 27.13 - v. Which is smaller: 0 or m?
0
Suppose -3*r = -117 + 417. Let h = r + 14. Is h equal to -87?
False
Let x = -177.29 - 0.71. Let s = -179 - x. Which is smaller: s or -0.98?
s
Let y = -50 - -73. Suppose 0 = -y*o + 28*o - 45. Suppose -6*b = -o*b - 12. Which is smaller: b or -9?
-9
Suppose 16*k = -11*k + 3024. Let t be 15/(-10) + k/64. Let v be (2/42)/(3/3). Which is smaller: t or v?
v
Let g = 2276 + -2273. Is 23/6 bigger than g?
True
Let p = 0.13 + -0.03. Let m(g) = 3*g - 27. Let x be m(9). Suppose x = -8*l - 60 + 556. Which is greater: p or l?
l
Let v = 125029 + -5876132/47. Which is bigger: 5 or v?
5
Suppose -3 + 15 = 2*w. Let f be 6 + (-87)/30 + 4/(-40). Suppose 5*n = -f*n + 56. Is w smaller than n?
True
Let y = -859901/3 - -44776787/156. Suppose 5*w = -5*j + 1965, -5*j - 16 = w - 393. Let d = w - y. Is 0 greater than or equal to d?
True
Let f be -4 - (15/12 + (-205)/20 + 4). Which is greater: f or 3/8200?
f
Let o = 1489 + -1655. Which is smaller: o or -165?
o
Let d = 0.2038 + -0.0238. Which is smaller: d or -34?
-34
Suppose 3*n - 264 = 117. Let k be (-41)/6 + 7 + n/(-6). Which is bigger: -22 or k?
k
Let r be 132*1*7/((-28)/(-9)). Let v be (-2391)/r + (-5 - 43/(-9)). Let g = 8 + v. Which is bigger: g or 8?
8
Let l(k) = -18*k**2 + k - 4. Let s be l(-3). Suppose 63*n = -3736 - 6974. Which is greater: s or n?
s
Let j = -364 + 378. Let w be (2 - (-120)/(-66)) + j/(-682). Which is greater: 1 or w?
1
Suppose -190*n + 197*n + 12033 = 0. Let b be 3/(n/234 - (-4)/(-26)). Is b != 423?
True
Suppose -30 = -5*n + 5*d, -n + 4*n + 10 = -4*d. Let j be 3/(-2)*((-111)/(-51) - 3). Do j and n have different values?
True
Let z = 1 + -1. Let 