 Which is smaller: 616 or a?
a
Let x = -144 + 154. Let l be ((-4)/x)/((-1)/(-5)). Which is bigger: l or -15/22?
-15/22
Let x = -26.69 - -27. Let a = -4.92 - x. Let i = a - -5.4. Which is bigger: 2 or i?
2
Let u = -0.3448 - -0.2448. Which is greater: -3.756 or u?
u
Let s be (-1)/(-2)*27/(189/3542). Let o = s + -251. Which is bigger: 0.086 or o?
o
Let n = -2271 - -2271. Which is greater: n or 8?
8
Let o(g) = 15*g - 409. Suppose -111*h + 52 = -109*h. Let c be o(h). Let m be 3 + -1 - (16 - 0). Is m greater than c?
True
Let r be 52/(-112) + ((-12)/21)/2. Let z(p) = 2*p**3 + 3*p**2 - 4*p + 1. Let o be z(2). Let g = -107/5 + o. Are r and g equal?
False
Let d be 0*((-16)/28 + 45/84*2). Is d > -1/181?
True
Let g(p) = -p**3 + 28*p**2 - 94*p - 26. Let y be g(24). Let s be (-4)/12 + 67/3. Are y and s equal?
True
Let c = 131104.9175 + -131285. Let d = -180 - c. Which is smaller: d or -2/5?
-2/5
Let q(w) be the first derivative of -w**3/3 + 11*w**2/2 - 20*w + 33. Let r be q(6). Let s be -7 + r - ((-75)/(-27) + 0). Which is greater: s or 2/3?
2/3
Let u(q) = 32*q**3 - 187*q**2 + 25*q - 125. Let n be u(6). Is n less than or equal to 0?
False
Let y = 0.6149 - 0.0749. Which is smaller: y or 35?
y
Let x = 81 + -76. Suppose 0 = -y + 5*r - 1, -3*y + 2*y - r = -x. Suppose -y*z - o = -0*o, -4*z - 2*o = 0. Do 1/16 and z have the same value?
False
Let u be (1404/2106)/(44/6*(-242)/3). Is u < 0?
True
Let y be (60/(-70))/(1 - (-51)/(-42)). Suppose 10 = -6*m + y. Which is smaller: -2/257 or m?
m
Suppose 0 = 4*o - 2*j - 6 + 10, -4*j + 30 = 3*o. Suppose -2*w - 4 = 2. Let q = w - -3. Is o >= q?
True
Suppose -3*n + 7 + 2 = 0. Let s be 3/(n/(-10)) + -1. Let d = 5219 - 5219. Which is bigger: s or d?
d
Let j be 58/((-3132)/81) + (0 - -1 - -1). Which is smaller: 12299 or j?
j
Suppose 14*p - 2*t - 24 = 10*p, -t = -3*p + 17. Suppose -2*a - q - 21 = -0*q, -p*a + 4*q = 85. Let c(m) = -4*m - 2. Let l be c(3). Which is bigger: a or l?
a
Suppose -12*p = -26*p + 896. Let a be (20/24)/(40/p). Is 1 at most as big as a?
True
Let b be 9/(9/(-2768))*(-8 + 7). Are 2768 and b unequal?
False
Let f = -65492375/60186 - 4/10031. Is f less than or equal to -1089?
False
Suppose -2*f = -4*q + 3930, -4*q = 4*f - 2564 - 1384. Which is smaller: q or 985?
q
Let r = 448 - 388. Let v = -13 + 74. Let c = v - r. Is c != 1?
False
Let k(r) = r**2 - 9*r + 3. Let h be k(9). Suppose 2*c = -j + 4, 3*j - c = -h*c + 12. Let a be (2 - 57/9) + j. Is a > 0?
False
Let s = 44 - 30. Let t(k) = -k + 47. Let o be t(s). Which is greater: -2 or o?
o
Let m = 3644056/47 - 77534. Let t = -6 - -5. Is t <= m?
True
Let c be (4/(-30))/(22090/(-3346860)). Let l = c + -3/2209. Which is smaller: l or 21?
l
Let n(g) = -165*g + 40. Let y(w) = -2*w**3 - w**2 + 2*w - 2. Let r be y(-2). Let a be n(r). Let j be ((-40)/a)/(2*1/(-5)). Is -0.3 at least j?
False
Suppose -1 - 7 = 4*n, -4*b - 5*n + 10 = 0. Suppose -d + 28 = b*t + d, 2*d = 2*t. Suppose -2*y - t = i, -2*y - 6 = -2. Which is smaller: 1/3 or i?
i
Let d(x) = -3*x**2 + 93*x - 478. Let g be d(24). Let u = 12 + -7. Suppose 70 = 2*f + u*w - w, f = -4*w + 45. Is g greater than f?
True
Suppose 0 = -8*g + 5*g - 39. Let j(a) = -56*a + 829. Let n be j(15). Do n and g have different values?
True
Let n be (-4)/10 + (-44)/(-10). Suppose -5*r = -4*t - 35, 2*t + 4*r = n - 2. Let j = 1177 - 8269/7. Which is smaller: t or j?
t
Let r = -40617/7 - -5802. Is 2/485 not equal to r?
True
Let z = -56/79 - 36/395. Which is smaller: 387 or z?
z
Suppose 5*y + 1412 = -188. Let h = -222 - y. Which is bigger: h or 99?
99
Let c be -6 + (18/(-6) - -14) - 57645/11525. Which is greater: -1 or c?
c
Suppose -3*c = -3, -33*c = p - 31*c + 228. Which is smaller: -457/2 or p?
p
Let o = 891 + -1130. Which is bigger: 8 or o?
8
Let p = 28716 + -28717.1. Suppose -5 - 11 = -4*q. Is p <= q?
True
Suppose 3*p + 2*p = -2770. Let n be (31/(-5))/((-72)/(-6420)). Let x = n - p. Which is bigger: x or -0.2?
x
Let k = 97782/7 - 13944. Is 25 less than or equal to k?
False
Let i = 0.828 - -0.072. Let q = 0.64 - i. Is -5/6 != q?
True
Let c = -1/815 + 1703/59495. Let i = c - -39/1241. Which is greater: 12 or i?
12
Suppose 4 = -3*w + 49. Suppose -7 = -16*v + w*v. Suppose 9*s - v - 2 = 0. Is s at most 1/33?
False
Suppose 3*o + c = -568, -5*o + 5*c - 924 = c. Let h = o + 218. Which is smaller: 2/9 or h?
2/9
Let m be 3/(-9) - 825423/(-450). Let p = m - 1834. Which is bigger: p or 1?
1
Let j = -2881 - -3213. Which is smaller: 337 or j?
j
Let r = 4617 - 10841. Are r and 2/3 non-equal?
True
Suppose -65*b - 7562 = -67*b + 40*b. Which is greater: b or -200?
b
Let m be (-2633)/((6 - 29293) + 6). Let v = 3/623 - m. Which is smaller: 1 or v?
v
Suppose 0 = 5*w - 3*v + 4833, -7*w + 5*v - 7*v = 6822. Are -980 and w equal?
False
Let s = 103.8 - 6.5. Let b = s + -76.9. Is -0.1 smaller than b?
True
Suppose 2*g + 78 = -3*x, 3*g - 2*x - 10 = -153. Let h = g - -48. Suppose 0*a + 2*a - 6 = 0. Is a != h?
False
Let h = -733223/798 - -22804/21. Suppose 4*w - i = -671, 0 = -2*w + 6*w - 3*i + 677. Let x = w + h. Is 1 >= x?
True
Let y = -4097.1 - -4097. Is y greater than 1318?
False
Suppose -291 + 1331 = -5*d + 5*o, 0 = -2*d + 7*o - 406. Which is greater: d or -1044/5?
-1044/5
Suppose 0 = 4*u - u - 15. Suppose -u*l = 5*f - 15, -15 = -f - 5*l - 0. Let t = -7729/17 + 455. Which is smaller: t or f?
f
Let d be 6/(21/(9 + -2))*-1205. Is d bigger than -2410?
False
Suppose -4*k - 107 = -2*f - 121, 5*f - k = 1. Is -21/380 at most as big as f?
True
Let a = -5/14 - -3/7. Suppose -52*b - 55 = 190*b + 187. Are b and a nonequal?
True
Let p = 1412 + -1413. Which is greater: p or -1/767?
-1/767
Let o(t) = t**3 + 13*t**2 - 10*t - 79. Let i be o(-14). Which is smaller: -48 or i?
i
Let p = -468.4 + 600. Let l = -0.637 - -132.637. Let w = p - l. Which is greater: w or -5?
w
Let i be (-78)/(-182) - 26/126. Let y be -1 + -2 - (-10)/5. Which is greater: y or i?
i
Let f = 5233072/7 - 751051. Let m = f - -3541. Let l = 72 - m. Which is smaller: l or 0.17?
0.17
Let n be 1575/11 + (-8)/44. Let v be 6/(-4) + n/22. Suppose v*t - 6 + 16 = 0. Is t not equal to -2?
False
Let v = -0.98 - -1.08. Which is smaller: -2738 or v?
-2738
Suppose 0 = 5*t - 4*x - 15, -15*t - 5*x = -5*t + 35. Which is smaller: -41/233 or t?
t
Let z = -32651515636 - -27590537300038/845. Let s = z + -7796. Which is smaller: s or -1?
-1
Let s(n) = n**3 + 35*n**2 - 131*n - 58. Suppose 4*b - 5*m + 127 = 0, 104 = -3*b + 24*m - 22*m. Let i be s(b). Is i smaller than 589?
True
Let n = -20 + 1. Suppose -4*z - h + 23 = 0, 4*h + 7 = 5*z - 6. Suppose 0 = z*v - 5*p + 120, 0 = -5*p + 31 - 6. Is n less than or equal to v?
True
Let n(r) = -25*r - 122. Let g be n(-5). Suppose 0 = o, -g*o - 495 = 3*u - 69. Is u <= -142?
True
Let y = -19583 - -19572. Which is smaller: 58 or y?
y
Let a(h) = -8 - 2*h + 9 - 17*h. Let v be a(-1). Suppose -2*q - 4 = v. Which is bigger: q or -11?
-11
Suppose -24*o + 2288 = 20*o. Suppose -49*b + 660 = 121. Which is bigger: b or o?
o
Let g = -6870685/7515442 - -459/502. Which is bigger: 1 or g?
1
Let q = 315859/10108 + 4/2527. Suppose 801*o = -264 + 11950 + 13946. Is o at most q?
False
Let y(v) be the second derivative of -v**3/2 - 3*v**2/2 - 11*v. Let f be y(0). Let c be (-323)/663 + (0 - 1/f). Is 1 != c?
True
Let z = 17644 - 13228. Is z at least as big as 4416?
True
Let m = -11420 - -11037. Which is smaller: -377 or m?
m
Suppose 0 = -3*p + 10*p. Suppose 9*t + 4*t + 377 = p. Let j = 43 + -71. Is j bigger than t?
True
Suppose q = -4*l - 169, -73*l + 68*l = -2*q - 390. Is -5 at most as big as q?
False
Suppose -37 + 5 = 8*m. Let v be (m/18*3)/(8/(-156)). Which is smaller: v or 5?
5
Suppose 178*m + 6 = 180*m. Suppose m*n = -3*i + 7*i + 7, 5*i + 3*n = -2. Which is greater: 1/449 or i?
1/449
Suppose 0*w = -w, 3*w + 3 = 3*n. Let i be (-66)/(-792) - (-19)/(-324). Is i at most as big as n?
True
Let j(c) = c**2 + c - 4. Let u be 1 + -1 - 0/(-12). Let m be j(u). Do m and -4 have different values?
False
Let t be 2388/1273 - 116/3306. Is t < 2?
True
Let o be ((-65780)/2636)/5 - -5. Let f = o + -2728/154865. Is f not equal to 0?
True
Suppose -3 = -9*z + 8*z, 2*z - 23 = v. Let r = -35 - -24. Which is smaller: r or v?
v
Let v = 0.93 + -25.75. Let c = v - -46.63. Let q = 22 - c. Which is smaller: q or -1?
-1
Suppose f - 6*f = -h - 16