ose 5*h + 2*h + 245 = 0. Let b = h - -38. Suppose -4*t = -4*y + 148, b*t + 0*t - 53 = -y. Does y = 41?
True
Suppose -6*h + h = 0. Suppose 3*y + 15 = 0, -3*o + 2*y = -h*y - 1. Let g be 7*3/4 + 91/(-13). Which is smaller: o or g?
o
Let h = -0.687 - 479.313. Let l = 452 + h. Suppose -6*g + 2*g + 4 = 0. Is g <= l?
False
Let j be (6 + -24)/((-12)/(-6)). Let n(d) = -5 - 7 - 4 - d. Let k be n(j). Which is smaller: -5 or k?
k
Let h be 1*-4 - 936/(-126). Let r = -3 - 10. Let k = r - -16. Is k less than h?
True
Let o = 3029 - 3026. Are 301.5 and o non-equal?
True
Let b be ((-240)/2)/(-6*5/765). Which is bigger: b or 3063?
3063
Let h = 3780207/97232979586 - 1/1864022. Is 0 not equal to h?
True
Let z = -7017/4 + 1611. Let s = -143 - z. Is 198 <= s?
False
Let m = 2206/9 - 728/3. Let h be ((-4)/6)/(12/90). Let k(n) = -n**3 - 5*n**2 - 2*n - 8. Let w be k(h). Are m and w non-equal?
True
Let w(v) = -2*v**2 + 23*v + 44. Let q be w(18). Let m = q - -133. Which is bigger: -56 or m?
-56
Let w = -77 - -81. Suppose -w*a + 2*a + 9*a = 0. Let s be ((-2)/92)/((-33)/(-132)). Is s at least as big as a?
False
Let a = 319716 + -319666. Let g be 298/6 - 6/9. Is g not equal to a?
True
Let i be (-1)/4*-1 - (-75)/(-12). Let t be 2/2 + 1 + i. Let h be (84 + t)*4/(-10). Is -31 equal to h?
False
Let s = 777 + -798. Let k be (154/s)/((-22)/(-77)). Let z be -13*(4 - 2)*1. Is k at most as big as z?
False
Let q = -569 - -574. Suppose 0 = 27*y - 22*y + q. Is 2.31 != y?
True
Let n = -337 + 109. Let g = n + 226. Is g equal to -131/5?
False
Let m = 2/8735 + -11803/13399490. Is 0 greater than or equal to m?
True
Let r(a) = -a**3 + 5*a**2 + 2*a + 3. Let p = -3 + 8. Let l be r(p). Suppose y = 1 + l. Is 12 <= y?
True
Let z = 7133/139854 + 1/3586. Let h be (-1)/(-2) + 102/(-208). Let l = h - z. Which is smaller: l or -1?
-1
Let o = 6 + 2. Suppose -80 = -4*c - v + 32, -2*c + 3*v = -56. Suppose -c = o*n - n. Is 1 at most n?
False
Let i = -0.532836 + 0.032836. Let l be ((-2)/4)/(2/24). Is l <= i?
True
Let p = -0.1 - -0.3. Let j = -1975.4 - -1975.57. Which is bigger: p or j?
p
Let z = 7243 - 7243. Let k be (-6)/1388*8/(-12). Is z at least as big as k?
False
Let o be (-4)/18 + (122/12)/(9/(-6)). Which is greater: 8/45 or o?
8/45
Let v(d) = 2*d**3 + 3*d**2 + 3*d + 2. Let x be v(-2). Let m be (-5 + 4)*1 - (-1 + -49). Suppose -44 = 4*r - 4*u - 0*u, -3*u + m = -5*r. Is x bigger than r?
False
Let g be (106/(-6))/(2/6). Let y = -11698 - -11652. Let v = g - y. Is v greater than or equal to -9?
True
Suppose 6*b - 70 = 2*b + 5*u, 0 = 3*u - 6. Let f be 7/4 + 2 + (-35)/b. Let j be (f - 30/12)*0/(-2). Which is smaller: j or 1/13?
j
Let b = -73301658 + 30839566. Let y = b - -2675182669/63. Let o = y - 1125. Is o less than or equal to 0?
True
Suppose 2*q + 9682 = -27*q - 18*q. Which is greater: q or -199?
-199
Let c = 15332 + -15532. Which is smaller: -199 or c?
c
Suppose t - 25*f = -26*f - 7, 3*t - 35 = 5*f. Is 169 < t?
False
Let c = -20 + 23. Let g = -1 + c. Let b = 434/9 + -48. Which is greater: g or b?
g
Let i be 2/((-4)/(-18) + (-192)/(-108)). Let j be (23959/(-39))/((-1228)/(-6)) - -3. Which is smaller: j or i?
j
Let h = 73900/63 + -14989/9. Is h smaller than -493?
False
Let s = -120/7 + 166193/9695. Is 4/9 <= s?
False
Let k = 617 + -602. Let c = 6 - 4. Suppose -3*m = b - k, c*m - 25 = 5*b - 3*m. Which is greater: b or -10/9?
b
Let b = -876 - -875. Is b greater than -2/24599?
False
Suppose q - 28 = a, -2*q - 92 = 4*a - q. Suppose -10435 = 412*j - 547. Is a greater than or equal to j?
True
Let i be (4 - 1)/9 - (-39610)/(-118650). Let p = i + -731667/15820. Which is smaller: p or -46?
p
Suppose 10*v - 7*v - 28*v - 25 = 0. Is 2/2043 equal to v?
False
Let l = -3.3715 + 192.1415. Let r = -189 + l. Which is smaller: -3 or r?
-3
Let p = 0.395 + -33.895. Let f = p + 26.5. Let k = 1.9 - 2. Which is bigger: k or f?
k
Let a(z) = -56*z**2 - 28*z - 52. Let o be a(-2). Which is smaller: -210 or o?
o
Let f(x) = x**2 - 5*x + 5. Let h be f(5). Suppose -h = s - 2*s. Suppose 0 = -5*o + 3*t + 20, 4*t + 12 = -s*o - 3. Which is smaller: 1/71 or o?
1/71
Suppose 11*v - 846 - 1321 = 0. Suppose -7*a = 132 + v. Is -49 bigger than a?
False
Suppose 0 = -c - 1 + 5, 4*c + 90 = j. Let o = -2119/20 + j. Let x = 309 - 309. Is x less than or equal to o?
True
Let c(g) = g**3 - 12*g**2 - 10*g - 123. Let m be c(11). Is m at least as big as -357?
True
Suppose 2*m + 54 = 3*n, 4*n = -3*m + 50 + 5. Let i = 24 - n. Let p be (-473)/(-44) + 2/i. Which is smaller: p or 52/5?
52/5
Let x = -65 - -68. Suppose -4 = x*f - 4*u, 2*u = -3*f - u - 39. Let v be 107/(-4) + (-1 - 6/f). Is v at least -28?
True
Suppose 13*n - 24 = n. Suppose 0 = 5*o + n - 17. Is 30/11 less than or equal to o?
True
Suppose 15 = 4*k + 3*c - 0, k + 20 = 4*c. Suppose -24*n + n = k. Let u = -341/30 + 61/6. Which is bigger: u or n?
n
Let r = -42.36 + 42. Let m be ((-38)/45)/2 - (-340)/1530. Is r less than m?
True
Let a(o) = 11*o + 83. Let f be a(-8). Let s be (f - (5 - 10))/(-5). Which is smaller: 2/73 or s?
s
Suppose 31 = 2*r + w, -4*w - 2 = -2*r + r. Let o(b) = b**3 - 13*b**2 - 15*b + 20. Let g be o(r). Suppose -c - 4*c - g = -l, 3*l - 3 = 0. Is c != -4/59?
True
Let h be ((-2)/(-4))/(4/8). Let a be 2 - (-8 - (-3)/h). Suppose 35*b - 465 = -33*b - 25*b. Which is smaller: b or a?
b
Suppose -k + 6 + 1 = 2*y, 5*k = -4*y + 29. Let f(b) = -2 + 6*b**2 - 11 - 3*b + 0 - k*b**2. Let a be f(6). Is a at most as big as 10?
True
Let d = 0.96 - 38.96. Let n = -0.0949 + 37.7949. Let s = n + d. Is s at most -1/4?
True
Let q(o) = o**3 + 4*o**2 - 2*o - 8. Let j = 25 + -29. Let z be q(j). Let b(w) = -w**3 + 19*w**2 - 17*w - 17. Let h be b(18). Which is bigger: z or h?
h
Let s = 41/30 + -7/6. Let f = -4/19633 + -2689377/1688438. Let w = -4/43 - f. Is w bigger than s?
True
Let s be ((-2)/((-324)/(-1953)) + 12)/(526/4). Which is smaller: s or -1?
-1
Suppose -6 = 2*t, 4*w - 235 + 2042 = 3*t. Which is bigger: -460 or w?
w
Let k be (-13 - (-1365)/104 - 63/(-8)) + -8. Let i be ((-68)/330)/((-111)/(-32)). Let l = 2/1665 - i. Which is smaller: k or l?
k
Let f = 0.4062 + -0.3918. Let g = -111 + 111. Is f equal to g?
False
Let l = -21.833 + 1.363. Which is smaller: 0.1 or l?
l
Suppose 3*x + 4*z - 8 = 0, 0 = x + 4*z + z + 1. Is x bigger than 4?
False
Let v(p) = 9*p - 18. Suppose 0 = -5*d + 342 + 133. Suppose 9*f - d = -41. Let g be v(f). Is 36 != g?
False
Let s = 292 - 289. Suppose 4*c = n + s, c + 1 + 2 = n. Which is bigger: 42/11 or n?
n
Let v = 15317/8358 + 1/1393. Let z = 285 - 276. Are z and v nonequal?
True
Let q = -197.511 - 0.489. Let y = -197.3 - q. Is 0 at most as big as y?
True
Let y(c) = 187*c - 11405. Let w be y(61). Does 146/51 = w?
False
Suppose -z - 1 = -5*x, -25 = -7*x + 5*z - 20. Let d be -3 + ((-129)/(-33))/1. Which is bigger: d or x?
d
Suppose 0 = w + 2, -4*h = -5*w + 106. Let j be 14/(-10) + (-24)/40. Let t be j*15 + 1 + 1. Is t at most h?
False
Let k = 185 + -268. Is -1246/15 less than or equal to k?
True
Let m = 14.431 + -14.1645. Which is bigger: m or 0.3?
0.3
Suppose 5*w - 5*r = 40, 0 = -2*w - 0*w + 5*r + 19. Suppose -6*k - 10 = -w*k. Do 11 and k have the same value?
False
Let z = -0.11 - -0.01. Let q be (576/126 - 5)*-2. Is q at most as big as z?
False
Let p be ((-648)/(-42))/(2 + -64*(-4)/(-136)). Are p and 132 unequal?
True
Let a = 1490 - -1735. Which is smaller: 3227 or a?
a
Let r be ((-15)/(-30))/((-1)/(-6)). Suppose r*p - 4*p = 5*n + 8, -n - 16 = 5*p. Let j = 103 + -722/7. Are n and j unequal?
True
Let d be -4 + (-60)/(-16) - (-3)/(300/45965). Which is smaller: 460 or d?
d
Let i = 5.476 - -39.524. Is i smaller than -1.2?
False
Suppose 5*f + 4*x + 245 = 0, 4*x - 187 = 4*f - 27. Let n be (-3)/f*3*(-50)/(-10). Which is greater: 18 or n?
18
Let j = -0.09848 - 0.04152. Is 8/71 bigger than j?
True
Let f(l) = -70*l + 1415. Let v be f(63). Which is bigger: v or -2991?
-2991
Let d = -5709 + 17126/3. Which is greater: 18/7 or d?
18/7
Let w = 559974/5 + -112730. Let u = 1473/2 + w. Which is bigger: u or 2?
2
Let j be 9594097/(-599633) - (-15 - 1). Which is greater: j or -1?
j
Let c = 3701 + -2413. Let i = 74347/6 + -133361/12. Let m = i - c. Which is greater: -10 or m?
-10
Let y(p) = -p**3 - 4*p**2 + 3*p. Let h be y(-5). Suppose 97 = 2*l + 49. Suppose 4*m - 1 = s + 1, l = 3*s - 2*m. Is s smal