 -21). Which is bigger: 4 or t?
4
Let x be 69913/(-90285) - (-4)/13. Is -1 not equal to x?
True
Let m(q) = 5*q**2 - 32*q + 44. Let a be m(7). Which is greater: 69 or a?
69
Let q be (22766/(-125092) + (-166)/(-913))/(1/(-6)). Which is smaller: q or -1?
-1
Let m = -47 - -47.003. Let g = m - 0.074. Let u = 0.629 - g. Which is greater: 2/3 or u?
u
Suppose 0 = -4*r - 0*r - 3*x + 20, 2*r = -2*x + 12. Let n be (1 - 39)/r + -1. Let z be 7*(6/15)/((-35)/250). Is n not equal to z?
False
Let l be 2/(-46)*3*2. Suppose 0*y = -i + 3*y + 3, 0 = 3*i + y + 1. Is l at least as big as i?
False
Suppose 0 = -p + 2, 4074 = 4*l + 2*p - 55030. Let k = l - 162337/11. Which is bigger: k or 17?
k
Suppose 12*x - 8 = 52. Let d be 30/(-25)*x/3. Are d and -5/2 non-equal?
True
Let r = 2273 - 2277. Which is smaller: -115/38 or r?
r
Let o(j) = j**3 - 10*j**2 - 24*j + 9. Let m be o(12). Which is greater: m or -230?
m
Let f be 424/88 - (-4)/22. Suppose -2*a + 3 = -4*s - 7, 5*a + f*s = -5. Which is greater: a or 3/86?
a
Suppose -5*w = -5*y - 3890, -2*w + 2582 = -3*y + 1021. Let v = -773 + w. Which is greater: 1/1183 or v?
1/1183
Let b(j) = 21*j**2 + 21*j - 3. Let m(z) = 20*z**2 + 22*z - 2. Let o(q) = -6*b(q) + 5*m(q). Let a be o(8). Let u = a - -19644/11. Is u > 1?
True
Let p(l) = l**3 + 8*l**2 + 2*l - 5. Let h be p(-6). Let t = 84 - h. Let r = -33 + 62. Are r and t equal?
True
Suppose 0 = -5*b - 2*t - 1143, 14*b - 8*b = 5*t - 1379. Is b <= -2056/9?
True
Let g = -1188 + 3324. Let u be g/(-72) - (-4)/6. Which is smaller: -25 or u?
u
Let h(z) = -122*z + 3060. Let t be h(25). Which is bigger: t or 438/41?
438/41
Suppose 487*v - 14806 = 132*v + 146364. Which is greater: 465 or v?
465
Let g be (-1*16)/((-70)/7217). Let q = 101 + 1557. Let k = g - q. Is k < -7?
True
Let s = -253303405/329043 - -11/29913. Let x = 770 + s. Which is smaller: x or 0.03?
0.03
Let f(m) = 11*m**2 - 26*m - 5. Let l be f(6). Suppose 2*i = 5*t - l + 79, 0 = -t + 4. Suppose 5*r - 131 = -476. Is r not equal to i?
True
Let h = -2.5 - 101.5. Let g = 153 + h. Let y = g - 46.6. Which is smaller: y or -1/3?
-1/3
Suppose 515 - 1076 = 11*p. Let z be (-72)/(-20) + (-6)/10. Suppose 5*a + z*i = -266, -42 = 2*a - a - 5*i. Which is bigger: a or p?
p
Let p = 2820 + -2563381/909. Which is smaller: p or 1?
p
Suppose p - 122 = -5*o, -2*p + 289 = -o - 4*o. Let n = -118 + p. Which is bigger: n or 17?
n
Let z = -262.69 + 266.19. Is z < 634?
True
Suppose l - 4*s - 45 = -5*s, -4*s - 30 = -l. Let o = 41 - l. Is -7 smaller than o?
True
Let u be (-638)/(-12441) + 2/(-39). Let v = -5491 - -1169585/213. Is u > v?
False
Let y be (-21 + 29)/((-40)/15). Is 539 at least as big as y?
True
Let j be ((-2)/(-120))/((-5)/(80/(-24)) - 1). Is j smaller than -142?
False
Suppose 0 = 77*p + 1471 + 1224. Let w(o) = o**3 - 4*o**2 + 2*o - 4. Let x be w(4). Let u = -39 + x. Is p at least u?
True
Let f = -113 - -112. Is 48/107 less than f?
False
Let u = 0.0741 + -0.1041. Is u at least as big as 8.4?
False
Suppose 0 = 4*f + 4*c - 76, c - 51 = -3*f - 0*c. Suppose 39*h + f = 43*h. Suppose 11 = h*m + 3. Which is smaller: 10/7 or m?
10/7
Let r = 834 + -20009/24. Let q(w) = -w**3 - 25*w**2 + 5*w - 546. Let g be q(-26). Is g <= r?
True
Suppose 4*d = 2*b + 8, 14*b = 13*b + d + 1. Let w be (1/29)/(b/(-4)). Which is smaller: -1/2 or w?
-1/2
Let s be (-4)/(5/1259*150/(-375)). Is s greater than or equal to 2522?
False
Let g(y) = y**2 - 3*y - 22. Let c be g(-3). Let b(t) = 4*t + 15. Let s be b(c). Is -22/9 not equal to s?
True
Suppose -s - 132 = 4*b + 162, 0 = 3*b + 3*s + 216. Let p be (-48)/36 - (-74 - 1). Let t = p + b. Which is bigger: -2/21 or t?
-2/21
Let j = 7 + 34. Let m be ((45/(-6))/(-3))/((-385)/88 + 5). Is m at most j?
True
Suppose 0 = p + 2*p + 3. Let k = -10 + 16. Suppose 10 - 4 = k*a. Which is bigger: a or p?
a
Let j be (-2267)/(-5) - (-18)/(-45). Let w = 895 - j. Let k = 14587/33 - w. Is 1 at least as big as k?
True
Suppose 3*b + k + 7 - 8 = 0, 0 = -5*k + 20. Let s = -1275 - -249897/196. Is b != s?
True
Let o be (-6)/(-4)*130/(-15). Let x = 18 + o. Suppose 0 = -0*s - 3*s + x*z + 2, 5*s + 4*z = -9. Are -1 and s unequal?
False
Suppose -6*g + 7*g = -2*n + 138, -5*n = -2*g - 336. Are 64 and n equal?
False
Let p(a) = 4*a + 4*a - 5*a + 8*a + 12*a + 300. Let o be p(-11). Which is greater: o or 41?
o
Let o = 19153 + -18671. Is o greater than or equal to 486?
False
Let t be (-27)/12 - 1/(-4). Let f be ((-35)/t)/(13/(-26)). Let u be 2/6*10/f. Is -5/2 bigger than u?
False
Suppose 241 = -8*w - 1647. Let d be -3 + ((-3)/w)/(3/696). Suppose 0 = 5*j - 1 - 4. Which is smaller: j or d?
d
Let n be (-2)/8 - 8397/12. Let y be n/22 - 74/407. Which is bigger: -97/3 or y?
y
Suppose 2*t + 8600 = -5*g, 4*g + 11*t + 6898 = 13*t. Which is smaller: -1724 or g?
-1724
Let p = -88 - -88.01. Let q = 1736 - 1737.3. Is q at least as big as p?
False
Let r be (-12)/2 - (-366)/(-63)*-1. Let w = 118 + -64. Let q = w - 54. Which is greater: r or q?
q
Let n(f) = 97. Let r(s) = -s + 48. Let k(i) = 2*n(i) - 5*r(i). Let o be k(14). Which is smaller: o or 20?
20
Let t(d) = d + 4 - 28 - 3. Let s be t(0). Let f be 30*(4 - (-114)/s). Which is smaller: f or -0.1?
f
Suppose 0*m = -4*m - 4*z + 116, 92 = 3*m + 2*z. Suppose 5*i - 20 = 3*f - 4*f, -4*f + m = -3*i. Let o be (-6)/(-5)*((-66)/18 - -12) - 2. Is o greater than f?
False
Let o be (-4)/4*(-2)/(-26). Suppose -x + 4*h + 17 = 0, 337*x = 339*x - 4*h - 18. Is x < o?
False
Let k = 4.59 + -4.8. Let w = 7.79 - k. Let a = 13.8 + -12.8. Is w greater than a?
True
Let o be (-9 + (-738)/(-81))*30. Which is smaller: o or 59?
o
Let n be ((-280)/60)/(3 - (-84)/(-27)). Let w be (-7 + 6)/(81/n + -2). Which is smaller: w or 17?
w
Suppose -28*i + 26*i - 5*d - 79 = 0, -6*d - 106 = 4*i. Let h = 449 - 2236/5. Is h at least i?
True
Let p be 111/18 - (-3)/(-18). Let c be ((-6)/4*(-2)/21)/((-6890)/(-294203)). Which is smaller: c or p?
p
Let c = -314 - -352. Suppose 15*w = c*w. Which is greater: 1/12 or w?
1/12
Let k(d) = 3*d**3 + 35*d**2 - 12*d - 70. Let s be k(-12). Which is smaller: 14 or s?
s
Let i = 2494612/13455 + -11/2691. Let r be 3 + 543/(0 - -3). Let j = r - i. Do j and -1 have the same value?
False
Let p = -737.7 - -737.5. Is p greater than or equal to 2/63?
False
Let w = 0 + 17. Let u be (-4)/(-9) + 2968/126 + -3. Is u <= w?
False
Let z(a) = -a**3 + 11*a**2 + 37*a - 18. Let b be z(14). Suppose -l + 7 + 23 = 0. Let v = l + b. Is -57 smaller than v?
False
Let v be 11/(15/(-8) - -2). Suppose 3*x = -l - v, 0 = 5*l - 20 - 5. Which is greater: x or -33?
x
Let k be (1/7)/((-2)/(-44)). Let r(i) = i**2 + 133*i + 2264. Let t be r(-20). Which is smaller: t or k?
k
Let j(z) = -z**3 - 5*z**2 - 7*z - 10. Let w be j(-4). Let h be (-5)/(-5) - (9 + w). Let m = -11 - h. Is -2/67 less than m?
False
Suppose 45*s + 47 = 184*s + 186. Is s at least -50/209?
False
Let o = -24.09 + 0.79. Let k = o - -19.3. Which is smaller: 2/3 or k?
k
Let y(d) = 118 - 224*d + 111*d + 109*d. Let x be y(27). Does 100/9 = x?
False
Let h(w) = 7*w + 6. Let o be h(-5). Suppose 304 = -8*i - 71*k + 69*k, 4*k = -32. Which is smaller: o or i?
i
Let u = -233 + 269. Let z = -35.9 + u. Is 2/91 greater than or equal to z?
False
Let q(v) = -4*v**2 + 45*v. Let k be q(11). Let s be 7074/297 + 2/k. Is 28 at most s?
False
Let d be (-10)/(-2)*63/(-63) - -3*33. Which is greater: 112 or d?
112
Let u(n) = -3*n + 7 + 45*n**2 + 4 - 13. Let v be u(-1). Suppose v = -s + 4*z, -z + 100 - 17 = -3*s. Is s at most -25?
True
Let t = 681 - 681.1. Which is greater: t or 0.1954?
0.1954
Let d = -371 + 806. Let x be 1392/d*((-15)/(-2))/1. Which is bigger: 23 or x?
x
Let v = -773 + 537. Suppose 1100*g + 249631 = -9969. Is v bigger than g?
False
Let l = 294731 - 5320778745/18053. Is -1 != l?
True
Let r be (-2)/(-6) + 17/(-24). Suppose 46*u - 44 - 48 = 0. Let v be (26/78)/(u/6*-1). Is r greater than v?
True
Suppose -25 = t + 5*x, -t + 0*x = 2*x + 10. Suppose -8*g + 1392 = -t*g. Suppose 0 = -7*v + v + g. Are 31 and v nonequal?
True
Let h be (-17)/(-85) + (-478)/(-10). Let g be -1*(-2)/19*(-16)/h. Suppose 3*t = 1 + 2. Which is bigger: t or g?
t
Suppose -7*k + 3*i = -12*k - 480, 5*i - 254 = 3*k. Which is bigger: -108 or k?
k
Let w be 6801/1260 - (-5)/(-240)*4. Is 5 greater than or equal to w?
False
Suppose 0 = -3*a + 9, -3*a - 2*a = 5*f + 35. 