uppose -5646 = -15*o - 5706. Is o equal to -660/7?
False
Let s = -315 - -161. Suppose 76*v + 18 = 73*v + 4*n, -5*n + 13 = v. Is s at most v?
True
Let v = 751 - 751. Let d be 8/(-12)*(-30)/(-86). Which is smaller: v or d?
d
Let t(w) = -55*w + 373. Let l be t(6). Is l greater than 35?
True
Let w = -283 - -344. Let h = w - 60.9. Is -2 greater than h?
False
Suppose 59*g - 63*g = 2*d + 13160, -13216 = 2*d - 4*g. Are -6592 and d unequal?
True
Let m = 15432709/952245 - 14/45345. Let y be ((-8)/6)/((-3)/(-22)). Let z = m + y. Is 6 > z?
False
Let t(k) = k**2 + 5*k - 29. Let x be t(-10). Let n be 11 - (-3)/(1 + x/(-12)). Which is smaller: n or 12?
n
Suppose -19*h + z = -24*h + 2441, 1467 = 3*h + z. Is h not equal to -2?
True
Let m = 2623.836 - -14.164. Which is greater: -1 or m?
m
Let y be ((-1)/4)/((-6)/16). Let v = 362 - 397. Let m = v - -38. Is y less than or equal to m?
True
Let j = 725 - 316. Suppose -2*w = -2*n - w + j, -2 = 2*w. Which is greater: 203 or n?
n
Let q = 5.8172 - 0.0122. Let h = q + -5.8. Which is greater: h or 0?
h
Let t(n) = -n**2 + 5*n + 3. Let v be t(3). Which is smaller: v or 1/335?
1/335
Suppose -a = 5*l - 22, -3*a + 7*l + 2 = 6*l. Suppose -33*b + 36*b - 24 = 0. Which is smaller: a or b?
a
Let g = -839/141 + 2031649/341220. Which is smaller: 1 or g?
g
Suppose 4*h = 5*o + 317, o + 4*h = -35 - 14. Which is smaller: -53 or o?
o
Let h be 90/(-60)*(-2)/(-3). Is h > -1/3559?
False
Suppose -14332 + 7204 = 9*n. Is n less than -792?
False
Let m = 155357 - 729711833/4697. Which is smaller: 0 or m?
m
Let r = 34346 - 76763312/2235. Is r greater than 0?
False
Let a = -13061 - -12942. Which is smaller: -66 or a?
a
Let x(b) = -b**2 - 5*b + 27. Let d be x(-8). Suppose -2*g = d - 21. Let k be 16/g - (-44)/198. Which is bigger: k or 8?
8
Let z = -0.388 - 247.612. Let p = -249 - z. Do p and 1/9 have the same value?
False
Let m = -41/292 + 24477/3796. Let g = 535/91 - m. Which is bigger: g or 1?
1
Suppose -2*w + 1 = -11. Suppose -u = 5*k + 9, 34 + 11 = -5*u - 5*k. Let z be (u/(-4))/((-9)/(-24)). Is w less than z?
False
Let r be ((-54)/20)/((-1)/1388*(-5952)/(-6200)). Which is greater: 3904 or r?
3904
Let m(p) = 3*p**2 + 38*p + 470. Let n be m(-16). Which is smaller: 1257/2 or n?
1257/2
Let q = 206941/5916654 - -1/23022. Let d = q - 15005/2827. Is d less than -6?
False
Suppose 0 = 464*y - 463*y - 8. Let a be 2*(-1)/y*12/1425. Is a > 1?
False
Let j = -0.988 - 7.012. Let k be (-28)/(-21) + (-4)/(-1). Are j and k non-equal?
True
Suppose 0 = d - 2*d - 2, 0 = -a + d + 1. Suppose 0 = 4*h + 4, 4*h = -3*m - m + 32. Let u be m/24*25/(-60). Which is bigger: a or u?
u
Suppose -6*q + 299 - 137 = 0. Let s(n) = 7*n - 253. Let h be s(q). Is -63 less than or equal to h?
False
Suppose 25 = -13*b - 92. Let y(c) be the second derivative of c**5/20 + 2*c**4/3 - 4*c**3/3 + 5*c**2 + 3*c. Let u be y(b). Which is smaller: -4 or u?
-4
Let q(t) = 2*t**2 - 16. Let d be q(3). Suppose 2*a = -4*u + 3*a - 97, 2*a = -d*u - 36. Is -15 equal to u?
False
Let k = -11/65 + -2/65. Let a = 0 + 7. Suppose -5*f = -2*x + a*x + 45, -3*x - 2 = -2*f. Which is bigger: x or k?
k
Let p(b) = 21*b**2 + 13*b**2 + 6 + b**2 + b. Let m be p(-2). Suppose 5*s - 7*h + 215 = -2*h, 4*s + m = -3*h. Is s < -40?
False
Let n = 258134 - 258131. Let f(w) = -w**3 - 4*w**2 + 4. Let b be f(-3). Let h be 284/90 - 2/b. Which is smaller: h or n?
n
Suppose -3*c - 118 = -112. Let p be (21/c)/((-30)/(-24) + -2). Suppose -5*z = -16 - p. Is 3 less than z?
True
Let o(x) = -x**2 + 16*x - 29. Let l be o(9). Suppose 40*m - 60 = l*m. Which is smaller: m or -1?
-1
Let i = -30.2 - 0.8. Let k = i + 30.957. Let v = 2.7 + -1.7. Is k greater than v?
False
Let c be (((-14)/(-35))/((-8)/(-20)))/(27534/(-52)). Suppose -b = b + 2. Is b < c?
True
Let o = -2493/4 - -618. Let n(m) be the third derivative of m**5/30 - m**4/3 + m**3/3 - 4*m**2 - m. Let p be n(1). Is o at most as big as p?
True
Suppose -2*s + 4*s = 4. Suppose -5*b = -4*g - 18, -s*b = -4*b + g + 9. Let c be b/18 + 35/3. Is c != 12?
False
Let h = -50 + 54. Let q(b) = -b**3 - 14*b**2 + 3*b**2 - b + 8*b**2 + 1 + h*b**2. Let v be q(1). Which is smaller: v or 3/23?
v
Let p be -3 - ((-45)/(-183))/((-23)/299). Which is bigger: 1 or p?
1
Let u = 3703 - 3700. Is -339 equal to u?
False
Suppose -33818 = -506*r + 432*r. Is 444 < r?
True
Let g be -4 + (-15)/(-345) + 3. Let y(q) = -q**3 + 14*q**2 - 2. Let h be y(14). Is h at most as big as g?
True
Suppose 57*n = -159*n + 7*n + 15884. Do -26 and n have different values?
True
Let j = -10248 + 10462. Does j = 2/11?
False
Let w be (-80 - -80) + (-920)/(-1785). Which is bigger: w or 1?
1
Let a be 1*(-692*124/24 - 2). Which is greater: a or -3576?
-3576
Suppose -60990 = 31*n + 11023. Is n less than -2323?
False
Let v be 1 - (0 - (-70)/58). Let j = -618 + 785. Let n = j - 167. Does v = n?
False
Let u = 34799 + -28359. Which is smaller: 6442 or u?
u
Suppose 178*a + 88*a = -17*a + 566. Which is smaller: a or -5?
-5
Let p = 14445 + -11800. Is p less than 2645?
False
Let z be (-84)/(-30) + (-2)/(-10). Let n(u) = 0*u**2 + u + 13*u - 10 - u**2. Let y be n(13). Is y > z?
False
Let t = -334307/5 - -67467. Let z = t + -606. Which is smaller: z or 8?
z
Let z = -633 + 550. Which is bigger: -86 or z?
z
Let n = 27/22 - 30/11. Is n at most as big as 0.84?
True
Suppose 4*s + 219 = -f + 77, -2*s = 4*f + 78. Let t = s + 33. Let q be ((-4)/(-18))/(-1) - t/(-72). Are q and 1 equal?
False
Let u = -0.51 + 0.513. Let m = u - 0.483. Let j = 0.52 - m. Is 0.55 at most j?
True
Let s be (-6)/(-4)*(-384)/144. Let k be (-7 - (-13 - s)) + 4. Is -8 <= k?
True
Let r = 75/202 - -235763/1010. Suppose -p + 259 = 4*d, 20*p - 17*p = 5*d + 692. Let k = p - r. Is 4 smaller than k?
True
Suppose 5*v + b - 112 = 0, -19*v + 3*b - 14 = -20*v. Suppose v*i = -135 - 1107. Is i bigger than -54?
False
Suppose 5*n - 214 - 41 = 5*t, -4*t = 3*n + 183. Let m be 122/6 - t/72. Is 21 smaller than m?
False
Let o be -52 - -57 - 5303/1060. Let m = o - -48769/3180. Do 16 and m have different values?
True
Let l = 51 - 48. Let n be 6/(l/(-1))*(-21765)/(-110). Let b = 396 + n. Is b at most 0.4?
True
Let o(x) = 46*x + 68. Let m be o(-6). Let q = 61 + m. Is -147 at least as big as q?
True
Suppose 35*s + 33*s - 23 = 45*s. Which is smaller: s or 8/1289?
8/1289
Let r be 232/16 + (-2)/4. Let b = r + -12. Suppose 0*f + b = -f - 4*h, 5 = f - 3*h. Which is greater: f or 2/3?
f
Suppose -5*g = -3*p - 5, 4*g + 2240*p - 2239*p = -13. Let s = -22 - -11. Let h = -30 - s. Which is bigger: g or h?
g
Let j = -43 + 3. Let l = j + 49. Suppose 35 = -4*r - l. Are -12 and r nonequal?
True
Let i be 171/(-33) + -2 - 30/(-165). Let y = -14 + 11. Let m be ((-158)/(-7) - 2) + y/i. Does m = 21?
True
Let s be (3/(-2))/(-1)*36/(-18846). Let o = -1129/1649 + 8736971/6906012. Let q = o - s. Which is smaller: q or 0?
0
Suppose 20*d - 16*d = 72. Let o(v) = 3*v - 55. Let j be o(d). Is j greater than 1/226?
False
Let b be (-2)/15 + (-15730)/150. Let l be 4/4 + (4 - (-415)/b). Is 0 greater than or equal to l?
False
Let r(q) = -q**2 + 6*q - 1. Let t be r(6). Let f = 1/4031 + -52418/60465. Which is smaller: t or f?
t
Let z = -0.05137 + -96.94863. Which is bigger: -0.32 or z?
-0.32
Let f = -76 - -75. Let x = -163/468 - 5/52. Which is bigger: x or f?
x
Suppose -6*d + 4*d = 3*n + 55, -5*d - 2*n = 121. Let x be (d/(-23))/(131/(-2)). Suppose -3*r + 2 = 5*t, 5*r + 5 - 1 = -t. Which is greater: t or x?
t
Suppose i + s - 711 = 0, -5*i + s + 3830 - 269 = 0. Suppose -20*p + i = -1628. Is p greater than 117?
False
Let t be (-12)/(-15) - 20724/55. Let p be (((-5)/(-2))/5)/((-47)/t). Which is bigger: p or 120/31?
p
Let h be (-4)/(-10) - ((-432)/195)/(-6). Let o = h + 124/195. Let y be 5 - 3 - -2 - (-52)/(-10). Is o at most y?
False
Let j(r) = -9*r + 69. Let z be j(3). Suppose -43*s + z*s + 125 = 0. Which is smaller: 123 or s?
123
Let i = -2751 + 2751. Is 72 less than i?
False
Let v = 3223 - 232057/72. Which is bigger: 0.3 or v?
0.3
Let g = -0.07072 + 3.32072. Which is greater: 0 or g?
g
Suppose 2*p - 5*m = 25, -66 = -2*p - p - 2*m. Let c = -5818 + 5794. Let r = c + p. Do r and -4 have the same value?
True
Let s be (-203)/(-14) + (-2)/(-4). Let c be 15*s/6*2. Suppose m - c = 2*l, 5*l + 160 = -2*m - m. Which is smaller: l or -34?
l
Let m be ((-3)/(-4))/((-2832