et q = y + v. Is -1 > q?
False
Let r be (14/(-21))/((-4)/(-6)). Let a = 9 - -216. Let t be ((-444)/a - -2)*1. Which is smaller: t or r?
r
Let z be -20 + (0 - (-3)/(-3)). Let n be ((-784)/70 - -12)/(14/(-360)). Which is smaller: n or z?
z
Let g = 12460 - 10196. Which is greater: g or 6790/3?
g
Let r = -3710 - -3709. Is -1/1440 >= r?
True
Let w be (9/(-45))/((-3)/30). Suppose 2*g = -3*h + 94, -w*g - 10*h = -9*h - 94. Which is smaller: g or 49?
g
Let f be 3600/(-128)*2*(-4 + (-165)/(-42)). Which is smaller: f or 5?
f
Let q(h) = -h**3 - 8*h**2 - 11*h + 4. Let l be q(-5). Let v be (l/40)/(6/390). Are v and -25 equal?
False
Let s = 21134 + -1500604/71. Which is bigger: s or -2?
s
Let d be ((-2)/9)/(1176/(-2394)) - (-4)/(-24). Is 454 equal to d?
False
Let g be 4*(3 - 2)/(4 - 5). Let n(x) = 3*x + x + 0*x + 23 + x**2 - 25. Let y be n(g). Which is smaller: -15/14 or y?
y
Suppose 2*n - 4 = -0*n - 2*b, -2*b - 14 = -4*n. Suppose -n*h = 3*y - 5*y + 76, 0 = -2*y - 2. Is h > -1?
False
Let d = -84.37 - -84. Let z = 1.146 - 1.616. Let s = z - d. Is s bigger than 22?
False
Let d = 1/9710 + 185/89332. Which is smaller: -1 or d?
-1
Let t(g) be the first derivative of g**3/3 + 19*g**2/2 + 40*g - 24. Let r be t(-17). Suppose r*l = 2*l + 64. Which is smaller: l or 46/3?
46/3
Let b(x) = -30*x - 28. Let n be b(4). Let l = n + 208. Are l and 58 equal?
False
Let q be (-21)/(210/220)*15/6. Is q equal to -67?
False
Suppose 0 = -r - 23*d + 26*d - 227, -5*r - 5*d - 1155 = 0. Which is smaller: r or -19?
r
Let x be (-1784)/72 + (-3 + -7)/(-2). Let b = 20 + x. Let n = -0.58 + 0.6. Is b > n?
True
Let s = 13043 - 18354. Does -5312 = s?
False
Let q = -2 + 7. Suppose -2*a + 12 = -5*v, -v = -0*v + q*a - 3. Let o be (-171)/380*30/18. Which is greater: o or v?
o
Suppose -45 = -2*i - 5*k, 2*i - k - 43 = -4*k. Suppose 4*z - z = 9. Suppose 0 = 2*j - z*t - 47, 2*j + t + 3*t - 26 = 0. Is i greater than or equal to j?
True
Suppose 2*v + 3*i + 5140 = 0, -2*v + i = 1400 + 3732. Which is smaller: v or -2568?
-2568
Suppose 2*u - 16 + 3 = 5*i, 0 = 2*u + i + 5. Is -79/225 < u?
False
Suppose -8*u + 43 - 379 = 0. Let f be 0/((-12)/u - 16/7). Is f at most as big as -1/283?
False
Let w be (-18)/(-81) + 125/45. Suppose -w*a - 54 = -3*h - 0*h, 4*h = -a + 67. Which is smaller: h or 2?
2
Let t = -378 - -156. Let k = t + 258. Which is greater: 139/4 or k?
k
Suppose -2*j + 4*l = 14, 0*l + 8 = -2*j + l. Let q be (8*(-1 - 0))/(j/18). Let i = q + -47. Does -6/55 = i?
False
Let v = -6470 + 6851. Which is bigger: 1523/4 or v?
v
Suppose -32*x = -5*b - 34*x + 8, 3*x = -b - 1. Let c(d) = d**2 + 2*d - 9. Let r be c(b). Which is smaller: 3/212 or r?
r
Let n = -25190 - -25188.4166. Which is greater: n or -1?
-1
Let w be ((-1804)/18)/(11 + (-1339)/117). Is w > 227?
False
Let r(z) = z**3 + z**2 - 2*z - 1. Let t = 2 - 3. Let l be r(t). Let s be (-51)/134232*3496 - 9/(-7). Which is smaller: l or s?
s
Let x be -7*1/(-49) - 510/189. Which is bigger: x or -2?
-2
Let g be -9 + (-1432)/(-14) + 2/(-7). Suppose 0 = 3*c - 3*r + g, 25 = -c - 3*r + 2. Which is smaller: c or -23?
c
Let c = -189.28 + -688.72. Does c = 3/10?
False
Let b(p) = 24 - 4*p - 3 + 0*p. Let a = 2505 - 2511. Let m be b(a). Is 47 equal to m?
False
Let w(m) = -m**2 + m - 1. Let v(i) = 3*i**2 - i + 10. Let b(a) = v(a) + 4*w(a). Let h be b(4). Let o be (1/h)/(39/(-26)). Do o and 1 have the same value?
False
Suppose -51*p - 42*p - 52 = 41. Which is smaller: p or -201?
-201
Let j be (292/10)/((-44)/(-455)). Let d be (28/168)/((-3)/1359)*4. Let l = j + d. Is l equal to -1?
False
Suppose 209 = -5*u + 16*u. Let w be (-17 + u)*-2*1. Which is smaller: -34/9 or w?
w
Let f = 22571 + -20528. Are f and 2040 nonequal?
True
Let p = -123455/8 + 15432. Which is smaller: 424 or p?
p
Let j = -88967 - -184250647/2071. Is j greater than or equal to 1?
False
Let m(r) = -6*r - 27. Let p be m(-4). Let i be (-73)/(p*((-55)/15 + 4)). Which is smaller: i or 0?
0
Let n be (17 + (-5 - 15))/((-6)/4). Which is smaller: n or 389?
n
Suppose -431*z - 450 = -422*z. Is -28 < z?
False
Suppose 10*g - 104*g = -9*g + 170340. Are g and -1996 nonequal?
True
Suppose 12*z + 7*z = 10*z + 1296. Is z >= 146?
False
Suppose -8*i + 24 = -2*i. Let g be ((-28)/35)/((-4)/10). Suppose g*o = -2*a + i, -3*a = -7*a + 4*o - 32. Which is smaller: -2 or a?
a
Let a = -50854 + 558684/11. Is -65 less than or equal to a?
True
Let n be (-2)/4 - 75/(-10). Suppose -5*h - 20 = 0, -h = 16*t - 20*t + 36. Are t and n unequal?
True
Suppose 4*u + d - 15 = 0, u - 3*d + 5 = -5*d. Suppose -2*b = -7*b + 20. Suppose b*k - u = 11. Is 4 bigger than k?
False
Let l = 1 - 0.8. Let u = 0.087 - 8.487. Let y = 8.6 + u. Is l at least as big as y?
True
Let z be ((-34)/(-51) + 28/3)*(-1000)/2. Is -5000 smaller than z?
False
Let g = -84.0822 - 0.9178. Is -2 at most g?
False
Let p = 0.2862 + 0.0828. Let j = -77.5 - -77.569. Let v = j - p. Which is smaller: v or 7?
v
Let g = -0.5443 + 1669.5443. Which is smaller: 0 or g?
0
Let l = 3111 - 3068. Let u = 3.4558 - 46.5048. Let w = u + l. Is 0.1 at least as big as w?
True
Let h = -72 + 76. Let t be h - (424/112 + 0/(-3)). Is t <= -2?
False
Let a be (-4 + (-8)/5)/((-2)/15). Let b be 7/(-2)*(-144)/a. Suppose g + 3*g = 40. Is g > b?
False
Let z = -232 - -232.0274. Let t = z - 0.0874. Let w = 2 + -2. Which is smaller: w or t?
t
Let s = -2010 + 2008. Which is greater: -109/40 or s?
s
Let o be (-11)/(-14)*30/440. Let f be (-3)/(-6)*(-2 - -2). Is o smaller than f?
False
Let y be (-3)/(5294/4 - -1). Let l be (-56)/12*-3 - (-445 - -458). Which is greater: l or y?
l
Let c be -88*((-24)/112 - (-2)/(-7)). Let j = -24 + 24. Suppose -286 = -5*d - a - c, 2*a - 4 = j. Is 48 at least d?
True
Suppose -2*s - 4*c + 28 = 0, 4*s + 3*c - 41 = -0*c. Suppose 4*l - 15 = -4*x - 11, 3*x = 2*l + s. Let i = 8587/53 + -162. Is i at most as big as l?
False
Let l = 0.26 + 76.74. Let d = 75 - l. Is -37 at most d?
True
Let h = 56 + 47. Let y = -143 + h. Are 2/7 and y non-equal?
True
Let o = 247 + 50. Let b = -61/2 + 185/6. Which is greater: b or o?
o
Suppose 36*d - 3546 = 3162 - 1452. Are 111 and d equal?
False
Let s be 1117167/(-104661) - 128/(-12). Suppose -h - 1 + 2 = 0. Which is smaller: h or s?
s
Let r = -0.17 + 0.07. Let f = 115.5 - 90.7. Is f bigger than r?
True
Let a = -23/5 + 5. Let u = -1722 - -1387. Which is smaller: a or u?
u
Suppose 0 = -14*v + 2239 - 391. Let n = 132 - v. Which is smaller: n or 1/33?
n
Let u = 675 - 985. Which is smaller: u or -2?
u
Let o(d) = d**3 + 14*d**2 + 12*d - 8. Let u be o(-13). Suppose 0*i = -u*i + i. Is i less than 7/11?
True
Let y be 2/6 + ((-1792)/(-60))/4. Let z = 52 + -44. Let g(f) = -f**2 + 10*f - 8. Let t be g(z). Are t and y non-equal?
True
Let b = -352448/7 - -1638530808/32543. Let i = -25262/1529521 - b. Is 1 less than or equal to i?
False
Suppose 4*r + 4*h - 4 = 0, -4*r + 3*r - 5 = 3*h. Let u be (0 - (-12)/(-3)) + r. Suppose -c + 4*c = u. Is c <= 1/56?
True
Let o(a) = -a**3 - 5*a**2 + 8*a - 38. Let p be o(-7). Suppose 0 = i + 5, 3*i - p = -2*z - 21. Is z equal to -4/433?
False
Let s = 38.67 + -43.17. Which is smaller: 6 or s?
s
Suppose 10 = -2*q, -3*j - q = -j + 139. Let w = j - -71. Let b = -21 - w. Which is greater: -24 or b?
-24
Suppose 2*b - 124 = -325*p + 323*p, -14*b - p = -959. Is b bigger than 0.051?
True
Let s(p) = -2*p + 49. Let q be s(-8). Suppose -m = q - 40. Is -25 at least m?
True
Suppose 273*w - 4404 = 16890. Let z = 119 + -38. Which is smaller: z or w?
w
Let q = -32 + 32. Let h(d) = 0 - d**3 + q*d**3 - 52*d - 3 + 54*d - 2*d**2. Let l be h(-3). Which is greater: 1/2 or l?
1/2
Let h(i) = 152*i + 505. Let j be h(-4). Is j > -127?
True
Let m be 568191/9126 - (10/(-45))/(-1). Which is smaller: 61 or m?
61
Let v = -30/17 - 37/85. Let m = 1130/3857 - 4/551. Is m < v?
False
Let c be ((-1)/1)/(4/20). Let n be -5 + 5 + (c - -2). Let k be 6/(-15) - (n - 6/(-2)). Which is smaller: -0.065 or k?
k
Let k = -155 + 172. Let z(j) = -9*j + 156. Let u be z(k). Which is smaller: u or 7?
u
Let t be (-1)/((6 - 4)/72). Let k = 578 + -616. Which is greater: t or k?
t
Suppose 12 = 39*n - 38*n. Suppose 320 = -n*k + 20*k. Is 43 != k?
True
Let m(l) = 3*l**2 - 2*l + 2. Let p be m(1). Suppose k - 2*x + 1 = -p*x, 5*x = -2*k - 14. Suppose 2*s = -k*s. Which is greater: s or -1?
s
Let o be 1*426/(-12)*1*4