False
Let u be ((-561)/102)/(5/(-1894)). Let z = u - 2029. Is z less than or equal to 55?
True
Let m = 118862/3 + -39962. Are -340 and m non-equal?
True
Let r be ((-46)/(-6) + -7)*15/20*-6. Let j = 5.845 + 0.055. Let w = -0.9 + j. Which is smaller: r or w?
r
Let z be (11549322/(-435))/(-3) - 0. Let q = -8850 + z. Let p = q - 2392/1305. Is -3 != p?
True
Let u be -5 + (-100)/(-12) - (66/(-18) - -4). Let h be 1 - (-36)/44*1. Which is smaller: u or h?
h
Let z(s) = -14*s**2 + 18*s**2 - 12 + 9*s - 11*s**2 + s**3. Let o be z(6). Let u be 1*(-18)/(-14) + o/(-21). Is u bigger than -3?
True
Let v be (984/3280)/(2/(-764)). Which is greater: -0.1 or v?
-0.1
Let y be 8/(-15092)*(-10)/(-20). Let o = y + 181135/116963. Is o at most 1?
False
Let j(u) = -6*u - 11. Suppose k - 2 = 2*k + 3*l, 3*l = -2*k - 4. Let t be j(k). Let v be 0 + 0 - (-20)/(-75). Is v smaller than t?
True
Let q(z) = 2*z**3 + 31*z**2 - 17*z + 4. Let c be q(-16). Let u = -0.3849 + 0.0849. Is c <= u?
False
Let l(r) = -r**3 + r**2 + 196*r - 297. Let o be l(15). Which is smaller: -6 or o?
o
Let c be (-168)/(-105) + (-2 - (-39)/(-15)). Let p = -0.1 - 0.34. Let v = p + 0.4. Is c at most as big as v?
True
Let q = -57178 - -588075728/10285. Which is smaller: 0 or q?
q
Let q = 2560 + -2546. Which is smaller: -23 or q?
-23
Let u = -0.38621 + 17.38721. Let c = 0.001 - u. Let m = c - -16.9. Does -1.2 = m?
False
Let t = 676.6 + -666. Let w = t - 10.594. Which is smaller: 0.3 or w?
w
Let b(q) = -18*q - 31. Let d(u) = -3*u - 5. Let h(s) = -6*b(s) + 34*d(s). Let k(j) = -j - 1. Let i(a) = h(a) + 4*k(a). Let c be i(-5). Is 24/11 bigger than c?
True
Let m(r) = -70*r - 46. Let z be m(-7). Let l = z + -2229/5. Is l less than or equal to -1/4?
True
Let m(x) be the second derivative of 5*x**3/6 + 5*x**2 + 36*x. Let r be m(-3). Let o be -9 - (r + (5 - 5)). Is o <= -3?
True
Suppose -3696 = -71*v + 59*v. Is v at most 314?
True
Let z = 113 + 15. Let h be 76/(-442)*2 + z/(-1088). Is -1 at most as big as h?
True
Let j = 63173/714 + -1392/17. Let w = -52/7 + j. Is w >= -2?
True
Suppose -2*n - s + 3*s = -12, -4*s = -12. Let m(x) = n*x + 2*x - 41 - 5*x - 5*x. Let j be m(7). Are j and -34 equal?
True
Suppose -3*o - 3*u + 16 = 1, 3*u = 2*o + 15. Let r = -23972/25 - -959. Is r at least o?
True
Let f be (-44)/(-110) + (-2)/5. Suppose 4*j = 3*t + 18, -3*j = t + 2*j - 13. Is t equal to f?
False
Suppose -4*a + 4*n - 25 = 67, 2*a + 25 = -5*n. Let u be 92*(-6)/(-144) - (-1)/6. Suppose -3*j - 80 = 4*b, u*j + 3*b + 96 = 1. Is j at most a?
True
Suppose 5*g = -63*n + 65*n + 1954, -1918 = 2*n + g. Is -2 smaller than n?
False
Let i = -794/279 - -244/93. Are i and 6/19 non-equal?
True
Suppose 4*p - 5*r = -6457, -p = -0*p - 3*r + 1623. Let u be p/(-96) + 3/(-4). Is u greater than or equal to 17?
False
Let o = 32 + -18. Let v(i) = 2*i**2 - 288*i - 570. Let h be v(-2). Is o greater than h?
False
Suppose -4*q - n = -4, -5*q + q = 5*n - 4. Let h(b) = b**3 + 7*b**2 + b + 6. Let x be h(-7). Let a be (q - x)/(14/(-2)). Is a >= -2/5?
True
Let f be (61725049/(-21935))/((-14)/(-10) + -2). Let z = -4690 + f. Is z <= 0?
True
Let j = 30/13 - 185/52. Let b = j + 171/4. Which is smaller: 43 or b?
b
Suppose 3*q - 19 = -5*i, -2*q = -3*i - 0*i + 19. Suppose 4*m = -5*s + 77, 0 = i*m - 5*s - 100 + 15. Suppose 4*c = 58 - m. Does 9 = c?
False
Suppose 48*f + f = -6*f - 275. Which is smaller: f or -49?
-49
Let l be 31604/(-6) + (12/(-10) - 1444/(-570)). Is -5266 not equal to l?
False
Let v = 643 - 336. Let m = v - 5217/17. Is m less than or equal to -0.07?
False
Suppose -2*x = 4*x - 42. Let k(g) = -5*g - x*g + g + g**2 + 0*g**2 + 6. Let l be k(10). Which is smaller: 1 or l?
l
Suppose -3*q = 4*l - 7, q + 28 = 4*l - 3*q. Suppose 0*i - 4 = -l*t + 2*i, 3*t + 5*i = 3. Let s = -600 - -590. Which is smaller: s or t?
s
Let y be -1 + (-2)/32 + 3/((-48)/(-65)). Suppose -4*f + 3 = -25. Is y <= f?
True
Suppose 2*t - 10 = 0, 3*d - 5*t + 12 = -7. Suppose -3*l = -0*l + 4*c - 68, d*l + 3*c = 47. Let a = l - 17. Which is smaller: 2.6 or a?
a
Suppose 192 = 4*t + 2*t. Let b(j) = 61*j + j**2 - t*j - 34*j + 7. Let r be b(4). Is r greater than 7?
False
Suppose -i - o + 158 = -0*o, -4*i + o + 622 = 0. Suppose -4*y - i = 4*c, -6*c + 5*c + 41 = -y. Which is smaller: -37 or y?
y
Let r = 94 - -2. Let b = r + -96. Let y be (88/(-374))/(b + -6). Is 1 at least as big as y?
True
Let n = -0.3435 + 52.3435. Which is greater: -4/17 or n?
n
Let h = 132060421874/5664375 - 23859624/1007. Let p = h - -3416/9. Is p greater than or equal to 0.1?
False
Let g be -12*1/8 - 2012/88. Is -23 less than g?
False
Let p = -1085.99 - -1140. Let h = -54 + p. Let q = h - 0.03. Is 1 <= q?
False
Let w = 43 - 43.81. Let k = w + 21.81. Is k smaller than 0.4?
False
Let v = -0.086 - 0.954. Let h = -1.14 - v. Are h and -37 nonequal?
True
Let q be (-2387332)/1802 - (-12)/(-68). Is q < -1320?
True
Let v = 14794.0199 + -14794. Which is greater: v or -1?
v
Let u = -331023 + 12909901/39. Suppose -x - 4*x = -15. Suppose 4*f - 13 = 5*r, 5*r - x = -2*f - 2*f. Is r equal to u?
False
Let u(a) = 102*a. Let o be u(-1). Let y = -73108 - -73005. Is y < o?
True
Let q(w) = -w**2 - 7*w + 17. Let t be (-9)/15 + (-86)/(-10). Let g = -17 + t. Let z be q(g). Are z and -0.07 equal?
False
Let p be (-11190)/40*(195/(-9) + 7). Is p != 4103?
False
Let t = 98 - 22. Let v = -39302 - -39379. Is v >= t?
True
Let z be (2 + (-1)/(-2))/3. Suppose -2*p = -3*u + 5, 27*u - 5 = 26*u - p. Let q be (-1 + u)/(-2)*-1. Which is smaller: z or q?
z
Suppose -13*g + 9 = -16*g, 0 = 4*r - 2*g - 2. Is 2/18231 > r?
True
Let y be 3 + ((-5)/15)/(1/(-6)). Suppose 8*b = y*p + 3*b + 225, -2*p = -3*b + 86. Let g be ((-42)/p)/(2/(-14)). Which is smaller: -13 or g?
-13
Let z = -139 + 150. Let v = 2/2781 + -5624/86211. Which is greater: z or v?
z
Let s = -28 + -378. Let z = -301 - s. Is 105 greater than or equal to z?
True
Suppose 466*d - 468*d + 92 = 0. Suppose 9*w = 667 - d. Which is greater: w or 70?
70
Suppose -93*m + 181*m - 91*m = -3. Are m and 2/133367 nonequal?
True
Let j = 19.2 - -0.8. Let o = j - 44. Let i = o + 29. Is i at least 0.1?
True
Let u = 22822 + -296684/13. Is -35.7 > u?
False
Suppose -m - 2*u = 23 - 238, -2*m - 5*u = -423. Is 230 less than or equal to m?
False
Let j(h) = h**3 - 7*h**2 + 20. Let l be j(10). Let k = l + -319. Which is smaller: k or -1/7?
-1/7
Let p be ((-10)/6 + (-8)/24)*-1. Let u be -3 + p - (385/45)/(-7). Let f = -27.3 - -27.32. Which is bigger: u or f?
u
Let c(p) = -p**2 + 30*p - 81. Let i be c(27). Suppose 3*h + 11 = -1, 5*l + 4*h + 811 = i. Do -159 and l have the same value?
True
Let z be 1/(-3)*(6 + 30). Let d be (z/(-4))/(2/(4/21)). Which is greater: -1.22 or d?
d
Suppose 0 = 3*f - 3. Suppose v - 2137 = -2214. Let z be (-5 - (-37)/7) + (-22)/v. Are z and f non-equal?
True
Let q(y) = -6*y + 12. Let a be q(2). Suppose 3*b = -3*u - 3, -4*b = -3*u + u - 20. Let o be 88/(-420) - u/10. Which is smaller: o or a?
a
Suppose -7890 = 8*j - 7802. Let y be (1/1 - -3) + 2. Let l = y - 16. Which is bigger: j or l?
l
Let d be -2 - (1 - -1) - (-21 + 4 - -13). Is 9/610 bigger than d?
True
Let r = -9/20 - -1/5. Let m = -0.522 - 0.088. Let t = 0.49 + m. Do t and r have different values?
True
Let j = -5 - -10. Suppose 5 = -3*u + j*m + 2, 0 = -m - 3. Let w be (10/u)/((-235)/45 + 5). Which is greater: 9 or w?
9
Suppose -17*k + 3*k + 266 = 0. Let i(j) = 3*j - 47. Let b be i(k). Suppose 6*v - 82 = -b. Which is greater: v or 7?
v
Suppose -f = -p, -6*p + 4*f = -3*p + 1. Suppose o = -14 - 34. Let t be (-20)/190 - o/95. Is p equal to t?
False
Let z = 495.16 - -23.84. Is -2/15 smaller than z?
True
Let k = -0.1024 - -21.1024. Which is greater: k or -10/11?
k
Suppose -5*y + 10*y - 140 = 0. Suppose 31*d = 32*d - y. Let o be (12/d)/(68/(-14)). Is 1 at least o?
True
Let s be ((-621372)/(-15534) - 40)/(0 - 8/6). Is 0 less than s?
False
Let y(f) = 162 + 7*f + 6*f - 257 + 185. Let z be y(-7). Is z <= -3?
False
Let s = 3.97 - 0.97. Let x = 89 + s. Let v = -91.9 + x. Which is greater: 0.37 or v?
0.37
Let f = -17253 - -103541/6. Which is bigger: -5/4 or f?
f
Let g be ((-20)/285)/((-2016)/27 + 10). Is 1 <= g?
False
Let g be (((-476)/(-24599))/28)/((-4)/(-1 + -1)). Is g >= -1?
True
Suppose 3*o = -2 + 8. Let x be 3/(-5) - o/5. Let v be ((-56)/(-70))/(-1 + (-57)/45). Which is