True
Let h be 102/18 + -5 - (-7)/3. Suppose 2*j - 4*u + 444 = -h*j, -4*j + 4*u = 356. Is j smaller than -88?
False
Let z be -3*(-1)/12*(-13 + 9). Let j be (((-15)/10 - z) + 0)*0. Which is smaller: 213 or j?
j
Let h = -285 - -319. Suppose 3*y + 25 = 2*w + 3, 2*w + 3*y = h. Which is bigger: w or 5?
w
Let f be (13/1248)/(804/(-16)). Which is smaller: f or -1?
-1
Let o be 1/3*(-1 - 1)*(-14364)/(-133). Is -0.63 less than or equal to o?
False
Let g be (285/(-20))/(-19)*12. Let q = -19.519 - 0.381. Let d = -20 - q. Which is smaller: g or d?
d
Let l = -37942 - -37938. Which is bigger: l or 836?
836
Let c(y) = y**2 + 2*y - 84. Let f be c(-10). Is f less than -272?
False
Let z be (0*(-4)/8)/(154/(-77)). Are z and -2/7721 non-equal?
True
Let a(l) be the first derivative of l**4/4 - 7*l**3/3 - 3*l**2 - 17*l - 3. Let s be a(8). Let q = -546 - -38219/70. Which is smaller: s or q?
s
Let f be 2656/498 + 1/(-3). Suppose 0 = -x + 3*o - 12 + 2, 0 = 5*x + o - 14. Suppose h - 10 = -f*n, x*h + 2*h - 3*n + 6 = 0. Is 1/17 at most as big as h?
False
Let n(m) be the third derivative of m**4/24 - 5*m**3/2 - 2*m**2 + 27. Let x be n(14). Which is smaller: 2/7 or x?
x
Let p(q) = q**2 - 35*q + 2528. Let a be p(28). Is a greater than 2333?
False
Let u = -4.08 + 0.62. Let v be ((-8)/(-14))/((-48)/(-56)). Is u at least as big as v?
False
Let d = 4/269 + 960/7801. Suppose 0 = -z - 2*z + 51. Suppose -5*s + 6*y - z = 2*y, -2*y + 8 = -2*s. Is s >= d?
False
Suppose 0 = 4*n - 32, 0 = 3*l + 22*n - 23*n + 11. Is -6813 <= l?
True
Let c = 1950/7 + -278. Let v = 23/119 + c. Let t = v - 15/17. Are 1 and t nonequal?
True
Suppose 4*g = -9*g. Let j be 943/5175 - (4/18 - g). Which is smaller: j or 0?
j
Let k = 778.2 - -4506.8. Which is smaller: 0 or k?
0
Suppose -3*u = -5*v - 6 + 21, 0 = 4*v - 12. Which is greater: 4386 or u?
4386
Let w be 4/(-44)*((-70)/(-315) - (-147)/(-54)). Is 22 not equal to w?
True
Let v = 0 - -111. Let g(x) = -x**3 - 8*x**2 + 7*x + 201. Let b be g(-4). Is b greater than v?
False
Let v be ((-1)/(-2))/((-15)/360). Let f(b) = -6*b - 16. Let h be f(-5). Let a be h/49*(-1)/v. Which is smaller: -1 or a?
-1
Suppose -4*p - 341 = 5*c, -82 = p - 5*c + 22. Let r = p + 67. Which is smaller: -19 or r?
r
Let a = 2680 + -2680.04. Which is smaller: a or -1.2?
-1.2
Suppose 218*q - 244*q = -156. Is -1.68 at most as big as q?
True
Let u = -3834/25 + 4719604/30775. Which is bigger: -1 or u?
u
Let v = 16161 - 2569589/159. Suppose -2*p + 11 = 13. Do p and v have different values?
True
Suppose r + 2 = -1. Let u = 4 + r. Let c be 10/(-4)*32/40. Are c and u equal?
False
Suppose 5*c - 5*j - 280 = -0, 2*j = 0. Suppose -3*f - 2*f + 43 = -a, a + 7 = f. Suppose 0 = 4*o - f*o + 275. Is c less than or equal to o?
False
Suppose 182 = 3*w - 9*h + 5*h, -3*h + 276 = 4*w. Let u = w - 464/7. Let m = -3087/11 - -281. Is u at least as big as m?
False
Let c be (12/(-48))/((-6)/232). Let d = 1.89 + -2.09. Are d and c nonequal?
True
Let j(r) = -38*r**3 - 2*r**2 + r. Let u be j(1). Let p be ((-19)/(380/390))/(6/12). Is u at least as big as p?
True
Let i = 15687 - 15687. Is -1097/3 >= i?
False
Let b = 2669 - 2669. Let i = 857/14 - 123/2. Which is bigger: b or i?
b
Let t be (-504)/(-196)*14/2*-1. Let l be (7/(98/(-608)))/(12/t). Which is bigger: 65 or l?
l
Suppose -5*j = -d - 265, 245 = j + 4*j + 3*d. Suppose -3*m - 20 = j. Is m at least as big as -26?
True
Let w be (1/150)/((-9)/(-4) + -2). Is -2/9 bigger than w?
False
Let m = 80 - 15. Let j = -76 + m. Let u be 18/(-45) - j/25. Is -1 less than u?
True
Let i = 3/295 - -211/8260. Suppose -11*t = -15*t - 4. Which is greater: t or i?
i
Let g = -32 + 31. Suppose -f + 7*f = -42. Let q be 3/f + 234/448. Which is smaller: g or q?
g
Let a = 230/389 - 652581/1104371. Is 0 >= a?
False
Suppose 5*w - 3*s + 0*s = -172, 4*w = -4*s - 112. Let y be (624/(-91))/((-2)/(28/(-3))). Is y < w?
False
Let m = 414 + -618. Let n = -203 - m. Which is bigger: 761 or n?
761
Let i = 16 - 22. Let t be (-17)/(-2) + -9 + 591/6. Which is bigger: t or i?
t
Let m(j) = -j**3 + 9*j**2 + 13*j - 189. Let r be m(7). Which is greater: -3/25 or r?
r
Let h = -36 - -39. Let o(w) = 362 - 2*w + h*w - w**2 - 342. Let a be o(0). Which is smaller: 19 or a?
19
Suppose 0 = 11*z + 2*z - 182. Let m be -23 + z + 1245/139. Which is smaller: 1 or m?
m
Let u be 1/3 + (-22508)/(-84) + (-2)/7. Is 268 less than or equal to u?
True
Let u = -1401 - -1412.98. Let f = 12 - u. Let o = 37.3 - 36.3. Is o greater than f?
True
Let i = 117 + -110. Suppose 19*a - 12*a = -i. Which is greater: a or -19?
a
Let c be -9*(12/30*-17 - -7). Which is greater: c or -2/25?
-2/25
Let h = 1815.82 + -1815.9. Which is smaller: 15/97 or h?
h
Let b = 206 + -202. Suppose b*c + 8 = 2*y + 2*y, 10 = -5*c. Is 2/463 > y?
True
Suppose -142 = 117*k + 92. Which is bigger: 412/11 or k?
412/11
Let q be 6/11 - (-62175150)/(-6138). Is q at most as big as -10130?
False
Let d = -54 - -50. Let a be (1/(-2))/(12/104). Let t = d - a. Is 1 != t?
True
Let x = 2747 - 4344. Is -1598 at most x?
True
Let x(v) = -178*v + 2043. Let i be x(12). Which is smaller: i or -2/43?
i
Let m(t) = 1655*t + 598. Let j be m(-2). Is j smaller than -2713?
False
Let r = -5196 + 5200. Is -7 at most as big as r?
True
Let p be 1/(13/(13/113)). Which is smaller: 1 or p?
p
Let j = 27026 - 27031. Which is greater: 547/6 or j?
547/6
Let i = -13476 - -13477. Let d = 2 + 0. Are d and i non-equal?
True
Let t = 7.899 - 7.799. Which is bigger: 3/34 or t?
t
Let m = 9 + -41. Let n = -36.57 - m. Let d = -4.4 - n. Which is greater: d or 1?
1
Suppose 2*f = f - 18. Let r(q) = 7*q**2 + 16*q - 108. Let o be r(6). Suppose -o = 19*k - 4*k. Is f greater than k?
False
Let h = 31 - 101. Let o be h/(-9) + 3 + (-50)/18. Suppose d + 81 = -o*d. Which is greater: -11 or d?
d
Let k = -5178 - -4517. Is 0.06 > k?
True
Let r(s) = -158*s**3 + s**2 - 2*s. Let a be r(1). Let m = 229 + a. Let x be 7/m*5*2*20. Is x greater than or equal to 21?
False
Let q = -35.605 + 38. Let j = 0.395 - q. Which is smaller: j or -0.144?
j
Let t = 73.7 + -87.7. Let a = 0.7 - -2.3. Let o = t + a. Which is bigger: 1/4 or o?
1/4
Let p be 279/7 + (-2)/(-14). Let q be (-1 - -2)/(20/p). Let b be (q/(-6))/((-225)/(-10))*-6. Which is smaller: b or 0?
0
Let t(q) = 22*q - 22. Let l be t(1). Let j be (-7)/105*6 - 651/(-1640). Is l > j?
True
Suppose 4*s - 9*s - 3*d = 24, 0 = -5*d - 15. Let u(r) = -38*r - 5. Let n be u(-1). Suppose -2*g = 5*x + n, 0 = 3*x - 0*x + 9. Which is greater: s or g?
s
Let k(z) = z**3 + 28*z**2 + 14*z - 662. Let n be k(-21). Is n > 2129?
True
Let z(r) = r**2 - 153*r - 1561. Let u be z(0). Which is bigger: -1560 or u?
-1560
Let t = 134 - 134. Is t at least as big as 518?
False
Let g = -1.134 - -1.034. Which is greater: -745 or g?
g
Let t = -1 + 1. Let k = -351 - -421. Let j be (-6)/32*k/105. Which is smaller: t or j?
j
Let t(o) = -516*o + 65. Let a be t(6). Let p = a - -21253/7. Which is smaller: 6 or p?
p
Let o = 1367.1 - 515.1. Are o and 0 non-equal?
True
Let a = 442 + -3096/7. Let j = 182.1 + -151. Let q = j - 6.1. Is a > q?
False
Let k = 453 + -1181. Let n be ((-4)/(-14))/(104/k). Are -3 and n nonequal?
True
Suppose 764 = 2*k - 5*p, 4*p + 174 = 2*k - 596. Which is greater: k or 398?
398
Let b = 76 - 44. Let s = -323/2 + 194. Is b > s?
False
Let d(f) = f**2 - 19*f + 10. Let z(k) = k + 1. Let y(r) = -d(r) - 5*z(r). Let g be y(9). Which is smaller: g or 29?
29
Let q = 14126/5823 - -12/647. Suppose 5*h + 10 = -0, -4*h - 12 = -2*n. Are q and n nonequal?
True
Let z = 25 + -34. Let t be (-4)/(-24)*z*3/(-18). Is 63 equal to t?
False
Let q = 159641/52 - 12341/4. Which is smaller: -0.3 or q?
q
Let h = 5393 - 5852. Is h less than 3?
True
Let l be 1/((-5)/2) + 1364/110. Suppose l*k + 22 - 10 = 0. Is -10/37 greater than or equal to k?
True
Let c = 8201/78155 - 4/2695. Do 50 and c have the same value?
False
Let d(f) = -f**3 + 6*f**2 + f - 4. Let g be d(6). Suppose g*k + z + 15 = 0, -2*k + 30 = -4*k - 4*z. Let j be (k - 0)*(12 + -13). Is 0 smaller than j?
True
Let b(u) = 132*u + 3. Let m be b(0). Which is smaller: m or 25/9?
25/9
Suppose 4*w = 20*r - 18*r - 1616, 0 = 4*r - 4*w - 3228. Are 805 and r unequal?
True
Let y = -389.241 - -389. Let z = -0.259 + y. Let s = 0 - 2. Is s > z?
False
Let f be -1 + ((-116)/(-20) + -3 - 1/(-5)). Which is small