: d or -97?
-97
Let r be 392/(-280) - 2/(-5). Which is smaller: 3/226 or r?
r
Let g = 7 - 7.57. Let i = -0.43 + g. Is 0.06 greater than i?
True
Suppose -4*n = -2*i - 4, 0 = 3*i - 6. Let l(q) = -q**2 + 2. Let u be l(n). Which is smaller: u or 6?
u
Suppose -7 = 3*m + 2. Let q = -2 - m. Let g be (-4 - (1 + -1))/q. Are -2 and g unequal?
True
Let k = -2305569/113 - -20403. Is k smaller than 0?
True
Let n = 9 - 4. Suppose 4*v + 2 = -n*w - 9, -2*v = -2*w + 10. Let b(r) = -r - 2. Let j be b(-4). Which is bigger: j or w?
j
Let m = -20 - -18. Let j be (m - -26 - 4)/2. Let r be 24/j - (7 + -5). Is r != -9?
True
Let o be 6/3*(-5)/(-2). Suppose 23 = 3*m - 2*b, -23 = -o*m + m - 5*b. Let c = -1397/26 + 783/13. Which is smaller: c or m?
c
Let f = -364.7 + 254.7. Which is smaller: f or 2/5?
f
Suppose 0 = 170*x - 206*x + 15192. Are x and 421 unequal?
True
Let u be (-3 - 4)*(-60)/910 - 0. Suppose 0 = -2*r - r. Suppose r = -o + 1. Which is smaller: u or o?
u
Let c = 352 + -351. Is c > 2/257?
True
Let z = -542 - -546. Is z <= 0.11?
False
Let n be (-2456)/20 + (0 + 1 - 0). Let c = n - -51151/420. Is -1 equal to c?
False
Let r = -201 + 582. Is r greater than 380?
True
Let o be (-54)/(-24)*80/6. Let x be (o/(-8))/(4/16). Let r be (-2)/6 + (-10)/x. Which is smaller: r or -3/4?
-3/4
Let v = -9.738 + 9.92. Is v at least as big as -1/4?
True
Let t = -4.88 - 0.12. Let s(h) = -h**3 + 12*h**2 + h + 4. Let o be s(12). Let f be 4 + (o/(-5) - 1). Which is greater: t or f?
f
Let r be 26/4*4/(-2)*-3. Let t = r - -11. Which is bigger: t or 51?
51
Let h be (460/(-30))/(2/(-6)). Suppose -h*d + 43*d = -135. Which is bigger: 46 or d?
46
Suppose -3*b + 8 = -b, 5*b = 2*j + 20. Which is smaller: -4 or j?
-4
Let b = -9/37 - 343/111. Which is bigger: b or -3?
-3
Let o be (-2 - (-16)/(-24))/((-4)/(-6)). Are o and -38/15 equal?
False
Let r = 18 - 21. Let s be (3 - 1)*r/6. Which is bigger: s or -1/22?
-1/22
Suppose -5*q = -9*q - 2*t - 116, -3*q - 2*t - 89 = 0. Let p be 28/(-36) - (-6)/q. Let f = -233/900 - -2/225. Is f at most p?
False
Let d = 1087 + -1083. Which is smaller: 3 or d?
3
Suppose -4*i = 3*c - 80, c + 112 = 4*i - 4*c. Let u = i + -19. Is 3 >= u?
False
Let q be (-4)/(-50)*2/(-2). Which is smaller: 1 or q?
q
Let g(z) = -z**2 - 5*z. Suppose -3*f - 6*h + 12 = -3*h, 4*f - 5*h = -20. Let q(l) = l**3 + l**2 + l - 5. Let o be q(f). Let t be g(o). Are t and 2 equal?
False
Let d = 0.13 - 3.13. Let p = -9 - -10. Let c = -3 + p. Which is bigger: d or c?
c
Suppose 8*p - 20 = 3*p. Suppose -5*g - 16 = -p*v - 6, -2 = -2*v + g. Suppose v = w - 3*o - 9, -o + 0*o - 3 = 4*w. Is 2/53 at most w?
False
Let a = 33 - 32.83. Let v = -11.17 + a. Let b = v - -11. Which is smaller: b or 2/11?
b
Let y = -1633.748 + 1622. Let z = 0.152 - y. Let f = -12 + z. Are 2 and f unequal?
True
Suppose 5*l - 128 = 32. Is 25 less than l?
True
Let n be (-2)/(-14) - 260/105. Let m = 2 + n. Which is smaller: -1.1 or m?
-1.1
Let q be 25/175 + 278/(-2093). Is q at least 1?
False
Suppose -13*y = -33*y + 20. Is y at least -1/710?
True
Suppose -8 = 10*o - 11*o. Is 5 at least as big as o?
False
Let i = -2.98 - -4.88. Let x = -0.7 - 1.1. Let v = i + x. Are v and -27 unequal?
True
Suppose a - 140 = -q, q + a = 2*q - 146. Let k = -182 + q. Which is smaller: -40 or k?
-40
Let g be (-18 - 495/(-30))*68/(-3). Is g <= -8?
False
Let n be 2800/(20/(-4)) - 11. Do -570 and n have the same value?
False
Suppose 25*l + 14*l = 78. Which is bigger: l or -560?
l
Suppose -3*q - 2*c = -0*c - 34, 5*q - 20 = 4*c. Are q and -2 equal?
False
Let a = -45.9 + 13.1. Let w = -31 - a. Is w at most -1/4?
False
Let q be (-8 - 545/(-65))*3/(-21). Which is smaller: q or 1?
q
Suppose p = 3*f, -4*p + p = 4*f. Let k be 2 + p - 1/4*4. Which is smaller: 1/24 or k?
1/24
Suppose q = -6*q - 0*q. Which is bigger: 2/203 or q?
2/203
Let l be (44/110)/((4/15)/(-4)). Suppose 0 = k + k. Let p be k/2 - 0/l. Which is smaller: p or -1/10?
-1/10
Let z = -628 + 623. Which is greater: -20 or z?
z
Let r = 9 - 8. Let j be (6*(-8)/(-6))/(4/4). Let w be (6/j + (-10)/8)*2. Which is smaller: w or r?
w
Let z(k) = 3*k**3 + k**3 - 10 + 13*k + 16 + 13*k**2 - 3*k**3. Let d be z(-12). Is -15 greater than d?
False
Let z = 550 - 543. Which is greater: z or -19?
z
Let s = 297 + -300. Let q(w) = -4*w**2 - 10*w + 3. Let x be q(10). Let d = x - -3463/7. Which is greater: d or s?
d
Let p be (-724)/(-2108) - 22/187. Is -1 at most as big as p?
True
Suppose 4 = 4*f - 2*u, -5*u + 286 = f + 285. Let p = -20 + 5. Do f and p have different values?
True
Suppose 21 = i + 2*i. Suppose -3*c = -a - 8, 2*c - 2*a + i*a = 11. Suppose p + c = 2. Is -1/19 bigger than p?
True
Let b be (-4 + (-33)/(-9))*-69. Let p = b + -24. Is p < 2?
True
Let z = 335/4117 + 1/179. Is z at most as big as 0.1?
True
Let w = 52/3 - 50/3. Which is smaller: 1 or w?
w
Let l be 10/(-4)*4 + -1. Suppose 224*c - 211*c = -143. Is c greater than or equal to l?
True
Let y = 14 + -10.2. Let t = -0.15332 + -0.04668. Which is bigger: t or y?
y
Let d = 39 - 41. Let m be 66 + (2 - d - 0). Let j be (-135)/m - 9/(-6). Does j = 0?
False
Let r be (-1)/((-4319)/6483 - (-18)/27). Is -2161 equal to r?
True
Let u be (2/6)/((-6)/(-216)). Suppose 0 = 5*d - 1 - 49. Which is bigger: u or d?
u
Let a = 0.415 - 0.315. Which is smaller: 2.03 or a?
a
Suppose -10*j + 1829 = -1011. Which is smaller: 283 or j?
283
Let z = -444 - -451.8. Which is bigger: 0 or z?
z
Let v be -2*309/2310 + 8/28. Is v <= -1?
False
Suppose -h + 4*h = 0. Suppose -3 = -2*q + 3*d, -5*q - 27 = -h*q + 4*d. Is q greater than -3?
False
Let u = -35 - -32. Is 37 > u?
True
Suppose 4*c + 3 = 7. Let q(y) = -y**2 - 2*y + 3. Let r be q(c). Let t(x) = x - 3. Let w be t(3). Is w smaller than r?
False
Let l = -2451 - -2431.93. Let s = 19 + l. Let c = s - -0.27. Is 12 equal to c?
False
Let v(y) = -y - 32. Suppose 2*q + 4 = -12. Let z be v(q). Is -24 < z?
False
Suppose -4*v = -0 - 4. Let k be 2 + 1 + -1 + v. Let u be ((-4)/(-10))/(-13 + 105/8). Is k != u?
True
Suppose 4*c - 13 = -5*w, -4*c - 14 = -2. Suppose -w*q = -3*z - z + 147, -4*z = -3*q - 93. Are q and -29 unequal?
True
Let v = -0.38 - -51.38. Is 0 <= v?
True
Let u = 150 - 111. Let a = u - 38. Are 3.5 and a unequal?
True
Let z be (-76)/32 + 2 - 147/888. Which is smaller: -2 or z?
-2
Suppose 5 + 23 = -4*s + 4*l, -4*l = -8. Is 10 >= s?
True
Let y(u) = 3*u**2 - 53*u + 48. Let x be y(17). Is 19 at most x?
False
Let o = 0.65 + -3.75. Let m = -1.5 + 2.6. Let s = o + m. Are s and 1 unequal?
True
Let n(b) = -2*b - 32. Let w be n(-19). Let r = 1 - -2. Is r < w?
True
Let y = -715/51 + 38/3. Are y and -2 equal?
False
Let l(r) = 2*r**3 + 57*r**2 - 31*r - 22. Let f be l(-29). Suppose 2*d + 50 = -22. Let w = d + f. Is w < -0.13?
False
Let o = -4504 - -1630447/362. Which is bigger: o or 1?
1
Let t(x) = -18*x + 271. Let o be t(15). Which is smaller: -1/1000 or o?
-1/1000
Let a be (-2)/(-4) + (-26)/(-4). Let y(c) = c**2 - 7*c - 5. Let u be y(a). Which is smaller: -2 or u?
u
Let w = 830 - 866. Which is greater: 5 or w?
5
Let h = 66 + -59. Let d be -6 + (-88)/(-14) - 30/h. Which is smaller: -33/7 or d?
-33/7
Let y = 0 + 0. Let x be 16/(-28) + 212/28. Let n be (2/25)/((x/(-5))/(-7)). Which is bigger: y or n?
n
Let s be 2082/(-126) + (-12)/(-18). Is -16 at least s?
False
Let d = -69 + 82. Let h(c) = c**2 + 12. Let b be h(0). Which is smaller: b or d?
b
Let v = 1557 - 144808/93. Is 0 <= v?
False
Suppose -3*z = -2*i + 831, -2*z + 726 = 5*i - 1342. Let p be (12/i)/((-1)/9). Do 0 and p have the same value?
False
Let c(b) = 32*b**3 + b**2 - 2*b + 1. Let q be c(1). Suppose -10*p + 9*p - q = 0. Let j = p - -32. Which is greater: j or -32?
j
Let x(q) = -q**3 + q**2 + 14*q - 24. Let z be x(2). Let a(s) be the second derivative of -s**4/12 - 2*s**3/3 + s. Let d be a(-4). Is d at least z?
True
Suppose -5*g - 38 + 478 = 0. Suppose -4*d + 214 = -134. Is d at most g?
True
Suppose -159 + 171 = -3*g. Let j be -3*(g + 150/38). Is j > -1/3?
True
Suppose 0 = -6*p + 14*p + 72. Let r = p + 18. Is 16 != r?
True
Let g = -0.06 - 0.24. Let j = 33 + -227/7. Let w = j - 15/14. Which is bigger: w or g?
g
Let j be (1 - 0)*(6 + 1). Let i = -20/71 + 3264/497. Which is smaller: j or i?
i
Let p(y) = y + 1. Let z be p(1). Let l be (z - 2)/(1 + 0). Let x be (1650/21)/(-5) + 2/(-7). Is x greater than l?
False
L