ual to k?
True
Let g be (-418)/(-570) + 3/(-45). Which is greater: 517/4 or g?
517/4
Let u be (-9)/(2 + 33/(-15)). Suppose -4*m - u = m. Let t be 23 - (7 + 14) - 4*3/1. Which is bigger: m or t?
m
Let v(s) = -2*s**2 - s + 1. Let f(w) = -5*w**2 - 7*w + 12. Let g(u) = -f(u) + 4*v(u). Let q be g(2). Which is greater: q or -41/3?
-41/3
Let t be (-18 - 1760/(-100))/(4/(-1430)). Is 145 at least t?
True
Let k be 6 + (84728/3535)/(-4). Let z = -2472/57065 + k. Which is bigger: -1 or z?
z
Let c(f) = 3*f - 109. Let x be c(-6). Which is greater: x or -12?
-12
Let t(q) = 10*q**2 - 7*q + 51. Let u be t(5). Suppose -8 = 2*f, -12*f + u = -2*y - 9*f. Is y less than or equal to -140?
False
Let m = 0.67 + -0.57. Let d = 61096/2561 + -310/13. Is m != d?
True
Suppose 4*y = -0*y - 4*t, -t - 1 = 0. Does -1/255 = y?
False
Let c(x) = 3*x**2 - 41*x + 107. Let p = -135 + 145. Let y be c(p). Let a(l) = 3*l + 2. Let j be a(-5). Is j at least as big as y?
False
Let p = -2.132 - 0.868. Is 0.0698 less than p?
False
Let z(y) = y - 43. Let q be z(39). Let u be (q/4)/((-9)/(-45)). Which is smaller: 8 or u?
u
Let s = 0.01107 - -0.01893. Which is greater: 17.49 or s?
17.49
Let c be ((-414)/(-506))/(3/3729). Is c at least 1018?
False
Let y be (4/(-36)*-39)/((-8)/24). Is -71/3 equal to y?
False
Let x = -14121 + 20487. Which is greater: x or -0.1?
x
Let o(q) = -q**2 + 167*q - 6926. Let n be o(89). Let v = 0.1 - 0.1. Is v less than or equal to n?
True
Let q = -3077/109646 + 1/1502. Suppose -3*k = 2*k - 120. Let d = k - 25. Which is smaller: q or d?
d
Let h(s) = -s**2 + 6*s + 19. Let q be h(-3). Which is smaller: -101/12 or q?
-101/12
Suppose 3*l + 52 = -l. Let y = 3 - l. Suppose -2*o = -3*w - 24, 3*w + y = -w. Do 21/4 and o have the same value?
False
Let m be 4/58*(-5993)/26 - -1. Which is bigger: -14 or m?
-14
Let p = -103 - -101. Let j be 245/(-75) - 4/8*p. Is j at least as big as -2?
False
Suppose -4*q = 2*l - 22, -2*l + 2*q + 18 = 4*q. Suppose l*b = 65 + 40. Are -1 and b unequal?
True
Suppose 1716*c = 1710*c + 8022. Which is greater: c or 1335?
c
Let w = -12442 - -12441. Let l = 1.8 + 2.8. Is l < w?
False
Let r = 603 - 269. Suppose 0 = -j - c + 348, -5*j = 3*c - 2070 + r. Is 346 greater than j?
False
Let p(h) = h + 2. Let o(g) = 3*g + 5. Let j = -13 + 19. Let y(t) = j*o(t) - 14*p(t). Let a be y(-1). Is a <= -0.12?
True
Let t = -1484 - -1634. Is 145 at least as big as t?
False
Let z be ((-78)/12)/((-11)/(-22)). Let x be (36/1)/(((-312)/(-60))/z). Which is smaller: x or -1/2?
x
Let s = 671857 + -671843. Let k = 1.7 + -1.63. Do s and k have different values?
True
Suppose 18*y - 80 = 98*y. Is y smaller than -2/259?
True
Let h = -15251 - -15250.789. Is h smaller than 25?
True
Suppose 4*h + 5*h = -252. Let o = h - 9. Let d = 112/3 + o. Which is smaller: d or 16?
d
Suppose 3*l + 5 = -3*b + 11, 0 = 2*b + 4*l - 8. Suppose b = -43*n + 36*n + 2226. Is n >= 319?
False
Let x(p) = 2*p**3 + 16*p**2 + 28*p + 131. Let b be x(-8). Let d(f) = -92*f**2 - f. Let c be d(-1). Which is smaller: c or b?
b
Let n = 1047 + -1047.12. Let z = 2 - 1.3. Let p = 0.5 - z. Which is greater: p or n?
n
Suppose -c = 7*c - 2960. Suppose 0 = -3*j + 2*s + c, -s + 486 = j + 3*j. Is j at most as big as 122?
True
Let u = 2 + -8. Suppose -48 = 3*b + 4*z + 12, -5*b + 2*z = 126. Are u and b nonequal?
True
Let h = -14073 - -52633021/3740. Which is smaller: 0 or h?
0
Let d(k) = -2*k**3 + 100*k**2 - 94*k - 125. Let i be d(49). Which is smaller: i or 1013/14?
i
Suppose 0 = 2*u + v - 2, 17*v = 22*v. Which is bigger: 531/2 or u?
531/2
Suppose 3*r - 1831 = -3*n - 562, -2118 = -5*r - 2*n. Let s = -425 + r. Let w be 10/11*(-6)/(-15). Which is greater: s or w?
w
Let l = -7 + 10. Suppose 5*a - 4*g + l = -g, 2*g = 2. Let r = 1168/3 + -103949/267. Do a and r have different values?
True
Suppose 7*a + 39 = 501. Let g = -62 + a. Let i be 1*g/10*(-10)/(-22). Which is smaller: 3 or i?
i
Suppose 0*t - t = 3*x + 160, 3*t - 262 = 5*x. Let z = 2910 - 5927/2. Let y = z - x. Which is bigger: 14 or y?
14
Let w = 679.616 + -679. Let m = -0.682 + w. Is m <= -3?
False
Let x = 0.8736 - -0.1264. Is 5502 at most as big as x?
False
Let u be (-64670)/14 - 405/567. Which is smaller: u or -4619?
u
Suppose 639*w - 372 = 636*w. Suppose -5*u + 0*u - 3*s = -4, -s - 2 = 0. Suppose -6*d = -u - w. Is 22 at most as big as d?
False
Let g = 1 - -4. Suppose -21 = g*b - 16. Let y be (3/(-291))/(b*(-9)/(-6)). Are y and -1 unequal?
True
Let a be (-23)/15755*(-5)/2. Let j = a + 135/548. Which is smaller: j or -0.036?
-0.036
Let n = 11 + -7. Let p be n/8 + 315/6. Which is greater: p or 50?
p
Let a = -6 + 9. Let v = 1 - a. Suppose -5*q + 948*r = 951*r + 48, 5*q + 4*r + 39 = 0. Which is greater: v or q?
v
Suppose 142160 - 65873 = -192*i - 200385. Which is smaller: -1445 or i?
-1445
Let v(c) = -5*c**2 + 1. Let p be v(-1). Let u be p/(-20)*-343 - -4. Let g = u - -65. Which is smaller: 8 or g?
g
Let j = -8 - -9. Let m = -1/712 + -1415/6408. Is m < j?
True
Let t be (4*-2)/(7296/(-3594) + 2). Let w = t + -266. Is -1 greater than w?
False
Let r = 33 + 7. Let y = -39.85 + r. Let i = y + 1.85. Which is smaller: 2/3 or i?
2/3
Suppose -4*p + 4*l - 12 = 0, 0 = -p + 2*l - 62 + 56. Let x = 57295/657 + -784/9. Which is bigger: p or x?
x
Suppose 4*k = 9*k - 50. Suppose 16 = 14*r - k*r. Let o be (-2)/r + 637/(-26). Which is smaller: 1 or o?
o
Suppose -25*x - 155 = 20. Let d(h) = -6*h**2 + 15*h + 59. Let g be d(x). Is -340 greater than g?
False
Let s = -0.15 + 0.05. Let c = 357850/71 - 5040. Is s greater than c?
False
Let u = -5.0646 - -4.1846. Let l = -1.8 + 1.4. Which is smaller: u or l?
u
Let q be (-2380630)/994*(-4)/(-10). Which is smaller: q or -962?
-962
Suppose 4*i + 25*p = 22*p - 16, p - 12 = 3*i. Let h be (-3*i/36)/((-1)/(-3)). Which is bigger: h or 15/46?
h
Let q(g) = 1172*g - 3515. Let c be q(3). Which is greater: c or -7910?
c
Let d = 457 - 457.03. Is 44 >= d?
True
Suppose -l + 5 = 0, -4*l = 5*g + 2619 - 2974. Let f be ((-24)/10)/(4/(-110)). Which is bigger: f or g?
g
Let w = 715/348 - 4483379/2181612. Which is smaller: w or -1?
-1
Let d = 713 - 1379. Let m = 38 - 26. Let p be m/d - (-1 + 1). Which is smaller: p or -1?
-1
Let z = 11 - 9.2. Let r = -1.9 + z. Let w = 1.73 - 0.93. Is r < w?
True
Let k be (-2)/(-14) - -1095*(-8)/168. Let m be 20/(-8)*k*(-5 - -4). Which is smaller: -129 or m?
m
Let f = -313 + 335. Suppose 7*g - f = 48. Let o be (-2)/(-3) + 20/(-75). Is o > g?
False
Let i = 333 + -333. Suppose i*r = 2*o - 3*r + 915, 0 = -4*o - r - 1837. Is o >= -459?
True
Let o = -63 + 75. Suppose -43 + o = 31*s. Which is smaller: s or 8/61?
s
Let k = -26637/5 - -5325. Is k <= -2?
True
Let v(h) = -3*h**3 - 3*h**2 + 8. Let c be v(-2). Suppose 5*g + c = 0, -21 = 4*j + 4*g - 13. Let l be 4/10 - 44/(-90). Does l = j?
False
Suppose 126*z = -104*z + 2070. Which is greater: z or 7?
z
Let h be (5 + -4)/(15/18 - 1). Let i be (-10)/(-8)*(-6 + 2). Let z be 1/i + (-4)/5. Is z greater than or equal to h?
True
Suppose -42 = g - 8*g. Let j = g + -5. Let o be j + 2 - (-362)/(-122). Which is smaller: 0 or o?
0
Let h be 294/28*(-6)/(-9). Suppose 6 = -9*v + h*v. Is v >= -72/19?
True
Let z = -71.9 - -26.9. Let i = -10.9 + 55.5. Let w = i + z. Which is smaller: w or -0.2?
w
Let p be 2518425/(-3266536) - (-6)/8. Let i = p - -2/641. Which is greater: i or -1?
i
Let x = -10 - -32. Let y be (x/(-33))/((-6)/207). Which is bigger: -7 or y?
y
Let l = 1292 + -14188/11. Let a(z) = z**2 - 93*z + 93. Let t be a(1). Is l at most t?
False
Let w be (4 + -13)*1155/99. Are w and -120 equal?
False
Let x = 291 + -287. Suppose -3*k = -x*v - 5 + 196, 4*k + 296 = -5*v. Which is greater: -70 or k?
k
Let r be 9/((-36)/298)*-2. Which is smaller: r or 142?
142
Suppose 0 = -4*i - 146 - 110. Let f = -72 - i. Let x(m) = -m**2 - 4*m - 1. Let w be x(-5). Are f and w equal?
False
Let g be 12/(-40)*(-61)/(-3). Let r = -40/1461 + -846502/138795. Let x = g - r. Is x at most as big as -1?
False
Let a = -772 + 776.32. Let d = 14.18 + a. Which is greater: -0.3 or d?
d
Suppose -2*j - 3 = 5*v, 49*j + 39 = 44*j - 2*v. Is j less than 0.238?
True
Let i be (-1)/(-451282)*1193350 + (-12)/102. Let t = i + 12/1021. Is t at least as big as 3?
False
Let t be ((-3)/1)/(-3) + 3242/(-16). Let b = 353 + -151. Let d = b + t. Is d > 1?
False
Let p be 4 + (7